Limbaj, dovezi și logică: Ediția a doua [cu software]

Recenzii ale cititorilor

Recenzile pentru acest manual FOL evidențiază un amestec de experiențe, unii lăudând claritatea și software-ul însoțitor, în timp ce alții își exprimă frustrarea cu privire la necesitatea de a achiziționa copii noi pentru accesul la software și calitatea instruirii. În timp ce mulți găsesc valoare în explicațiile și instrumentele cărții, mai mulți utilizatori au raportat probleme semnificative cu defecțiunile software și structura generală a cărții.

⬤ Cartea este bine scrisă, cu explicații clare și un accent pe dezvoltarea intuiției.
⬤ Software-ul însoțitor și serviciul de autoevaluare îmbunătățesc învățarea și permit aplicarea practică în demonstrații.
⬤ Este utilă pentru diverse domenii, cum ar fi programarea logică și arhitectura bazelor de date.
⬤ Mulți utilizatori au găsit software-ul util odată instalat.

⬤ Utilizatorii trebuie să achiziționeze copii noi pentru a accesa software-ul esențial; copiile folosite pot deveni inutile.
⬤ Software-ul poate fi defectuos și incomod, ducând la frustrare.
⬤ Unii utilizatori au considerat că exercițiile din carte sunt dificile în comparație cu exemplele, ducând la confuzie.
⬤ Există rapoarte cu privire la controlul slab al calității în ceea ce privește starea și exhaustivitatea exemplarelor vândute.

(pe baza a 65 recenzii ale cititorilor)

Titlul original:

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

Conținutul cărții:

Language Proof and Logic este disponibilă sub formă de carte fizică cu software-ul inclus și ca pachet descărcabil de software plus carte în format PDF. Versiunea complet electronică este disponibilă la Openproof atgradegrinder.net.

Pachetul manual/software acoperă limbajul de ordinul întâi într-o metodă adecvată pentru primul și al doilea curs de logică. Un serviciu de notare on-line notează instantaneu soluțiile la sute de exerciții pe calculator. Este conceput pentru a fi utilizat de către profesorii de filosofie care predau un curs de logică studenților universitari în filosofie, informatică, matematică și lingvistică.

Materialul introductiv este prezentat într-o manieră sistematică și accesibilă. Capitolele avansate includ dovezi de soliditate și completitudine pentru logica propozițională și predicată, precum și o schiță accesibilă a primei teoreme de incompletitudine a lui Godel. Cartea este potrivită pentru o gamă largă de cursuri, de la primele cursuri de logică pentru studenți (filosofie, matematică și informatică) la un prim curs de logică pentru absolvenți.

Pachetul software include patru programe:

Lumea lui Tarski, o nouă versiune a popularului program care învață limbajul de bază de ordinul întâi și semantica acestuia;

Fitch, un mediu de dovezi prin deducție naturală pentru furnizarea și verificarea dovezilor de ordinul întâi;

Boole, un program care facilitează construirea și verificarea tabelelor de adevăr și a noțiunilor conexe (tautologie, consecință tautologică etc. );

Submit, un program care permite studenților să trimită exercițiile făcute cu programele de mai sus la Grade Grinder, serviciul de notare automată.

Rapoartele de notare sunt returnate studentului și, dacă se solicită, instructorului studentului, eliminând necesitatea verificării plictisitoare a temelor. Toate programele sunt disponibile pentru sistemele Windows și Macintosh. Instructorii nu trebuie să utilizeze ei înșiși programele pentru a putea profita de valoarea lor pedagogică. Mai multe informații despre software pot fi găsite la gradegrinder.net.

Prețul unui nou pachet text/software include un ID de înregistrare, care trebuie utilizat de fiecare dată când lucrarea este trimisă către serviciul de notare. Odată activat, ID-ul de înregistrare nu este transferabil.