Издательство: | МЦНМО |
Дата выхода: | март 2008 |
ISBN: | 978-5-94057-322-7 |
Тираж: | 1 000 экземпляров |
Объём: | 288 страниц |
Масса: | 260 г |
Размеры(В x Ш x Т), см: | 20 x 13 x 2 |
Обложка: | мягкая |
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает около 200 задач различной трудности.
2008, март: книга на бумаге "Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления", ISBN: 978-5-94057-322-7, издательство "МЦНМО", 288 стр., мягкая обложка, тираж 1000 экземпляров |
Нет в продаже
0 отзывов |
|
1999, декабрь: книга на бумаге "Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления", ISBN: 5-900916-66-9, издательство "Негосударственное образовательное учреждение Московский Центр непрерывного математического образован", 288 стр., тираж 1000 экземпляров |
Нет в продаже
0 отзывов |