Математическая логика

Скопировать в буфер библиографическое описание
Скорубский, В. И. Математическая логика : учебник и практикум для среднего профессионального образования / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Издательство Юрайт, 2023. — 211 с. — (Профессиональное образование). — ISBN 978-5-534-11631-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/518503 (дата обращения: 23.05.2026).
Добавить в избранное

Учебник и практикум для СПО

Обложка книги МАТЕМАТИЧЕСКАЯ ЛОГИКА Скорубский В. И., Поляков В. И., Зыков А. Г. Учебник и практикум

Ознакомиться

Подробнее

2023

Страниц 211

Обложка Твердая

Гриф Гриф УМО СПО

ISBN 978-5-534-11631-1

Библиографическое описание

Скорубский, В. И. Математическая логика : учебник и практикум для среднего профессионального образования / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Издательство Юрайт, 2023. — 211 с. — (Профессиональное образование). — ISBN 978-5-534-11631-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/518503 (дата обращения: 23.05.2026).

Серия

Профессиональное образование

Тематика/подтематика

Математика и статистика / Дискретная математика и математическая логика
Математика и статистика / Математика: общие работы
Общественные науки / Логика. Риторика

Дисциплины

Элементы математической логики , Дискретная математика с элементами математической логики , Математический аппарат в отрасли информационных технологий

Показать все

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