книги Детская литература Старше 12 лет Учебная литература

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

Код 564390

  • ISBN: 978-5-94057-322-7
  • 288 страниц
  • март 2008
  • МЦНМО
  • 260 г

1.33 USD

Купить

Внимание! Книгу продает: Анна

Условия продажи: оплата и доставка по договоренностиПодсказка

Продавец договаривается с покупателем лично без участия books.ru

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

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

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

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

Издательство: МЦНМО
Дата выхода: март 2008
ISBN: 978-5-94057-322-7
Тираж: 1 000 экземпляров
Объём: 288 страниц
Масса: 260 г
Размеры(высота, ширина, толщина), см: 20 x 13 x 2
Обложка: мягкая

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

Естественные науки

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