Горячая линия
25 мая 2022 активны на платформе
37 449 +22
Преподавателей
319 404 -160
Студента
99+
Нет новых уведомлений
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020

Корзина

Позиций
Стоимость 0
Перейти в корзину
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!

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

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

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