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.

Mutass kevesebbet