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