Tarského svět: Přepracované a rozšířené vydání

Recenze čtenářů

Celkově byla kniha hodnocena smíšeně. Zatímco někteří uživatelé ji považovali za užitečnou a dobře provedenou, zejména při zdokonalování logického uvažování a výuce logiky prvního řádu, jiní se potýkali se značnými problémy s použitelností kvůli zastaralé kompatibilitě softwaru. Kniha je chválena pro svou vzdělávací hodnotu, ale kritizována pro nedostatek jasných informací o systémových požadavcích.

Cenově dostupná, užitečná pro výuku logiky prvního řádu, dobře provedená cvičení, skvělý stav při doručení, rychlé dodání od Amazonu, vstřícná reakce týmu Stanfordské univerzity při řešení problémů a dobrý doplněk výuky.

Zastaralý software, který běží pouze na počítačích Power PC, nedostatek jasných informací o kompatibilitě, potíže při instalaci a registraci, odpojená telefonická asistence a někteří uživatelé vyjadřují frustraci nad složitým nastavením.

(na základě 9 hodnocení čtenářů)

Původní název:

Tarski's World: Revised and Expanded

Obsah knihy:

Tarského svět je inovativní a vzrušující metodou, jak studenty seznámit s jazykem logiky prvního řádu.

Pomocí balíčku kurzů si studenti rychle osvojí významy konjunktivů a kvalifikátorů a brzy si osvojí symbolický jazyk, který je jádrem moderní logiky. Program umožňuje studentům vytvářet trojrozměrné světy a následně je popisovat v logice prvního řádu.

Program, kompatibilní s formáty pro Macintosh i Windows, obsahuje také unikátní a účinný korekční nástroj v podobě hry, která studenty metodicky vede zpět k jejich chybám, pokud špatně vyhodnotí věty v konstruovaných souvětích. Úplnou novinkou v tomto přepracovaném a rozšířeném vydání je přístup studentů ke Grade Grinder, inovativní internetové službě pro známkování, která studentům poskytuje přesnou a včasnou zpětnou vazbu, kdykoli ji potřebují. Studenti mohou do Grade Grinderu zasílat řešení více než 100 cvičení programu k posouzení a výsledky jsou rychle vráceny studentům a volitelně také učiteli.

Webové rozhraní umožňuje také vyučujícím spravovat úkoly a známky pro jejich třídy. Tarski's World je určen jako doplněk ke standardnímu učebnímu textu logiky a je nezbytným nástrojem, který studentům pomůže naučit se jazyk logiky.