-
Математическая логика
-
Скопировать в буфер библиографическое описание
Скорубский, В. И. Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Издательство Юрайт, 2025. — 211 с. — (Высшее образование). — ISBN 978-5-534-01114-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/561076 (дата обращения: 05.12.2025).
- Добавить в избранное
Учебник и практикум для вузовВ курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых проце...2025/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Математическая логика
-
Скопировать в буфер библиографическое описание
Скорубский, В. И. Математическая логика : учебник и практикум для среднего профессионального образования / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Издательство Юрайт, 2025. — 211 с. — (Профессиональное образование). — ISBN 978-5-534-11631-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/566513 (дата обращения: 05.12.2025).
- Добавить в избранное
Учебник и практикум для СПОВ курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых проце...2025/ Гриф УМО СПО -
Скопировать в буфер библиографическое описание
кандидат технических наук, доцент, почетный работник высшего профессионального образования РФ
