Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.
0+
текстPDF
Объем 241 страница
2012 год
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
текстPDF
Нет в продаже
О книге
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.
Сначала популярные
Оставьте отзыв
Войдите, чтобы оценить книгу и оставить отзыв
Описание книги
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.
Книга А. Х. Шеня, Н. К. Верещагина «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» — скачать в pdf или читать онлайн. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Ищут чаще всего
Планируй. Как правильно планировать каждый год своей жизни и сделать максимум запланированного. Игорь МаннКиноспекуляции. Квентин ТарантиноКурт Кобейн. Личные дневники лидера Nirvana. Курт КобейнБольшая книга серийных убийц. 150 биографий маньяков со всего мира. Джек РоузвудО происхождении времени. Последняя теория Стивена Хокинга. Томас Хертог
Отзывы
1