Повышаем образовательный уровень в России

МАТЕМАТИЧЕСКАЯ ЛОГИКА. Учебник и практикум для бакалавриата и специалитета

Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики (г. Санкт-Петербург).

Авторы книги: Скорубский В. И., Поляков В. И., Зыков А. Г.
Все авторы
Скорубский Владимир Иванович
Скорубский Владимир Иванович

кандидат технических наук, доцент

Поляков Владимир Иванович
Поляков Владимир Иванович

кандидат технических наук, доцент

Зыков Анатолий Геннадьевич
Зыков Анатолий Геннадьевич

кандидат технических наук, доцент

Свернуть список авторов
Год издания:
2019
К-во страниц:
211
Тип обложки:
Переплет
ISBN:
978-5-534-01114-2
Издательство:
М.:Издательство Юрайт
Аннотация:
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Приведенные в учебнике упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. В приложении к учебнику приводится именной обзор известных математиков, внесших вклад в формирование логики как математической науки.

Скорубский, В. И.   Математическая логика : учебник и практикум для бакалавриата и специалитета / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Издательство Юрайт, 2019. — 211 с. — (Бакалавр и специалист). — ISBN 978-5-534-01114-2.