Matematická logika pro informatiku

Recenze čtenářů

Kniha „Mathematical Logic for Computer Science“ od Mordechaje Ben-Ariho je vyzdvihována pro svou srozumitelnou prezentaci a praktické aplikace v matematickém i informatickém kontextu. Zatímco třetí vydání je chváleno pro lepší organizaci a obsah, někteří uživatelé se setkali s problémy s digitální verzí, které se týkaly pomalého výkonu a špatně vykreslených matematických symbolů.

⬤ Přehledná prezentace výrokové logiky a logiky prvního řádu.
⬤ Praktické aplikace v informatice zlepšují pochopení matematické logiky.
⬤ Třetí vydání má oproti druhému vydání lepší organizaci a obsah.
⬤ Efektivně pokrývá Gentzenovu přirozenou dedukci i sekvenční kalkul.
⬤ Na konci každé kapitoly jsou uvedeny odkazy pro další studium.

⬤ Verze pro elektronické čtečky jsou údajně pomalé.
⬤ Problémy s vykreslováním matematických symbolů na zařízeních Kindle ovlivňují srozumitelnost.
⬤ Někteří uživatelé považovali druhé vydání za příliš výpočetní a pro čtenáře, kteří nejsou počítačovými vědci, za těžkopádné.

(na základě 5 hodnocení čtenářů)

Původní název:

Mathematical Logic for Computer Science

Obsah knihy:

Matematická logika pro informatiku je učebnice matematiky s teorémy a důkazy, ale výběr témat byl veden potřebami studentů informatiky.

Metoda sémantických tabulek poskytuje elegantní způsob výuky logiky, který je teoreticky správný a zároveň snadno pochopitelný. Jednotné používání technik založených na tableaux usnadňuje výuku pokročilých logických systémů na základě toho, co se student naučil ze základních systémů.

Představené logické systémy jsou: výroková logika, logika prvního řádu, rezoluce a její aplikace na logické programování, Hoareova logika pro verifikaci sekvenčních programů a lineární temporální logika pro verifikaci souběžných programů. Třetí vydání bylo zcela přepracováno a obsahuje nové kapitoly věnované ústředním tématům moderní informatiky: SAT řešitelé a kontrola modelů.