18+
На сайте представлено только описание и выходные данные книги «Введение в математическую логику. Учебное пособие В. М. Зюзьков». Сайт не является распространителем книги. Сайт не предоставляет возможности купить, читать онлайн или скачать бесплатно книгу «Введение в математическую логику. Учебное пособие В. М. Зюзьков». Сайт предназначен для лиц старше 18 лет. Если вам не исполнилось 18 лет - незамедлительно покиньте сайт. Оставаясь на сайте вы подтвердаете, что вам исполнилось 18 лет.
Незаконное потребление наркотических средств, психотропных веществ, их аналогов причиняет вред здоровью, их незаконный оборот запрещен и влечет установленную законодательством ответственность
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.Для студентов математических направлений университетов, преподавателей математики и компьютерных наук высших учебных заведений. Это и многое другое вы найдете в книге Введение в математическую логику. Учебное пособие (В. М. Зюзьков)
| Полное название книги | В. М. Зюзьков Введение в математическую логику. Учебное пособие |
| Тип | Книга |
| Автор | В. М. Зюзьков |
| Категории | Для техникумов и вузов, Образование и наука, Книги |
| ISBN | 9785811430536 |
| Возрастное ограничение | 18 |
| Издательство | Лань |
| Год | 2018 |
| Название транслитом | vvedenie-v-matematicheskuyu-logiku-uchebnoe-posobie-v-m-zyuzkov |
| Просмотров | 10 |
| Рейтинг izbe.ru | 0,0 |
Мари Мур
Брук Лин
Конкордия Антарова
Дэниел Киз
Абрахам Вергезе
Аида Синицына
Вадим Зеланд
Сергей Лукьяненко
Роберт Грин
Виктор Дашкевич
Роман Прокофьев
Пауло Коэльо
