Logika matematyczna dla informatyków

Opinie czytelników

Książka „Mathematical Logic for Computer Science” autorstwa Mordechai Ben-Ari jest wyróżniana za jej przejrzystą prezentację i praktyczne zastosowania zarówno w kontekście matematycznym, jak i informatycznym. Podczas gdy trzecie wydanie jest chwalone za lepszą organizację i zawartość, niektórzy użytkownicy napotkali problemy z wersjami cyfrowymi związane z niską wydajnością i słabo renderowanymi symbolami matematycznymi.

⬤ Przejrzysta prezentacja logiki propozycjonalnej i logiki pierwszego rzędu.
⬤ Praktyczne zastosowania w informatyce poprawiają zrozumienie logiki matematycznej.
⬤ Trzecie wydanie ma lepszą organizację i zawartość w porównaniu z drugim wydaniem.
⬤ Obejmuje zarówno naturalną dedukcję Gentzena, jak i rachunek zdań.
⬤ Na końcu każdego rozdziału znajdują się odnośniki do dalszych badań.

⬤ Wersje na e-czytniki działają wolno.
⬤ Problemy z renderowaniem symboli matematycznych na urządzeniach Kindle wpływają na zrozumiałość.
⬤ Niektórzy użytkownicy uznali drugą edycję za zbyt obliczeniową i nieporęczną dla czytelników niebędących informatykami.

(na podstawie 5 opinii czytelników)

Oryginalny tytuł:

Mathematical Logic for Computer Science

Zawartość książki:

Mathematical Logic for Computer Science jest podręcznikiem do matematyki zawierającym twierdzenia i dowody, ale przy wyborze tematów kierowano się potrzebami studentów informatyki. Metoda semantycznych tableaux zapewnia elegancki sposób nauczania logiki, który jest zarówno teoretycznie uzasadniony, jak i łatwy do zrozumienia. Jednolite wykorzystanie technik opartych na tableaux ułatwia naukę zaawansowanych systemów logicznych w oparciu o to, czego student nauczył się z systemów elementarnych.

Przedstawione systemy logiczne to: logika propozycjonalna, logika pierwszego rzędu, rezolucja i jej zastosowanie do programowania logicznego, logika Hoare'a do weryfikacji programów sekwencyjnych oraz liniowa logika temporalna.

Do weryfikacji programów współbieżnych.

Trzecie wydanie zostało całkowicie przeredagowane i zawiera nowe rozdziały dotyczące głównych tematów współczesnej informatyki: SAT solverów i sprawdzania modeli.