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

Hajm 139 sahifa

2013 yil

0+

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

3,0
1 baho
51 863,86 s`om
10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 5 186,39 soʻm oling.

Kitob haqida

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

Kiring, kitobni baholash va sharh qoldirish uchun
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:
Matn PDF
Средний рейтинг 3,5 на основе 11 оценок
Podkast
Средний рейтинг 0 на основе 0 оценок
Matn PDF
Средний рейтинг 5 на основе 1 оценок
Podkast
Средний рейтинг 0 на основе 0 оценок
Matn PDF
Средний рейтинг 0 на основе 0 оценок
Matn PDF
Средний рейтинг 0 на основе 0 оценок
Matn PDF
Средний рейтинг 5 на основе 1 оценок