| Kiadó: | Műszaki Könyvkiadó |
|---|---|
| Kiadás helye: | Budapest |
| Kiadás éve: | |
| Kötés típusa: | Ragasztott papírkötés |
| Oldalszám: | 273 oldal |
| Sorozatcím: | |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 19 cm x 13 cm |
| ISBN: | 963-10-7212-6 |
| Megjegyzés: | Tankönyvi száma: 61537. Fekete-fehér ábrákkal illusztrálva. |
| Bevezetés | 7 |
| A halmazalgebra és logikai alkalmazásai | 9 |
| Halmaz, részhalmaz | 9 |
| Műveletek halmazokkal | 14 |
| A halmazalgebra logikai alkalmazásai | 22 |
| Az I. fejezetben kitűzött feladatok megoldásai | 26 |
| A kijelentéslogika | 38 |
| A logikai műveletek és tulajdonságaik | 38 |
| Igazságfüggvények, normálformák | 45 |
| Az igazságfüggvények néhány fontos osztálya | 56 |
| Teljes függvényrendszerek | 68 |
| A II. fejezetben kitűzött feladatok megoldásai | |
| A kijelentéslogika alkalmazása | 99 |
| Logikai áramkörök, automaták | 99 |
| Minimalizálisi módszerek | 111 |
| Relés áramkörök szerkezete és bonyolultsága | 129 |
| A III. fejezetben kitűzött feladatok megoldásai | 144 |
| Következtetési szabályok, axiomatizálás | 167 |
| A következményfogalom | 167 |
| A kijelentéslogika axiomatizálása | 176 |
| Boole-algebrák | 186 |
| A IV. fejezetben kitűzött feladatok megoldásai | 199 |
| Elsőrendű logikák és alkalmazásaik | 214 |
| Relációk és kvantorok | 214 |
| Modellek, azonosságok, azonosan igaz formulák, következtetési szabályok | 230 |
| Kielégíthetőség, eldöntésprobléma, bizonyításelmélet | 244 |
| Az V. fejezetben kitűzött feladatok megoldásai | 258 |
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.
Folytatás Microsoft-tal