Лекции по математической логике и теории алгоритмов - Юрий Белов
| Автор: | Юрий Белов |
| Издательство: | "Центральный коллектор библиотек "БИБКОМ" |
| Серия: | |
| Жанр произведения: | Учебная литература |
| Год издания: | 2013 |
| isbn: | 978-5-8397-0908-9 |
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.