English  Русский 
Валюта:
Каталог
Поиск
Версия для печати Версия для печати

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

: 978-5-94057-322-7
: 288
: МЦНМО
: 2008
: Верещагин Н. К., Шень А.
Оценить
155.25 руб.
На складе: да
Кол-во:  

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

Предыдущее издание книги вышло в 2002 г.

Есть вопросы?

Вы можете задать нам вопрос(ы) с помощью следующей формы.

Имя:

Email

Пожалуйста, сформулируйте Ваши вопросы относительно Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления:


Введите число, изображенное на рисунке
code

(пусто)
 
Блог / Новости
Голосование
Какие категории литературы вас интересуют?


© Карандаш.
Создание интернет магазина — Сайт.ру