Верещагин Николай Константинович, Шень Александр Ханьевич: Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
Купили 22 раза
Купить в партнерских магазинах
О товаре
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.
Характеристики
- Автор:
- Николай Верещагин, Александр Шень
- Раздел:
- Математические науки
- Издательство:
- МЦНМО
- ISBN:
- Возрастное ограничение:
- 6+
- Год издания:
- 2025
- Количество страниц:
- 240
- Переплет:
- Мягкий переплёт
- Формат:
- 143x210 мм
- Вес:
- 0.24 кг
Похожие товары
Отзывов ещё нет — вы можете быть первым.
Дарим до 50 бонусов за отзыв