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