Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
Книга "Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления"
Авторы: Александр Ханьевич Шень, Николай Константинович Верещагин
Издатель: МЦНМО
Серия: Современные лекционные курсы м
Год издания 2025
Страниц: 240
ISBN: 978-5-4439-4707-5
Описание
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.
Характеристики
- Наименование Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
- Категория Книги/Научно-популярные книги/Физико-математические науки/Математика
- Авторы Александр Ханьевич Шень, Николай Константинович Верещагин
- Издатель МЦНМО
- Год издания 2025
- Всего страниц 240
- Серия Современные лекционные курсы м
- ISBN 978-5-4439-4707-5
- Способ получения Доставка, самовывоз
- Тип Книга
- Продавец Читай-город
- Оригинальная цена 879 RUB
- Актуальность 05.11.2026
Еще в этой категории
Другие интернет-магазины
