1.062.611

kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát

A kosaram
0
MÉG
5000 Ft
a(z) 5000Ft-os
szállítási
értékhatárig

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

Egyetemi segédkönyv

Szerző
Lektor
Budapest
Kiadó: Nemzeti Tankönyvkiadó Rt.
Kiadás helye: Budapest
Kiadás éve:
Kötés típusa: Ragasztott papírkötés
Oldalszám: 374 oldal
Sorozatcím:
Kötetszám:
Nyelv: Magyar  
Méret: 24 cm x 17 cm
ISBN: 963-18-5995-9
Megjegyzés: Tankönyvi szám: 42291. Fekete-fehér ábrákkal.
Értesítőt kérek a kiadóról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról
A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Fülszöveg

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... Tovább

Fülszöveg

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. Vissza

Tartalom

Előszó9
Halmazok. Relációk és függvények. Kombinatorikai alapfogalmak. Gráfok
Halmazok13
n-esek15
Relációk17
Függvények19
Variációk, permutációk, kombinációk20
Logikai szitaformula22
Generátorfüggvények24
Gráfok. Alapfogalmak26
Gráfok csúcsmátrixa. A legrövidebb út problémája30
Gráfok összefüggősége. Kondenzáció32
Független részhalmazok és teljes részgráfok. Fedések35
Fák37
Véges értékű függvények
Alapfogalmak40
Kifejezések és szuperpozíciók44
Teljes függvényhalmazok49
Zárt oszályok54
Dualitás. Önduális függvények56
Monotonitás60
Lineáris függvények63
Teljességi kritérium65
Teljességi kritérium tetszőleges k esetén72
A k-értékű függvények sajátosságai k > vagy = 3 esetén74
Végtelen értékű függvények78
Boole-függvények realizációi
Boole-függvények előállításának minimalizációja. Diszjuktív normálformák81
Diszjuktív normálformákat minimalizáló algoritmusok85
Kapuhálózatok91
A kaszkádmódszer99
Automaták és formális nyelvek
Ábécék, szavak, formális nyelvek, valamint a velük való műveletek108
A generatív grammatikák fogalma és típusai. A Chomsky-féle hierarchia116
A reguláris nyelvek tulajdonságai126
Véges automaták mint felismerők. A determinisztikus véges automaták fogalma, megadásuk módjai. Bar-Hillel-lemma131
A nemdeterminisztikus véges automaták. Ekvivalenciájuk a determinisztikus véges automatákkal, valamint a reguláris grammatikákkal141
Reguláris kifejezések. Kleene tétele150
Véges automaták minimalizációja158
Véges automaták mint formális nyelvek átalakítói. A Mealy-és a Moore-automaták, a két típus ekvivalenciája. Alaptulajdonságok170
Környezetfüggetlen nyelvek. A programozási nyelvek szintaktikája182
Veremautomaták. Végállapottal, ill. üres veremmel történő felismerés, ezek ekvivalenciája. Szintaktikus elemzés és szintaktikus elemzők. A veremautomaták és a környezetfüggetlen nyelvek ekvivalenciája201
Turing-gépek
A Turing-gépek mint felismerők és átalakítók217
Az univerzális Turing-gép237
Algoritmikusan megoldhatatlan problémák244
Turing-gépek bonyolultságának mértékei249
Kódelmélet
Információs csatorna. Betű szerinti kódolás256
Felbonthatósági feltételek259
Optimális kódok261
Az optimális kód Huffmann-féle konstrukciója266
Hibajavító kódolás269
Lineáris kódok. Hamming-kódok273
Standard dekódolási eljárások. A Hamming-korlát277
Reed-Muller-kódok282
Titkosírás286
Relációs adatmodell
Adatbázis-kezelő rendszerek kialakulása289
Adatmodellezés292
Adatmodellek294
Kulcs, funkcionális függés, normálformák300
Példa a relációk normalizálására309
A relációs modell adatmanipulációs nyelve, relációs algebra314
Rekorkalkuls, attributumkalkulus, az adatmanipulációs nyelvek ekvivalenciája325
A funkcionális függőségek alaptulajdonságai334
A relációs adatmodell extremális problémái344
Attributumhalmazon levő adatbázisok struktúrája355
Irodalom365
Tárgymutató366
Megvásárolható példányok

Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.

Előjegyzem