ИКНК
  • Математическая логика для программистов - Осень 2024 - Герасимов Александр Сергеевич
    0%
  • Пред.
  • Данные курса
    Общая информация
    Объявления
    Учебные материалы
    Введение. Синтаксис и семантика логики высказываний. Исчисление натуральных выводов для логики высказываний и обычные приёмы математического рассуждения
    Разделы о множествах, отношениях и функциях из книги Т.Кормена
    Дополнения к разделам о множествах, отношениях и функциях из книги Т.Кормена
    Синтаксис и семантика логики предикатов. Исчисление натуральных выводов для логики предикатов и обычные приёмы математического рассуждения
  • След.
  ИКНК
  • Русский ‎(ru)‎
    Русский ‎(ru)‎ English ‎(en)‎
    • Вход
    Навигация по сайту
    Математическая логика для программистов - Осень 2024 - Герасимов Александр Сергеевич
    В начало
    Перейти к основному содержанию

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

    1. В начало
    2. Курсы
    3. Учебный год 2024/25, осенний семестр
    4. Магистратура
    5. 09.04.01 Информатика и вычислительная техника
    6. Математическая логика для программистов - Осень 2024 - Герасимов Александр Сергеевич
    7. Описание

    Математическая логика для программистов - Осень 2024 - Герасимов Александр Сергеевич

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

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

    Санкт-Петербургский политехнический университет Северо-западный региональный центр компетенций в области онлайн-образования

    Контакты:

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

    +7 (911) 842 45 06 (деканат)

    support@spbstu.ru

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