8 (812) 320-06-69

Каталог

Категории
Высшее образование (16+) (45099)
Высшее образование
Естественные науки (2781)
Естественные науки
Общественные науки (3966)
Общественные науки
Информатика и компьютерные технологии (4986)
Информатика и компьютерные технологии
Инженерное дело (1487)
Инженерное дело
Телекоммуникации, электроника, электротехника и радиотехника (1412)
Телекоммуникации, электроника, электротехника и радиотехника
Строительство. Архитектура (819)
Строительство. Архитектура
Строительство. Архитектура. Журналы (17)
Строительство. Архитектура. Журналы
Бетон и железобетон (3)
Бетон и железобетон
Жилищное строительство (7)
Жилищное строительство
Строительные материалы (7)
Строительные материалы
Юридические науки.Право (4595)
Юридические науки.Право
Отрасли права (2892)
Отрасли права
Гуманитарные науки (6467)
Гуманитарные науки
Иностранные языки (2430)
Иностранные языки
Экономика. Экономические науки (7959)
Экономика. Экономические науки
Образование. Педагогические науки (4139)
Образование. Педагогические науки
Медицина и здравоохранение (994)
Медицина и здравоохранение
Физическая культура и спорт (518)
Физическая культура и спорт
Среднее профессиональное образование (14+) (3380)
Среднее профессиональное образование
Коллекции (49348)
Коллекции
Издательские коллекции (48929)
Издательские коллекции
Проспект (3133)
Проспект
Журналы (1146)
Журналы
Остаться в выбранном разделе
Назад к каталогу

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

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления.| ISBN 978-5-94057-322-7
ISBN 978-5-94057-322-7
Авторы: 
Верещагин Н. К., Шень А.
Тип издания: 
Учебное пособие
Издательство: 
Москва: МЦНМО
Год: 
2008
Количество страниц: 
288
Аннотация

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

Библиографическое описание Скопировать библиографическое описание

Верещагин Н. К. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления.| / Н.К. Верещагин, А. Шень. - Москва : МЦНМО, 2008. - 288 с. - ISBN 978-5-94057-322-7. - URL: http://m.ibooks.ru/bookshelf/29319/reading (дата обращения: 26.07.2025). - Текст: электронный.