Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Toripendragon

Гостеприимство по-соседски (СИ)

Обожаю этот рассказ. Он просто великолепен. Впервые прочла на фикбуке, и сразу добавила к любимым. А потом рассказ там исчез, и для меня это была просто трагедия. Рада, что снова его нашла ☺☺

TayNavek

Мой красивый друг (СИ)

Предупреждение! Это Слеш;)

Natasha Dovjenko

Повелители стихий. Книга 1. Злой ветер

Спасибо сайту. Очень люблю эту серию книг. С большим удовольствием прослушала первую аудиокнигу из четырёх. Как же хорошо озвучена ! Огромнейшее спасибо !

Славяна

Операция Троянски Кон - 1

Благодаря за книгата. Силно се надявам да публикувате и другите седем части. Благодаря ви за положения труд.

Qwerty1980

Соглашусь, с предыдущими комментаторами, что книга написана хорошо, но не более, сцены военных действий, просто коньюктурны, такое ощущение, что сам автор ни разу за всю жизнь не дрался, поэтому утверждать,

Математика

Автор: Верещагин Н., Шень А.

Язык: русский

Год: 2012

Оригинальное название: Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления [4-ое издание]

Добавил: Admin 1 Авг 20

Редактировал: Дмитрий Афонин 27 Авг 20

Проверил: Admin 27 Авг 20

Формат: FB2, ePub, TXT, RTF, PDF, HTML, MOBI, JAVA, LRF

Currently 0/5

Рейтинг: 0/5 (Всего голосов: 0)

Аннотация

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.
Предыдущее издание книги вышло в 2008 г.