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

Верещагин Н. К.

под заказ

Цена в интернет-магазине: 309,00 руб.

ISBN: 978-5-4439-0013-1
Внешнее покрытие издания: в обл.
Тираж издания: 1000
Фамилия автора в заголовке: Верещагин
Инициалы автора (личного имени (имен)): Н. К.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Языки и исчисления. Лекции по математической логике и теории алгоритмов
Сведения, относящиеся к заглавию: Учебное пособие
Первые сведения об ответственности: Н. К. Верещагин, А. Шень
Сведения об издании: 4-е изд.
Дополнительные сведения об издании: испр.
Место издания: Москва
Издатель: МЦНМО
Дата издания: 2012
Объем издания (количество страниц): 240
Высота, см.: 21
Полная форма имени (имен) и отчества: Николай Константинович
Индекс УДК: 510.6
Статус записи (Тип информации): В наличии
Ширина, см: 14
Толщина, см: 0.9
Вес в граммах: 245
Индекс ББК: 22.12
Артикул: 2365435

Описание

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