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