Математическая логика. Учебник и практикум для академического бакалавриата

Описание


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

Рейтинг издания


Нет оценки

Математическая логика. Учебник и практикум для академического бакалавриата

Автор: 
Скорубский В.И.
Издатель: 
Юрайт
Серия: 
Бакалавр. Академический курс
Переплет: 
твердый переплет
Страниц: 
211

Похожие издания:


Математическая логика и теория алгоритмов. Учебник и практикум для академического бакалавриата

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики.

Математика: логика, множества, комбинаторика. Учебное пособие для академического бакалавриата

В учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов.

Математический анализ. Функции многих переменных. Учебник и практикум для академического бакалавриата

Учебник посвящен изучению темы «Функции многих переменных». Издание состоит из двух частей.

Математический анализ. Дифференцирование функций одной переменной. Учебное пособие для академического бакалавриата

Учебное пособие посвящено изучению темы «Дифференцирования функции одной переменной». В первой главе приводится основной теоретический материал.

Математический анализ: определенный интеграл в 2-х частях. Часть 2. Учебное пособие для академического бакалавриата

Настоящее издание является второй частью пособия, посвященного теоретическим и практическим аспектам вычисления определенных интегралов, а также методам их оценок, свойствам и приложениям к решению различных геометрическ

Математический анализ. Предел и непрерывность функции одной переменной. Учебное пособие для академического бакалавриата

Данное учебное пособие посвящено теоретическим и практическим аспектам темы «Предел и непрерывность функции одной переменной», изучаемой в рамках программы курса математического анализа.