Книга написана по материалам лекций и семинаров,
проводившихся авторами для студентов младших курсов мехмата МГУ. В ней
рассказывается об основных понятиях математической логики (логика
высказываний, языки первого порядка, выразимость, исчисление высказываний,
разрешимые теории, теорема о полноте, начала теории моделей). Изложение
рассчитано на учеников математических школ, студентов-математиков и всех
интересующихся математической логикой. Книга содержит около 200 задач
различной трудности.
Предыдущее издание книги вышло в 2012 г. Рекомендуем!
проводившихся авторами для студентов младших курсов мехмата МГУ. В ней
рассказывается об основных понятиях математической логики (логика
высказываний, языки первого порядка, выразимость, исчисление высказываний,
разрешимые теории, теорема о полноте, начала теории моделей). Изложение
рассчитано на учеников математических школ, студентов-математиков и всех
интересующихся математической логикой. Книга содержит около 200 задач
различной трудности.
Предыдущее издание книги вышло в 2012 г. Рекомендуем!
| Вес: | 250 |
| Ширина упаковки: | 150 |
| Высота упаковки: | 15 |
| Глубина упаковки: | 210 |
| crossborder: | false |
| Серия: | Учебники для вузов |
| Издательство: | МЦНМО |
| Мелованная бумага: | false |
| Цветные иллюстрации: | false |
| Возрастные ограничения (Dropdown): | 16+ |
| Тип обучающего материала: | Дополнительные пособия |
| Название: | Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления |
| Комментарий: | 5-е издание, стереотипное. |
| Тип издания: | Отдельное издание |
| Возрастные ограничения: | 16+ |
| Признак 18+: | false |
| Учебный период: | Студентам ВУЗов |
| Основной жанр книги: | Учебная литература |
| Тип книги: | Печатная книга |
| Тип обложки: | Мягкая обложка |
| Тип носителя: | Печатная книга |
| Эпоха публикации: | Современные издания |
| ebsmstock: | false |
Frame $60% в наличии