Urbán János - Matematikai logika - Példatár

Cikkszám:

9789631630350A

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