Следите за новостями и участвуйте в обсуждениях!
Подписывайтесь на
наш Инстаграм,
Телеграм-канал и
присоединяйтесь к чату сообщества — чтобы не пропустить результаты конкурса грантов!
Логика в информатике
-
В этом курсе рассматривается основополагающая роль логики в вычислительной технике. Темы включают логику высказываний и предикатов, формальные доказательства, автоматизированные рассуждения и их применение в языках программирования, алгоритмах и верификации программного обеспечения. Студенты учатся применять логические принципы для решения задач и обеспечения корректности системы.
-
Образовательная программа 6B06101 Компьютерные науки
-
Кредитов 5
-
Год обучения 2
-
Семестр 2