ИКНК
  • Теория логического вывода (ресурсный курс) - Осень 2022 - Герасимов Александр Сергеевич
    0%
  • Пред.
  • Данные курса
    Общее
    Объявления
    Осенний семестр 2022/23 учебного года
    Введение. Язык логики высказываний и его семантика
    Секвенциальное исчисление высказываний
    Язык логики предикатов и его семантика
    Секвенциальное исчисление предикатов
    Унификация и проверка атомарной закрываемости заготовки вывода. Обзор исчислений для логики предикатов
    Элементы теории вычислимости
    СПИСОК ИЗУЧЕННЫХ ТЕМ
  • След.
  ИКНК
  • Русский ‎(ru)‎
    Русский ‎(ru)‎ English ‎(en)‎
    • Вход
    Навигация по сайту
    Теория логического вывода (ресурсный курс) - Осень 2022 - Герасимов Александр Сергеевич
    В начало
    Перейти к основному содержанию

    Информация о курсе

    1. В начало
    2. Курсы
    3. Курсы структурных подразделений института
    4. Высшая школа программной инженерии
    5. Теория логического вывода (ресурсный курс) - Осень 2022 - Герасимов Александр Сергеевич
    6. Описание

    Теория логического вывода (ресурсный курс) - Осень 2022 - Герасимов Александр Сергеевич

    • Преподаватель: Герасимов Александр Сергеевич
    Skill Level: Beginner
    Skill Level: Beginner

    Портал дистанционных образовательных технологий СПБПУ Петра Великого
    Политика конфиденциальности
    Политика обработки cookie

    При использовании материалов портала активная ссылка на источник обязательна

    Санкт-Петербургский политехнический университет

    Контакты:

    195251, Санкт-Петербург, ул. Политехническая, дом 29, Научно-исследовательский корпус

    +7 (812) 906-15-19

    support@spbstu.ru

    sdo@spbstu.ru (проблемы с порталом)

    Мы в социальных ресурсах

    Мы используем cookies и рекомендательные технологии для улучшения работы сайта. Продолжая использовать этот сайт, Вы соглашаетесь на использование файлов cookie.