Контакты:

Задачей курса является знакомство и освоение основных моделей и методов формализованного представления: теоретико-множественных, логических, графических. Теория множеств, логика. теория графов являются фундаментом дискретной математики. Теоретико-множественные, логические и графические представления, относящиеся к этим разделам дискретной математики, и являются предметом рассмотрения данного курса.