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

KÉPGARANCIA: Alba Litera saját kép. Író/Szerző: Demetrovics János - Jordan Denev - Radiszlav Pavlov Kiadó: Nemzeti Tankönyvkiadó Kiadás éve: 1999 Oldalszám: 374 Kötés: Puhatáblás Nyelv: Magyar Állapot: jó ISBN: 963190329x Méret: 17 cm x 24 cm 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.