Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.Для студентов математических направлений университетов, преподавателей математики и компьютерных наук высших учебных заведений.
| Вес: | 675 |
| Ширина упаковки: | 160 |
| Высота упаковки: | 20 |
| Глубина упаковки: | 230 |
| Автор: | Валентин Зюзьков |
| Тип издания: | Отдельное издание |
| Тип обложки: | Твердый переплет |
| Произведение: | Введение в математическую логику. Учебное пособие |
Штрих-код:
9785811430536
Frame $60% в наличии