Matematická logika pre informatiku

Recenzie čitateľov

Kniha „Mathematical Logic for Computer Science“ od Mordechaia Ben-Ariho je vyzdvihovaná pre jej zrozumiteľnú prezentáciu a praktické aplikácie v matematickom aj informatickom kontexte. Tretie vydanie je chválené za lepšiu organizáciu a obsah, niektorí používatelia však narazili na problémy s digitálnymi verziami, ktoré sa týkali pomalého výkonu a zle vykreslených matematických symbolov.

⬤ Prehľadná prezentácia výrokovej logiky a logiky prvého rádu.
⬤ Praktické aplikácie v informatike zlepšujú pochopenie matematickej logiky.
⬤ Tretie vydanie má v porovnaní s druhým vydaním lepšiu organizáciu a obsah.
⬤ Efektívne pokrýva Gentzenovu prirodzenú dedukciu aj sekvenčný kalkul.
⬤ Na konci každej kapitoly sú uvedené odkazy na ďalšie štúdium.

⬤ Verzie pre elektronické čítačky sú údajne pomalé.
⬤ Problémy s vykresľovaním matematických symbolov na zariadeniach Kindle ovplyvňujú zrozumiteľnosť.
⬤ Niektorí používatelia považovali druhé vydanie za príliš výpočtové a nešikovné pre čitateľov, ktorí nie sú odborníkmi na počítačové vedy.

(na základe 5 čitateľských recenzií)

Pôvodný názov:

Mathematical Logic for Computer Science

Obsah knihy:

Matematická logika pre informatiku je učebnica matematiky s tvrdeniami a dôkazmi, ale výber tém sa riadil potrebami študentov informatiky. Metóda sémantických tabuliek poskytuje elegantný spôsob výučby logiky, ktorý je teoreticky správny a zároveň zrozumiteľný. Jednotné používanie techník založených na tableaux uľahčuje učenie pokročilých logických systémov na základe toho, čo sa študent naučil zo základných systémov.

Prezentované logické systémy sú: výroková logika, logika prvého rádu, riešenie a jeho aplikácia na logické programovanie, Hoareova logika na verifikáciu sekvenčných programov a lineárna temporálna logika.

Na verifikáciu súbežných programov.

Tretie vydanie bolo úplne prepracované a obsahuje nové kapitoly o ústredných témach modernej informatiky: SAT riešiteľom a kontrole modelov.