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

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

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