(029)696-52-88 
(033)
bestbooksby@gmail.com ПРИЕМ ЗАКАЗОВ ПО ИНТЕРНЕТУ - КРУГЛОСУТОЧНО.
В случае отсутствия книги на сайте возможен заказ по телефону с 10:00 до 18:00 Пн-Пт.
ЗАКАЗЫ ПРИНИМАЮТСЯ НА 29.11.2025 г.
РАБОТАЕМ ПОД ЗАКАЗ.
НАЛИЧИЕ КНИГ УТОЧНЯЙТЕ ПО ТЕЛЕФОНУ (В РАБОЧЕЕ ВРЕМЯ) ИЛИ ПО ЭЛЕКТРОННОЙ ПОЧТЕ
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения._x000D_
Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: "Математика и механика", "Компьютерные и информационные науки", "Информатика и вычислительная техника", "Информационная безопасность", "Управление в технических системах". Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений._x000D_
2-е издание, исправленное
| ISBN | 978-5-8114-3053-6 |
| Автор | Зюзьков Валентин Михайлович |
| Год | 2018 |
| Переплет | 7Бц |
| Издательство | Лань |
| Формат | 70х100/16 |
| Стр. | 268 |
| Серия | Учебники для вузов. Специальная литература |
| ID | 04Л3-30 |
| ID2 | 656065 |
У этого товара нет ни одного отзыва. Вы можете стать первым.