Горячая линия
25 сентября 2021 активны на платформе
35 560 +98
Преподавателей
289 628 +792
Студентов
99+
Нет новых уведомлений
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Книги
Книги
Курсы
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!

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

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

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