A számítástudomány matematikai alapjai

A könyv négy különböző témakörhöz nyújt tankönyvszerű, jó bevezetőt.
Részletesen tárgyalja a véges alaphalmazon értelmezett függvények osztályainak egyes tulajdonságait (teljesség, zártság, végesen generálhatóság stb.), majd a továbbiakban a Boole-függvények konkrét reprezentációiról s az egyes előállításokat egyszerűsítő algoritmusokról esik szó.
A könyv behatóan foglalkozik a formális nyelvek fogalmával, tulajdonságaival, s a Chomsky-féle osztályozás kapcsán rávilágít az egyes nyelvosztályok és a különböző automatatípusok kapcsolatára. A Turing-gépek tárgyalásakor az algoritmus fogalmának matematikai precizitású meghatározására is sor kerül.
A kódoláselméleti fejezetben az alapproblémák – egyértelműség, tömörség, hibajavító képesség – ismertetésén túlmenően néhány speciális kódtípus is bemutatásra kerül, s módszereket láthatunk optimális kódok keresésére, a hibafelismerésre és a hibajavításra stb.
A könyv a relációs adatmodell alapfogalmainak ismertetésén túl részletesen foglalkozik annak elméleti problémáival is. Részletesen tárgyalja a funkcionális függőségek elmélete mellett a relációs adatmodell extremális és strukturális problémáit is.
A könyv e témakörök számos szép, mély és a gyakorlati alkalmazásokban is fontos eredményének adja elemi, ugyanakkor mégis egzakt tárgyalását. Éppen a szerzők elemi tárgyalásmódra való törekvése a biztosítéka annak, hogy a könyv széles olvasóközönségnek ajánlható. Elolvasásához nem mélyebb, speciális matematikai előismeretekre, inkább némi általános matematikai rutinra van szükség.
A tárgyalást nagyszámú illusztráló példa és feladat teszi világosabbá és teljesebbé.
A könyvet egyaránt haszonnal forgathatják egyetemi hallgatók és számítógépes szakemberek, akik a közvetlen alkalmazások mellett a számítástechnika matematikai alapjaival is mélyebben kívánnak megismerkedni.

A tartalomjegyzékbe tollal belejegyzeteltek.