Ko'rish
PDFHujjat5 000 so'm
Takroriy kombinatsiyalar
0810
Ko'rish
PDFHujjat5 000 so'm
Hisoblanuvchi funksiyalar. Primitiv rekursiv funksiyalar. Minimizasiya operatori
087
Ko'rish
WordHujjat5 000 so'm
Hisoblanuvchi funksiyalar. Primitiv rekursiv funksiyalar. Minimizasiya operatori
0612
Ko'rish
PDFHujjat5 000 so'm
Munosabatlar. Ekvivalentlik munosabati. Tartiblangan to‘plamlar
048
Ko'rish
WordHujjat5 000 so'm
Yopiq formula uchun yechilish muammosi
0610
Ko'rish
WordHujjat5 000 so'm
Predikatlar hisobining aksiomalari sistemasi. Umumiylik va mavjudlik kvantorlarini kiritish qoidasi
099
Ko'rish
PDFHujjat5 000 so'm
Mulohazalar hisobi aksiomalari sistemasining erkinligi
048
Ko'rish
WordHujjat5 000 so'm
Isbot tushunchasi. Teorema tushunchasi. Mulohazalar hisobining aksiomalari
0512
Ko'rish
WordHujjat5 000 so'm
Deduksiya teoremasi. Mos keltirib chiqarish haqida lemma. To‘liqlik haqida Gyodel teoremasi
097
Ko'rish
PDFHujjat5 000 so'm
Yopiq formula va yechilish muammosi
0611