Jazyk, dôkaz a logika: [so softvérom]

Recenzie čitateľov

V recenziách na túto učebnicu FOL sa stretávame s rôznymi skúsenosťami, pričom niektorí chvália prehľadnosť a sprievodný softvér, zatiaľ čo iní vyjadrujú frustráciu z nutnosti kupovať nové výtlačky kvôli prístupu k softvéru a kvalite výučby. Zatiaľ čo mnohí nachádzajú hodnotu vo vysvetleniach a nástrojoch knihy, niekoľko používateľov uviedlo značné problémy s poruchami softvéru a celkovou štruktúrou knihy.

⬤ Kniha je dobre napísaná, má jasné vysvetlenia a zameriava sa na budovanie intuície.
⬤ Sprievodný softvér a služba automatického hodnotenia zlepšujú učenie a umožňujú praktickú aplikáciu v dôkazoch.
⬤ Je užitočná pre rôzne oblasti, ako je logické programovanie a databázová architektúra.
⬤ Mnohí používatelia považujú softvér po nainštalovaní za užitočný.

⬤ Používatelia si musia zakúpiť nové kópie, aby mali prístup k základnému softvéru; použité kópie môžu byť nepoužiteľné.
⬤ Softvér môže byť poruchový a nepohodlný, čo vedie k frustrácii.
⬤ Niektorí používatelia považovali cvičenia v knihe za zložité v porovnaní s príkladmi, čo viedlo k zmätku.
⬤ Existujú správy o nedostatočnej kontrole kvality, pokiaľ ide o stav a úplnosť predávaných výtlačkov.

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

Pôvodný názov:

Language, Proof, and Logic: Second Edition [With Software]

Obsah knihy:

Language Proof and Logic je k dispozícii ako fyzická kniha s priloženým softvérom a ako balík na stiahnutie so softvérom a knihou vo formáte PDF. Celá elektronická verzia je k dispozícii na adrese Openproof atgradegrinder.net.

Balík učebnica/softvér pokrýva jazyk prvého rádu metódou vhodnou pre prvé a druhé kurzy logiky. On-line klasifikačné služby okamžite hodnotia riešenia stovky počítačových cvičení. Je určený na používanie vyučujúcimi filozofie, ktorí vyučujú kurz logiky pre študentov bakalárskeho štúdia filozofie, informatiky, matematiky a lingvistiky.

Úvodný materiál je podaný systematickým a prístupným spôsobom. Pokročilé kapitoly obsahujú dôkazy správnosti a úplnosti výrokovej a predikátovej logiky, ako aj prístupný náčrt prvej Godelovej vety o neúplnosti. Kniha je vhodná pre širokú škálu kurzov, od prvých kurzov logiky pre vysokoškolákov (filozofia, matematika a informatika) až po prvé postgraduálne kurzy logiky.

Softvérový balík obsahuje štyri programy:

Tarski's World, novú verziu populárneho programu, ktorý učí základný jazyk prvého rádu a jeho sémantiku;

Fitch, prostredie pre dôkazy prirodzenou dedukciou na zadávanie a kontrolu dôkazov prvého rádu;

Boole, program, ktorý uľahčuje konštrukciu a kontrolu pravdivostných tabuliek a súvisiacich pojmov (tautológia, tautologický dôsledok atď. );

Submit, program, ktorý umožňuje študentom odosielať cvičenia vypracované pomocou vyššie uvedených programov do Grade Grinder, automatickej klasifikačnej služby.

Správy o známkach sa vrátia študentovi a na požiadanie aj jeho vyučujúcemu, čím sa eliminuje potreba zdĺhavej kontroly domácich úloh. Všetky programy sú k dispozícii pre systémy Windows a Macintosh. Inštruktori nemusia sami používať tieto programy, aby mohli využiť ich pedagogickú hodnotu. Viac informácií o softvéri nájdete na stránke gradegrinder.net.

V cene nového balíka textov/softvéru je zahrnuté jedno registračné ID, ktoré sa musí použiť pri každom odovzdaní práce do klasifikačnej služby. Po aktivácii je registračné ID neprenosné.