Верещагин Н.К.: Лекции по математической логике и теории алгоритмов: Часть 2. Языки и исчисления » Научная, учебная литература для специалистов » Infanata

« НАУЧНАЯ, УЧЕБНАЯ ЛИТЕРАТУРА ДЛЯ СПЕЦИАЛИСТОВ »	15 декабря 2014
ЛЕКЦИИ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ТЕОРИИ АЛГОРИТМОВ: ЧАСТЬ 2. ЯЗЫКИ И ИСЧИСЛЕНИЯ	№ 125893184

Автор: admin :: Просмотров: 1492

Название: Лекции по математической логике и теории алгоритмов: Часть 2. Языки и исчисления
Автор: Верещагин Н.К.
Издательство: Русское слово
Год издания: 2012
Страниц: 240
Жанр: Научная, учебная литература для специалистов

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

» depositfiles.com

Ключевые теги: логик, теорен, книга, студент, лекция, исчисление, высказывание, модель, изложение, начало, теорема, полнота, задача, трудность, школа, математик, ученик, специалист, верещагин

Администрация рекомендует нижеследующее: Что такое форматы pdf и djvu и чем их читать : Правила на сайте

(голосов: 8)

Уважаемый посетитель вы вошли на сайт как незарегистрированный пользователь. Мы рекомендуем вам зарегистрироваться либо войти на сайт под своим именем.

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии в данной новости.

ЛЕКЦИИ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ТЕОРИИ АЛГОРИТМОВ: ЧАСТЬ 2. ЯЗЫКИ И ИСЧИСЛЕНИЯ