A matematikai logika alkalmazásszemléletű tárgyalása
Szerző
- Várterész Magda, Pásztorné Varga Katalin
Jogtulajdonos
- PANEM kiadó
Típus
- tankönyv
Elektronizálás módja
- DocBook XML és Latex-PDF
Terjedelem
- 14 ív
Digitális elemek
- 95 kép
Tartalom
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. Ezért a könyv elsődleges célja megfelelő segédanyagot biztosítani a logikát tanulmányozni kívánó informatikus egyetemi hallgatók és szakemberek számára. Ennek a célnak tökéletesen megfelel, valamint kitűnő alapot ad a logika további fejezeteiben való elmélyedéshez is.
A könyv a matematikai logika bevezető fejezeteit dolgozza fel, valamint 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 a témakör elméleti ismereteit, ugyanakkor az informatikai, számítástudományi alkalmazások is kellő hangsúlyt kapnak. Az alkalmazások bemutatása igényes, ami azért is figyelemre méltó, mert a jelenleg magyar nyelven hozzáférhető, hasonló tárgyú kötetek sokszor túlzó módon leegyszerűsítők, vulgarizálók, ami a leendő informatikus generációk számára megnehezíti a logika további alkalmazásainak megvalósítását.
A szerzők több évtizedes egyetemi oktatási gyakorlata biztosítja, hogy az egyes fejezetek tartalma, illetve egymással való kapcsolata nagyon átgondolt. A fejezetek sok példát és ábrát tartalmaznak, ami nagymértékben segíti az olvasót. A szöveg lendületes, lényegre törő, mégis közérthető. Általában elmondható, hogy a könyv lényegesen precízebb, kidolgozottabb és követhetőbb, mint egy átlagos egyetemi jegyzet. Különösen szerencsés, hogy a két szerző által képviselt budapesti és debreceni logika iskola legértékesebb tradíciói sikeresen ötvöződnek a könyvben.
Irodalom
69 könyv, illetve folyóiratcikk
Kurzus
Az informatika logikai alapjai (PTI, MI, GI BSc), Automatikus tételbizonyítás (PTI MSc)