КорзинаКорзина

Введение в математическую логику. Учебное пособие

Введение в математическую логику. Учебное пособие
Автор: Зюзьков Валентин Михайлович
Издательство: Лань
Серия: Учебники для вузов. Специальная литература
Год выпуска: 2018
ISBN: 978-5-8114-3053-6
Наличие: На складе
2604 р.
Купить Введение в математическую логику. Учебное пособиекупить

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: "Математика и механика", "Компьютерные и информационные науки", "Информатика и вычислительная техника", "Информационная безопасность", "Управление в технических системах". Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений. 2-е издание, исправленное

Печатное издание имеет сертификаты качества и безопасности и соответствует нормам санитарной гигиены. На товар распростаняется гарантия. Имеется дисконтная накопительная система, а также корпоративная скидка 10% на заказ от 20 шт. На странице офомления заказа будет приведена более развернутая информация о стоимости доставки в ваш регион и о вашей личной скидке.

Книжный раздел

Позвольте Вам предложить