Matematik mantiq va algoritmlar nazariyasi elementlari
QR kod:
Yuklab olishlar
Kitob olti bobdan iborat b o'lib , bu boblarda mulohazalar algebrasining asosiy tushunchalari, ularning xossalari; mulohazalar hisobi alifbosi, aksiomalari, ularning asosiy xossalari; predikatlar algebrasi, uning formulalari va predikatlar algebrasida yechilish muammosi; predikatlar hisobi aksiomalari, keltirib chiqariluvchi formula, keltirib chiqarish qoidalari; matematik nazariyalar, aksiomatik nazariyalarni qurish sxemasi, interpretatsiya, model tushunchalari; algoritmlar nazariyasi, hisoblanuvchi, qisman rekursiv, umumrekursiv funksiyalar, haqida ma'lumotlar berilgan.
