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

 

Каталог

Книги

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

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

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

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

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров
Новости
2020-06-02
Магазин "Физтех-книга" в корпусе "Физтех-квант" МФТИ возобновил свою работу практические в прежнем режиме: с 9.00 до 19.00 по будням, с 10.00 до 17.30 в субботу. Ограничения касаются лишь числа посетителей: вход в торговый зал разрешен строго по одному. Это вынужденная мера введена в соответствии с требованиями МФТИ
2020-05-12
Уважаемые клиенты! В условиях эпидемии коронавируса наш интернет-магазин работает с определенными ограничениями.