1
|
Элементар буль функциялари.Формула тушунчаси. Функцияларни формулалар кўринишда ифодалаш. Формулаларнинг эквивалентлиги. Иккиламчи функциялар. Иккиламчилик принципи
|
2
|
2
|
Буль функцияларининг ўзгарувчилар бўйича ёйилмаси. Жегалкин кўпхади. Функциялар системасининг тўлиқлиги ва ёпиқлиги.
|
2
|
3
|
Мухим ёпиқ синфлар. Пост теоремаси ва унинг натижалари. Предикат тушунчаси. Ўзгармас предметлар ва ўзгарувчи мулохазалар. Элементар формулалар. Кванторлар. Формула таърифи.
|
2
|
4
|
Тенг кучли формулалар. Бажарилувчи формулалар. Формуланинг нормал шакли. Ёпиқ формула. Предикатлар хисобининг аксиомалари системаси.
|
2
|
5
|
Сонли функциялар. Ҳисобланувчи функциялар. Тьюринг машинаси.
|
2
|
6
|
Примитив рекурсив функциялар. Минимизация оператори. Қисман рекурсив ва рекурсив функциялар.
|
2
|
7
|
Рекурсив тўплам. Рекурсив саналувчи тўплам. Пост теоремаси. Рекурсив саналувчи тўпламлар хақида асосий теорема. Бул алгебраси. Рекурсив саналувчи тўпламлар панжараси.
|
2
|
|
|
