- Русский язык
- Литература
- Экономика. Право
- Иностранные языки
- Окружающий мир. Природоведение
- Музыка
- Изобразительное искусство
- История
- Технология
- Мировая художественная культура (МХК)
- Учебно-воспитательная работа в школе
- Административное управление образованием
- Биология. Экология
- Информатика
- Религиоведение
- Естествознание
- Химия
- Физика. Астрономия
- Риторика
- Сборники готовых домашних заданий
- Психолог в школе
- География
- Портфолио
- ОБЖ
- Справочники для школьников
Языки и исчисления Математическая логика и теория алгоритмов; МЦНМО, 2020
Сравнить цены
Последняя известная цена от 31 р. до 31 р. в 3 магазинах
Вы можете поискать его на других площадках:
Магазин | Цена | Наличие |
---|---|---|
Описание
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой.
Книга содержит около 200 задач различной трудности.
Предыдущее издание книги вышло в 2012 г.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Автор(ы) | Верещагин Николай Константинович |
Переплет | Мягкий переплет |
Год издания | 2020 |
Издатель | МЦНМО |
Кол-во страниц | 240 |
Серия | Современные лекционные курсы м |
Возрастные ограничения | 12 |
Раздел | Математические науки |
ISBN | 978-5-4439-0944-8 |
Количество страниц | 240 |
Формат | 144x209мм |
Вес | 0.24кг |
Отзывы (0)
Добавить отзыв
Книги: Математика МЦНМО
Категория 25 р. - 37 р.
Книги: Математика
Категория 25 р. - 37 р.