Горячая линия
Вход / Регистрация
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!

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

  • Скопировать в буфер библиографическое описание
    Скорубский, В. И.  Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Издательство Юрайт, 2021. — 211 с. — (Высшее образование). — ISBN 978-5-534-01114-2. — Текст : электронный // ЭБС Юрайт [сайт]. — URL: https://urait.ru/bcode/469864 (дата обращения: 02.08.2021).
  • Добавить в избранное
Учебник и практикум для вузов
  • Курс с экзаменом
    Скорубский В. И., Поляков В. И., Зыков А. Г.
2021
Страниц 211
Обложка Твердая
Гриф Гриф УМО ВО
ISBN 978-5-534-01114-2
Библиографическое описание
Скорубский, В. И.  Математическая логика : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва : Издательство Юрайт, 2021. — 211 с. — (Высшее образование). — ISBN 978-5-534-01114-2. — Текст : электронный // ЭБС Юрайт [сайт]. — URL: https://urait.ru/bcode/469864 (дата обращения: 02.08.2021).
Показать все

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