Ko'rish
PDFHujjat5 000 so'm
Algoritmning formal ta’rifi va Tyuring mashinasi
0118
Ko'rish
PDFHujjat5 000 so'm
Kombinatorikaning umumiy tushunchalari, usullari va qoidalari. Asosiy kombinatsiyalar
01010
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
0511