Elementar Bul funksiyalari. Ularning berilish usullari. Muhim va soxta o’zgaruvchilar. Bul funksiyalari, elementar bul funksiyalari, jadval usuli, bul funksiyalari soni. Тьюринг машиналари
|
|
|
13
|
Formula tushunchasi. Ekvivalent formulalar. Dual funksiyalar. Duallik prinspi. Bul funksiyalar sistemasi ustida formula tushunchasi, funksiyalar realizatsiyasi, teng kuchli formulalar, dual formulalar, duallik prinspi.
|
|
|
14
|
Normal formalar. Funksiyani o’zgaruvchilar bo’yicha yoyish. Normal formalar. O’garuvchilar bo’yicha yoyish teoremasi. Хисобланувчи функциялар. Кисмий рекурсив ва умумрекурсив функцияла
|
|
|
15
|
To’liq sistemalar. Bul funksiyasini Jegalkin ko’phadiga yoyish. To’liq sistemalar. Jegalkin ko’phadi. Jegalkin teoremasi. Ечилувчи ва саналувчи тупламлар
|
|
|
16
|
Muhim yopiq sinflar. O’z-o’ziga dual bo’lmagan funksiya haqida lemma. Nolni saqlovchi funksiyalar. Birni saqlovchi funksiyalar, o’z-o’ziga dual funksiyalar. Алгоритм тушунчаси ва унинг характерли хусусиятлар
|
|
|
17
|
Monoton bo’lmagan va chiziqli bo’lmagan funksiyalar haqida lemmalar. Post teoremasi va uning natijalari. Monoton funksiyalar, chiziqli funksiyalar, to’liqlik kriteriyasi. Предикатлар хисобининг зидсизлиги
(махсус аксиомаларсиз назария
|
|
|
18
|
|
