0+Лекции по математической логике и теории алгоритмов
Где читать или купить
ЛитРес
Реклама
320 ₽
эл. книга
Читать у партнёра
«Лекции по математической логике и теории алгоритмов» у партнёра ЛитРес — реклама, внешняя ссылка
Описание
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
О книге
| Издательство | БИБКОМ |
|---|---|
| Год издания | 2016 |
| Язык | ru |
| Форматы | |
| Возрастное ограничение | 0 |
| ISBN | 978-5-8397-0908-9 |
Похожие книги
Частые вопросы
О чём книга «Лекции по математической логике и теории алгоритмов»?
«Лекции по математической логике и теории алгоритмов» — это математика. Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория…
Где читать или купить «Лекции по математической логике и теории алгоритмов»?
Книгу можно читать или купить у партнёра ЛитРес (эл. книга). Цена у партнёра — 320 ₽. Переход — по кнопке в блоке «Где читать или купить».
Что почитать похожее на «Лекции по математической логике и теории алгоритмов»?
Близкие по теме книги: «Открытие живой математики – стратегии творчества жизни», «Истина. Универсальный закон вселенной», «Математический анализ. Часть 1». Полный список — в блоке «Похожие книги».