Ocena:
Recenzje tego podręcznika FOL podkreślają mieszankę doświadczeń, z których niektórzy chwalą przejrzystość i towarzyszące oprogramowanie, podczas gdy inni wyrażają frustrację z powodu konieczności zakupu nowych kopii w celu uzyskania dostępu do oprogramowania i jakości instrukcji. Podczas gdy wielu użytkowników znajduje wartość w wyjaśnieniach i narzędziach zawartych w książce, kilku z nich zgłosiło poważne problemy z usterkami oprogramowania i ogólną strukturą książki.
Zalety:⬤ Książka jest dobrze napisana, zawiera jasne wyjaśnienia i skupia się na budowaniu intuicji.
⬤ Dołączone oprogramowanie i usługa automatycznego oceniania usprawniają naukę i pozwalają na praktyczne zastosowanie w dowodach.
⬤ Jest przydatna w różnych dziedzinach, takich jak programowanie logiczne i architektura baz danych.
⬤ Wielu użytkowników uznało oprogramowanie za pomocne po jego zainstalowaniu.
⬤ Użytkownicy muszą zakupić nowe kopie, aby uzyskać dostęp do niezbędnego oprogramowania; używane kopie mogą stać się bezużyteczne.
⬤ Oprogramowanie może być wadliwe i niewygodne, co prowadzi do frustracji.
⬤ Niektórzy użytkownicy uważają, że ćwiczenia w książce są trudne w porównaniu z przykładami, co prowadzi do nieporozumień.
⬤ Istnieją doniesienia o słabej kontroli jakości w odniesieniu do stanu i kompletności sprzedawanych egzemplarzy.
(na podstawie 65 opinii czytelników)
Language, Proof, and Logic: Second Edition [With Software]
Language Proof and Logic jest dostępna jako fizyczna książka z dołączonym oprogramowaniem oraz jako pakiet oprogramowania do pobrania wraz z książką w formacie PDF. Wersja w całości elektroniczna jest dostępna na stronie Openproof atgradegrinder.net.
Pakiet podręcznik/oprogramowanie obejmuje język pierwszego rzędu w metodzie odpowiedniej dla pierwszych i drugich kursów logiki. Usługi oceniania on-line natychmiast oceniają rozwiązania setek ćwiczeń komputerowych. Jest on przeznaczony do użytku przez wykładowców filozofii prowadzących kurs logiki dla studentów filozofii, informatyki, matematyki i lingwistyki.
Materiał wprowadzający jest przedstawiony w sposób systematyczny i przystępny. Zaawansowane rozdziały zawierają dowody poprawności i kompletności dla logiki zdań i logiki predykatów, a także przystępny szkic pierwszego twierdzenia Godela o niekompletności. Książka jest odpowiednia dla szerokiego zakresu kursów, od pierwszych kursów logiki dla studentów (filozofia, matematyka i informatyka) po pierwszy kurs logiki dla absolwentów.
Pakiet oprogramowania zawiera cztery programy:
Tarski's World, nowa wersja popularnego programu, który uczy podstawowego języka pierwszego rzędu i jego semantyki;
Fitch, środowisko dowodu dedukcji naturalnej do tworzenia i sprawdzania dowodów pierwszego rzędu;
Boole, program ułatwiający konstruowanie i sprawdzanie tabel prawdy i związanych z nimi pojęć (tautologia, konsekwencja tautologiczna itp.);
Submit, program umożliwiający studentom przesyłanie ćwiczeń wykonanych za pomocą powyższych programów do Grade Grinder, usługi automatycznego oceniania.
Raporty z ocenami są zwracane studentowi i, na żądanie, instruktorowi studenta, eliminując potrzebę żmudnego sprawdzania pracy domowej. Wszystkie programy są dostępne dla systemów Windows i Macintosh. Instruktorzy nie muszą sami korzystać z programów, aby móc wykorzystać ich wartość pedagogiczną. Więcej informacji na temat oprogramowania można znaleźć na stronie gradegrinder.net.
Cena nowego pakietu tekstu/oprogramowania obejmuje jeden identyfikator rejestracyjny, który musi być używany za każdym razem, gdy praca jest przesyłana do usługi oceniania. Po aktywacji identyfikator rejestracyjny nie może być przenoszony.
