- Профессиональная
- Научно-популярная
- Художественная
- Публицистика
- Детская
- Искусство
- Хобби, семья, дом
- Спорт
- Путеводители
- Блокноты, тетради, открытки
Введение в математическую логику
Серия: Математика
Отсутствует
Местонахождение: Москва | Состояние экземпляра: новый |
Бумажная
версия
версия
Автор: Зюзьков В.М.
ISBN: 978-5-8114-3053-6
Год издания: 2018
Формат книги: 70×100/16 (170×240 мм)
Количество страниц: 268
Издательство: СПб.: Лань
Вид издания: Учебное пособие
Для кого: Для вузов
Издание: 2-е, испр.
Нет в наличии
Узнать о поступлении
Способы доставки в город Москва * комплектация (срок до отгрузки) не более 2 рабочих дней | Возможность оплаты при получении заказа |
Самовывоз из Москвы (собственные пункты самовывоза) | Нет, только предоплата |
Самовывоз из города Москва (пункты самовывоза партнёра CDEK) | Есть, наличными и банковской картой |
Курьерская доставка CDEK из города Москва | Есть, наличными и банковской картой |
Доставка Почтой России из города Москва | Есть, наличными |
Экспресс-доставка EMS из города Москва | Нет, только предоплата |
Аннотация: Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и расмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.
Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.
Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.
Похожие издания
Попов А.И. Введение в математическую логику. 2-е изд. 2022 г., 112 стр., мягкий переплет | 761 руб. | |
Драгалин А. Г., Колмогоров А.Н. Математическая логика: Введение в математическую логику. 6-е изд. 2023 г., 240 стр., мягкий переплет | 1279 руб. | |
Мейлахс А.Л. Практикум по математическим основам информатики. Часть 2. Введение в математическую логику. 2004 г., 73 стр., мягкий переплет Приведены материалы трех практических занятий логически объединенных общим названием. На уровне несложных задач даны основные понятия исчисления высказываний, расчета... | 300 руб. |