A matematikai logika alkalmazásszemléletű tárgyalása

Fülszöveg

Mára a logika a számítástudomány anyanyelvévé vált, ezért e terület alapos ismerete nagyon fontos, sőt nélkülözhetetlen az informatikusok számára. E könyv célja megfelelő segédanyagot biztosítani a logikát tanulmányozni kívánó informatikus egyetemi hallgatók és szakemberek számára, valamint alapot adni a logika további fejezeteiben való elmélyedéshez. A könyv előbb a matematikai logika bevezető fejezeteit dolgozza fel, majd bemutatja a logika számítástudományi alkalmazásait, elsősorban az automatikus tételbizonyítás módszereire koncentrálva. A feldolgozott témakörök korszerűek, megfelelő igényességgel mutatják be az elméleti hátteret, ugyanakkor az informatikai, számítástudományi alkalmazások is kellő hangsúlyt kapnak. A szerzők több évtizedes egyetemi oktatási gyakorlata biztosítja, hogy az egyes fejezetek tartalma, egymással való kapcsolata nagyon átgondolt. A sok példa és ábra segíti az olvasót. A szöveg lendületes, lényegretörő, mégis közérthető. Különösen szerencsés, hogy a két szerző által képviselt budapesti és debreceni logikai iskola legértékesebb tradíciói sikeresen ötvöződnek a könyvben.