| Kiadó: | Műszaki Könyvkiadó |
|---|---|
| Kiadás helye: | Budapest |
| Kiadás éve: | |
| Kötés típusa: | Vászon |
| Oldalszám: | 356 oldal |
| Sorozatcím: | |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 20 cm x 15 cm |
| ISBN: | 963-10-3779-7 |
| Megjegyzés: | Tankönyvi szám: 61023. |
| Előszó | 7 |
| Boole-függvények megadása és alapvető tulajdonságaik | 11 |
| Boole-vektorok és az n-dimenziós egységkocka | 11 |
| A Boole-függvények megadásának eszközei. Elemi függvények. Formulák. A szuperpozíció | 21 |
| Formulák speciális alakja. Diszjunktív és konjunktív normálformák. Polinomok | 31 |
| Boole-függvények minimalizálása | 39 |
| Valódi és fiktív változók | 45 |
| Zárt osztályok és teljesség | 51 |
| A lezárás operációja. Zárt osztályok | 51 |
| Dualitás és az önduális függvények osztálya | 55 |
| Linearitás és a lineáris függvények osztálya | 60 |
| Konstansokat őrző függvényosztályok | 63 |
| Monotonitás és a monoton függvények osztálya | 67 |
| Teljesség és zárt osztályok | 72 |
| k-értékű logikák | 79 |
| A k-értékű logika függvényeinek előállítása speciális alakú formulákkal | 79 |
| A k-értékű logika zárt osztályai | 88 |
| A k-értékű logika függvényeinek vizsgálata a teljesség szempontjából | 95 |
| Gráfok és hálózatok | 101 |
| Gráfelméleti alapfogalmak | 101 |
| Síkba rajzolhatóság, összefüggőség, gráfok numerikus jellemzői | 109 |
| Irányított gráfok | 115 |
| Fák és kétpólusú hálózatok | 121 |
| Becslések a gráf- és hálózatelméletben | 132 |
| Boole-függvények realizálása kapcsolóhálózatokkal és formulával | 143 |
| A kódelmélet elemei | 153 |
| Hibajavító kódok | 153 |
| Lineáris kódok | 157 |
| Betűnkénti kódolás | 161 |
| Véges automaták | 171 |
| Determinisztikus és részben determisztikus függvények | 171 |
| Determinisztikus függvények előállítása Moore-diagramokkal, kanonikus egyenletekkel, táblázatokkal és kapcsolóhálózatokkal. Determinisztikus függvények fölötti operációk | 182 |
| Determinisztikus és korlátos determinisztikus függvények zárt osztályai és teljessége | 199 |
| Az algoritmuselmélet elemei | 205 |
| Turing-gépek és a rajtuk ható operációk. Turing-gépekkel kiszámítható függvények | 205 |
| A kiszámítható és a rekurzív függvények osztályai | 223 |
| Kiszámíthatóság és a kiszámítás bonyolultsága | 231 |
| A kombinatorika elemei | 237 |
| Variációk és kombinációk. A binominális együtthatók tulajdonságai | 237 |
| Logikai szitaformula | 247 |
| Reciprok sorozatok, generátorfüggvények, rekurzív összefüggések | 250 |
| Aszimptotikus becslések és egyenlőtlenségek | 261 |
| Megoldások, válaszok, útmutatások | 271 |
| Irodalom | 355 |
Az előzéklapon tulajdonosi bejegyzés található.
Folytatás Microsoft-tal