![Юрий Белов - Лекции по математической логике и теории алгоритмов](/media/books/po/200x298/poster_200x298.png)
Юрий Белов - Лекции по математической логике и теории алгоритмов
Жанры: | Жанр к этой книге еще не добавлен |
---|
Случайная цитата из книги
К этой книге еще не добавлены цитаты Добавить цитатуРекомендуемый контент
Описание книги «Лекции по математической логике и теории алгоритмов»
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
С книгой «Лекции по математической логике и теории алгоритмов» читают
Рецензии на книгу «Лекции по математической логике и теории алгоритмов»
Рецензий еще нет. Вы можете стать первым, кто напишет рецензию на книгу «Лекции по математической логике и теории алгоритмов»!
Пожалуйста, зарегистрируйтесь или войдите, чтобы оставить рецензию. Регистрация займет не более 15 секунд.
Популярные списки книг
Эти книги могут быть интересны:
Отзывы на книгу «Лекции по математической логике и теории алгоритмов»
Отзывов еще нет. Станьте первым, кто напишет отзыв на книгу «Лекции по математической логике и теории алгоритмов»!
Пожалуйста, зарегистрируйтесь или войдите, чтобы написать отзыв. Регистрация займет не более 15 секунд.