Основной контент книги Лекции по математической логике и теории алгоритмов
Лекции по математической логике и теории алгоритмов
ТекстmatnPDF

Hajm 139 sahifalar

2013 yil

0+

Лекции по математической логике и теории алгоритмов

40 070,12 s`om
10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 4 007,02 soʻm oling.

Kitob haqida

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.

Izoh qoldiring

Kirish, kitobni baholash va sharh qoldirish
Kitob Юрия Белова, В. А. Соколова «Лекции по математической логике и теории алгоритмов» - pdf-ga yuklab oling yoki internetda o'qing. Sharhlar va fikr-mulohazalarni qoldiring, o'zingiz yoqtirganlarga ovoz bering.
Yosh cheklamasi:
0+
Litresda chiqarilgan sana:
26 fevral 2016
Yozilgan sana:
2013
Hajm:
139 Sahifa
ISBN:
978-5-8397-0908-9
Umumiy o'lcham:
19 МБ
Umumiy sahifalar soni :
139
Mualliflik huquqi egasi:
БИБКОМ
Yuklab olish formati:

Ushbu kitob bilan o'qiladi