Санкт-Петербург
+7 (812) 317-73-45
Ваш город - Санкт-Петербург?
Да
Выбрать другой город
От выбранного города зависят цены, наличие товара и способы доставки
Каталог товаров
Код: ЦБ-00095556
Твердый переплет
Остался 1 экземпляр
1 670 q
В корзину
В корзине
Купить в Доме Книги на Невском 28
Полка
Этаж 0, Стеллаж 120-129/01, Полка 4
Способы получения

Описание

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

Характеристики

ISBN
978-5-8114-3053-6
Год издания
2018
Тип переплета
Переплет (Тиснение)
Тираж
100
Количество страниц
268
Переиздание
Нет
Вес нетто
486

Издательство

Лань

Мы расскажем Вам про скидки и новинки!
Просто подпишитесь на наши рассылки

Ваш email

Отзывы
Введение в математическую логику. Учебное пособие, 2-е изд., испр.

Оставить отзыв
Оставить отзыв
Сделайте покупки выгодными!
получите карту лояльности