книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Математическая логика

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

Код 3652430

  • ISBN: 978-5-4439-0013-1
  • 240 страниц
  • январь 2012
  • МЦНМО

Нет в продаже

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

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

Оставить комментарий

Оцените книгу:

Издательство: МЦНМО
Дата выхода: январь 2012
ISBN: 978-5-4439-0013-1
Тираж: 1 000 экземпляров
Объём: 240 страниц

Книга находится в категориях

распродажа

Вместе с этой книгой покупают

Просмотренные товары