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

• Автор: Зюзьков В.М.
• Издательство: Лань
• Год издания: 2018
• Обложка: твердый переплет
• Страниц: 268
• Томов: 1
• Вес: 570 г.
• ISBN: 978-5-8114-3053-6

Описание

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

Издание исправленное.

Товар сертифицирован и соответствует нормам качества и безопасности. На любую покупку распространяется гарантия. Имеется накопительная система скидок, зависящая от объема заказов, совершенных ранее. Быстрая доставка курьером или в пункт выдачи в срок от 1 дня. Точную информацию о сроках доставки и величине рассчитанной скидки можно будет узнать во время оформления заказа. Приятных покупок.