Ko'rish
PDFHujjat5 000 so'm
Takroriy kombinatsiyalar
089
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
0611
Ko'rish
PDFHujjat5 000 so'm
Munosabatlar. Ekvivalentlik munosabati. Tartiblangan to‘plamlar
047
Ko'rish
WordHujjat5 000 so'm
Yopiq formula uchun yechilish muammosi
069
Ko'rish
WordHujjat5 000 so'm
Predikatlar hisobining aksiomalari sistemasi. Umumiylik va mavjudlik kvantorlarini kiritish qoidasi
098
Ko'rish
PDFHujjat5 000 so'm
Mulohazalar hisobi aksiomalari sistemasining erkinligi
046
Ko'rish
WordHujjat5 000 so'm
Isbot tushunchasi. Teorema tushunchasi. Mulohazalar hisobining aksiomalari
0510
Ko'rish
WordHujjat5 000 so'm
Deduksiya teoremasi. Mos keltirib chiqarish haqida lemma. To‘liqlik haqida Gyodel teoremasi
096
Ko'rish
PDFHujjat5 000 so'm
Yopiq formula va yechilish muammosi
069