Подарите скидку 10%
Посоветуйте эту книгу и получите 32,01 ₽ с покупки её другом.
текстPDF
Объем 139 страниц
2013 год
Лекции по математической логике и теории алгоритмов
320 ₽
О книге
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Оставьте отзыв
Войдите, чтобы оценить книгу и оставить отзыв
Описание книги
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Книга Юрия Белова, В. А. Соколова «Лекции по математической логике и теории алгоритмов» — скачать в pdf или читать онлайн. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Ищут чаще всего
HUAWEI. Как маленькая китайская компания завоевала международный рынок. Винсент ДюкреПочему жирафы не стали людьми и другие вопросы эволюции. Станислав ДробышевскийГоден до. Распаковка секретов молодости, которые отучат тело стареть. Йаэль АдлерАнтидемон. Книга 12. Серж ВинтеркейВолков. Орден Святого Георгия. Валерий Пылаев