1. Множество, элемент множества, включение, принадлежность. Операции над множествами: разность, геометрическая разность, декартово произведение. Примеры: геометрический, программные реализации, финансовый, экономический. (2 часа)
2. Понятие отображения. Образ, прообраз, обратное отображение. Суперпозиция отображений. Свойства отображений: инъекция, сюръекция, биекция. Примеры : геометрический, программные реализации, финансовый, экономический. (2 часа)
3. Мощность множества. Конечные и бесконечные множества. Счетные множества и их примеры. Множества мощности континуум и их примеры. Примеры: геометрический, программные реализации, финансовый, экономический. (4 часа)
4. Высказывания, операции над высказываниями. Таблицы истинности. Примеры: геометрический, программные реализации, финансовый, экономический. (2 часа)
5. Предикаты. Кванторы существования и всеобщности. Формы и постоянные. Формализация содержательных утверждений. (4 часа)
6. Доказательные рассуждения. Структура теорем. Приемы доказательств. Примеры. (2 часа)
7. Бинарные отношения. Графическое и матричное представление бинарных отношений. Рефлексивность, симметричность, (анти-, а-) симметричность, транзитивность. Интерпретация свойств бинарных отношений. (4 часа)
8. Бинарные отношения эквивалентности. Разбиение множества, класс эквивалентности, фактор-множество. Примеры фактор-множеств. (4 часа)
9. Бинарное отношение порядка. Квазипорядок, частичный порядок. Линейная упорядоченность. Примеры частичной упорядоченности. Задание частичного порядка с помощью конусов. (4 часа)
10. Отношения строго предпочтения, безразличия и нестрого предпочтения. Их свойства и взаимосвязь. Графическое представление. Примеры. (4 часа)