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

Николай Верещагин Александр Шень

     

бумажная книга

1.33USD

Купить

Внимание! Книгу продает:
Анна

Условия продажи: оплата и доставка по договоренности




Издательство: МЦНМО
Дата выхода: март 2008
ISBN: 978-5-94057-322-7
Тираж: 1 000 экземпляров
Объём: 288 страниц
Масса: 260 г
Размеры(В x Ш x Т), см: 20 x 13 x 2
Обложка: мягкая

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

С 1999 года книга «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления» переиздавалась 4 раза. Дата первого издания «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления»: декабря 1999 года, последнее, 4-е издание вышло в мартае 2008 года.

Все издания

2008, март: книга на бумаге "Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления", ISBN: 978-5-94057-322-7, издательство "МЦНМО", 288 стр., мягкая обложка, тираж 1000 экземпляров

Нет в продаже

 

0 отзывов

1999, декабрь: книга на бумаге "Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления", ISBN: 5-900916-66-9, издательство "Негосударственное образовательное учреждение Московский Центр непрерывного математического образован", 288 стр., тираж 1000 экземпляров

Нет в продаже

 

0 отзывов