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

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

В нашей библиотеке Вы имеете возможность скачать книгу Лекции по математической логике и теории алгоритмов Юрий Белов или читать онлайн в формате pdf, а также можете купить бумажную книгу в интернет магазине партнеров.