Keltirilgan formulalar. Mantiqiy amallarning to’liq sistemalari. Keltirilgan formulalar, mantiqiy amallar, to’liq sistema. Турлар ва турдаги окимлар
|
|
|
7
|
Normal formulalar. Mukammal dizyunktiv va konyunktiv normal formulalar. Dizyunktiv va konyunktiv normal formalar. Mukammal dizyunktiv va konyunktiv normal formalar. Дарахтлар. Эйлер графлари
|
|
|
8
|
Mulohazalar algebrasi formulalarining tatbiqlari. Rele-kontakt sxemalar. Mulohazalar algebrasi tatbiqlari, rele-kontakt sxemalar. Мультиграфлар. Маршрутлар, занжирлар, цикллар. Богликлилик
|
|
|
9
|
Formal aksiomatik nazariya. Mulohazalar hisobi. Aksiomatik nazariya, aksioma, keltirib chiqarish, isbot, teorema, mulohazalar hisobi. Оддий графлар. Таъриф ва мисоллар. Графларнинг изоморфлиги
|
|
|
10
|
Mulohazalar hisobining aksiomalari. Deduksiya teoremasi. L-nazariya, L nazariya aksiomalari, deduksiya teoremasi. Алгоритмик ечилмовчи муаммола
|
|
|
11
|
To’liqsizlik haqida Gyodel teoremasi. Ziddiyatsizlik. Nazariya tilining to’lalaigi, ziddiyatsizligi, ziddiyatlilik. Марковнинг нормал алгоритмлари. Марков буйича кисмий хисобланувчи ва хисобланувчи функцияла
|
|
|
12
|
|
Do'stlaringiz bilan baham: |
