ЛИТЕРАТУРА ПО ФУНДАМЕНТАЛЬНЫМ И ПРИКЛАДНЫМ НАУКАМ
для школьников, студентов и научных работников

Каталог

Книги

Лекции по математической логике и теории алгоритмов. Ч. 2. Языки и исчисления Верещагин Н.К., Шень А. МНЦМО 2017
/Верещагин Н.К., Шень А./

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

Издательство:МНЦМО
Год издания:2017
ISBN:978-5-4439-0944-8
Кол-во страниц:240
Переплёт:Мягкий
 185 руб.  В корзину

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

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров
Новости
2020-03-24
Уважаемые клиенты! В условиях эпидемии коронавируса наш интернет-магазин продолжает работать в целом в штатном режиме.