Logika az informatika számára: Az automatikus tételbizonyítás alapjai, második kiadás

Eredeti címe:

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

Könyv tartalma:

Ez az egyetemi és főiskolai hallgatóknak szóló haladó szöveg a matematikai logikát mutatja be, hangsúlyt fektetve a bizonyításelméletre és a formális bizonyítások algoritmikus felépítésére szolgáló eljárásokra.

Az önálló feldolgozás a bizonyítások formalizálása és az automatikus tételbizonyítás alapjai iránt érdeklődő informatikusok és matematikai beállítottságú olvasók számára is hasznos. A témakörök között szerepel a tételes logika és felbontása, az elsőrendű logika, Gentzen vágáselszámolási tétele és alkalmazásai, valamint Gentzen kiélezett Hauptsatz és Herbrand tétele.

További témák közé tartozik a felbontás az elsőrendű logikában; SLD-felbontás, logikai programozás és a PROLOG alapjai; valamint a sok-sorozatú elsőrendű logika. A könyvben számos probléma jelenik meg, és két Függelék gyakorlati háttérinformációkkal szolgál.