Tarského svet: Revidované a rozšírené vydanie

Recenzie čitateľov

Celkovo kniha získala zmiešané hodnotenie. Zatiaľ čo niektorí používatelia ju považovali za užitočnú a dobre implementovanú, najmä pri zdokonaľovaní logického uvažovania a výučbe logiky prvého rádu, iní sa stretávali so značnými problémami s použiteľnosťou kvôli zastaranej softvérovej kompatibilite. Kniha je chválená pre svoju vzdelávaciu hodnotu, ale kritizovaná pre nedostatok jasných informácií o systémových požiadavkách.

Cenovo dostupná, užitočná na učenie sa o logike prvého rádu, dobre realizované cvičenia, skvelý stav pri doručení, rýchle dodanie od Amazonu, podporná reakcia tímu Stanford U. na riešenie problémov a dobrý doplnok k výučbe.

Zastaraný softvér, ktorý funguje len na počítačoch Power PC, nedostatok jasných informácií o kompatibilite, ťažkosti pri inštalácii a registrácii, odpojená telefonická pomoc a niektorí používatelia vyjadrujú frustráciu z komplikovaného nastavenia.

(na základe 9 čitateľských recenzií)

Pôvodný názov:

Tarski's World: Revised and Expanded

Obsah knihy:

Tarského svet je inovatívnou a vzrušujúcou metódou, ako študentom priblížiť jazyk logiky prvého rádu.

Pomocou balíka učebných materiálov si študenti rýchlo osvoja významy konektívov a kvalifikátorov a čoskoro začnú plynule ovládať symbolický jazyk, ktorý je jadrom modernej logiky. Program umožňuje študentom vytvárať trojrozmerné svety a následne ich popisovať v logike prvého rádu.

Program, kompatibilný s formátmi Macintosh a Windows, obsahuje aj unikátny a účinný korekčný nástroj v podobe hry, ktorá študentov metodicky vedie späť k ich chybám, ak nesprávne vyhodnotia vety v zostrojených súvetiach. Úplnou novinkou v tomto prepracovanom a rozšírenom vydaní je prístup študentov k Grade Grinder, inovatívnej internetovej klasifikačnej službe, ktorá poskytuje študentom presnú a včasnú spätnú väzbu, kedykoľvek ju potrebujú. Študenti môžu do Grade Grindera posielať riešenia viac ako 100 cvičení programu na hodnotenie a výsledky sa rýchlo vrátia študentom a voliteľne aj učiteľovi.

Webové rozhranie umožňuje aj inštruktorom spravovať zadania a známky pre svoje triedy. Tarski's World je určený ako doplnok k štandardným učebniciam logiky a je základným nástrojom, ktorý pomáha študentom naučiť sa jazyk logiky.