Книга Лекции по математической логике и теории алгоритмов - скачать бесплатно в pdf, Юрий Анатольевич Белов
bannerbanner
Лекции по математической логике и теории алгоритмов
Добавить В библиотеку
Оценить:

Рейтинг: 5

Поделиться
Купить и скачать

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

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
На сайте электронной библиотеки Litportal вы можете скачать книгу Лекции по математической логике и теории алгоритмов в формате fb2.zip, txt, txt.zip, rtf.zip, a4.pdf, a6.pdf, mobi.prc, epub, ios.epub, fb3. У нас можно прочитать отзывы и рецензии о этом произведении.

Скачать книгу в форматах

Читать онлайн

Спасибо за оценку! Будем признательны, если Вы оставите комментарий о данном произведении.
Помогите, пожалуйста, другим читателям нашего сайта, оставьте отзыв или рецензию о прочитанной книге.

Похожие авторы