Мы обрабатываем файлы cookie. Они помогают нам делать этот сайт удобнее для пользователей. Продолжая работу с сайтом
ugrasu.ru, вы соглашаетесь с обработкой файлов cookie вашего браузера. Однако вы можете запретить обработку
некоторых типов файлов cookie в настройках вашего браузера.
Узнать больше.
Согласен
Математическая логика
Год набора:2024 г.н.
Семестр:4 семестр
Модуль:общий университетский (все)
О курсе
Образовательная организация: ФГАОУ ВО «Санкт-Петербургский политехнический университет Петра Великого»
Трудоемкость: 3 з.е.
Результат обучения
В результате изучения дисциплины студент должен:
знать понятия, определения, термины, методы, алгоритмы, способы решения задач логики высказываний; логики предикатов и соответствующих исчислений.
уметь оценить сложность алгоритмов, выделить легко и трудноразрешимые задачи, оценить классы задач P и NP.
овладеть базовыми методами и алгоритмами проверки логического следования, проверки корректности программ, способами определения сложности вычислений и организации эффективных алгоритмов.
Ссылка на МООК
Заявление в распечатанном виде, приносить лично старшему тьютору по МООК Кокорину А.Е. в 3/509.
Возврат к списку