Основной контент книги Лекции по математической логике и теории алгоритмов
Text PDF
Volume 139 pages
2013 year
Лекции по математической логике и теории алгоритмов
$3.27
About the book
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Log in, to rate the book and leave a review
Book Юрия Белова, В. А. Соколова «Лекции по математической логике и теории алгоритмов» — download in pdf or read online. Leave comments and reviews, vote for your favorites.
