Logika z drzewami: Wprowadzenie do logiki symbolicznej

Opinie czytelników

Książka służy jako tekst wprowadzający do logiki, z jasnymi wyjaśnieniami w większości przypadków, ale zmaga się z bardziej zaawansowanymi tematami i brakuje jej praktycznych, instruktażowych treści dla początkujących.

Ogólnie dobrze napisana, dobra do zrozumienia koncepcji teoretycznych, jasne wyjaśnienia w języku angielskim bez ciężkiej matematyki, a autor wykazuje pasję do tematu.

Ostatnie dwa rozdziały są niejasne, brakuje praktycznych narzędzi do rozwiązywania problemów, niewystarczające podsumowania i przeglądy dla początkujących oraz minimalny nacisk na formalizację języka naturalnego.

(na podstawie 3 opinii czytelników)

Oryginalny tytuł:

Logic with Trees: An Introduction to Symbolic Logic

Zawartość książki:

Książka ta jest nowym i oryginalnym wprowadzeniem do współczesnej logiki formalnej.

Zawiera również dyskusje na temat bardziej filozoficznych zagadnień, takich jak prawda, warunki i logika modalna.