Logica cu copaci: O introducere în logica simbolică

Recenzii ale cititorilor

Cartea servește ca un text introductiv pentru logică, cu explicații clare în cea mai mare parte, dar se luptă cu subiecte mai avansate și îi lipsește conținutul practic, instructiv pentru începători.

Bine scrisă în general, bună pentru înțelegerea conceptelor teoretice, explicații clare în limba engleză fără matematică grea, iar autorul arată pasiune pentru subiect.

Ultimele două capitole sunt neclare, le lipsesc instrumentele practice de rezolvare a problemelor, rezumatele și prezentarea generală insuficiente pentru începători și accentul minim pe formalizarea limbajului natural.

(pe baza a 3 recenzii ale cititorilor)

Titlul original:

Logic with Trees: An Introduction to Symbolic Logic

Conținutul cărții:

Această carte este o introducere nouă și originală în logica formală modernă.

Ea conține, de asemenea, discuții pe teme mai filozofice, cum ar fi adevărul, condiționalele și logica modală.