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

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

История цены История цены
 
187 Р
140078493
В наличии
25/08/2020
 
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2012 г.
Вес: 250
Ширина упаковки: 150
Высота упаковки: 15
Глубина упаковки: 210
Штрих-код:
9785443909448
Frame $60% в наличии