2020-весна: Математическая логика и комбинаторика: ФИТУ

Целями освоения дисциплины являются:
- ознакомление обучающихся с основными понятиями формальной логики, элементарной теории множеств, булевой логики высказываний, теоретико-множественной логики предикатов;
- обучение студентов использованию аппарата математической логики при решении типовых задач;
- ознакомление обучающихся с основными принципами перечисления объектов, понятием производящей функции;
- формирование у студентов навыков решения практических задач с построением конкретных комбинаторных конфигураций и с подсчетом их количества.

Содержание: Логика высказываний. Перечислительные задачи комбинаторики. Булевы функции. Логика предикатов.