Nyelv, bizonyítás és logika: Második kiadás [Szoftverrel]

Olvasói vélemények

A FOL-tankönyvről szóló vélemények a tapasztalatok keveredését mutatják: egyesek dicsérik a könyv áttekinthetőségét és a hozzá tartozó szoftvert, míg mások csalódottságukat fejezik ki a szoftverhez való hozzáféréshez szükséges új példányok megvásárlásának szükségessége és az oktatás minősége miatt. Míg sokan értéket találnak a könyv magyarázataiban és eszközeiben, több felhasználó jelentős problémákról számolt be a szoftver hibáival és a könyv általános felépítésével kapcsolatban.

⬤ A könyv jól megírt, világos magyarázatokkal és az intuíció fejlesztésére összpontosítva.
⬤ A kísérő szoftver és az automatikus osztályozó szolgáltatás fokozza a tanulást, és lehetővé teszi a gyakorlati alkalmazást a bizonyításokban.
⬤ Hasznos a különböző területeken, például a logikai programozás és az adatbázis-architektúra területén.
⬤ Sok felhasználó a telepítést követően hasznosnak találta a szoftvert.

⬤ A felhasználóknak új példányokat kell vásárolniuk a lényeges szoftverekhez való hozzáféréshez; a használt példányok használhatatlanná válhatnak.
⬤ A szoftver hibás és kényelmetlen lehet, ami frusztrációhoz vezet.
⬤ Néhány felhasználó a könyv gyakorlatait a példákhoz képest nehéznek találta, ami zavart okozott.
⬤ Az eladott példányok állapotát és teljességét illetően gyenge minőségellenőrzésről számoltak be.

(65 olvasói vélemény alapján)

Eredeti címe:

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

Könyv tartalma:

A Nyelvi bizonyítás és logika fizikai könyvként kapható a szoftverrel együtt, illetve letölthető csomagként, amely tartalmazza a szoftvert és a könyvet PDF formátumban. A teljesen elektronikus változat az Openproof atgradegrinder.net.

A tankönyv/szoftvercsomag az elsőrendű nyelvet tárgyalja az első és második logikai kurzusoknak megfelelő módszerrel. Egy online osztályozó szolgáltatás azonnal osztályozza a több száz számítógépes feladat megoldásait. Úgy tervezték, hogy a filozófiát oktató tanárok használhassák, akik logikai kurzust tanítanak filozófia, informatika, matematika és nyelvészet alapszakos hallgatóknak.

A bevezető anyagot szisztematikusan és közérthetően mutatja be. A haladó fejezetek tartalmazzák az állítmányi és predikátumlogikára vonatkozó helyesség- és teljességbizonyításokat, valamint Godel első befejezetlenségi tételének közérthető vázlatát. A könyv a kurzusok széles skálájához illeszkedik, az első logikai kurzusoktól kezdve az alapképzésben részt vevő hallgatók (filozófia, matematika és informatika) első logikai kurzusáig.

A szoftvercsomag négy programot tartalmaz:

Tarski's World, a népszerű program új változata, amely az alapvető elsőrendű logikai nyelvet és annak szemantikáját tanítja;

Fitch, egy természetes dedukciós bizonyítási környezet elsőrendű bizonyítások megadására és ellenőrzésére;

Boole, egy olyan program, amely megkönnyíti az igazságtáblázatok és a kapcsolódó fogalmak (tautológia, tautológiai következmény stb. ) felépítését és ellenőrzését;

Submit, egy program, amely lehetővé teszi a diákok számára, hogy a fenti programokkal készített feladatokat beküldjék a Grade Grinderbe, az automatikus osztályozószolgálatba.

Az osztályzatjelentéseket visszaküldi a diáknak, és ha kéri, a diák oktatójának, így nincs szükség a házi feladatok fáradságos ellenőrzésére. Minden program elérhető Windows és Macintosh rendszerekhez. Az oktatóknak nem kell maguknak használniuk a programokat ahhoz, hogy kihasználhassák azok pedagógiai értékét. A szoftverekről bővebben a gradegrinder.net oldalon olvashat.

Egy új szöveg/szoftvercsomag ára tartalmaz egy regisztrációs azonosítót, amelyet minden alkalommal fel kell használni, amikor a munkát az osztályozó szolgáltatáshoz benyújtják. Az aktiválás után a regisztrációs azonosító nem átruházható.