11:00 в районе 319 аудитории. Если кто-то посмотрит расписание, и обнаружит, что она занята - поищем другую. Вообще, можно поискать большую, и будет хорошо.
Досрочный экзамен: 26.12.2016 11:00 (место будет известно позднее). Для сдачи досрочного экзамена необходимо получить допуск от преподавателя практики. Допуск будет обозначен в соответствующих таблицах с баллами.
Экзамены по группам: см. расписание на сайте ИТМО (время начала будем менять). Важно обязательно предупредить меня, что есть желающие в этот день сдавать экзамен или посетить консультацию (заранее). В любой отведенный в расписании день можно прийти и сдать экзамен даже не имея допуска, НО для получения оценки необходимо иметь допуск к экзамену к концу сессии, то есть, можно прийти сдать экзамен, не имея допуска, и после сдать что-то преподавателю практики (если он согласится), чтобы получить допуск. Вообще, по всем правилам надо получить допуск до начала сессии.
Рассмотренные темы:
- Алгебра множеств. Отношения.
- Множества и их элементы.
- Способы задания множеств.
- Подмножества.
- Операции над множествами. Законы де Моргана.
- Законы поглощения и склеивания.
- Диаграммы Эйлера-Венна.
- Декартово произведение множеств.
- Понятие бинарного отношения.
- Способы задания отношений.
- Симметричность. Транзитивность. Рефликсивность.
- Отношения эквивалентности.
- Отношения строгого\не строгого порядка.
- Упорядоченные множества*.
- Отношения соответствия*.
- Функциональные отношения*.
- Математическая логика.
- Высказывание. Булева алгебра.
- Аксиомы булевой алгебры.
- Свойства дизьюнкции и коньюнкции.
- Теоремы поглощения, склеивания, де Моргана.
- Дизьюнктивные и коньюнктвиные формы.
- Понятие булевой функции. Способы задания булевой функции.
- Минтермы, макстермы.
- СДНФ, СКНФ.
- Карты Вейча*.
- Импликанты*.
- Унарные и бинарные булевы функции.
- Суперпозиции.
- Полином Жегалкина.
- Полные системы функций. Теорема Поста.
- Математическая индукция.
- Комбинаторика и элементы теории вероятности.
- Основные комбинаторные объекты.
- Лексикографический порядок.
- Генерация следующего в лексикографическом порядке объекта.
- Дискретные случайные величины.
- Математическое ожидание. Дисперсия.
- Условная вероятность.
- Теорема Байеса.
- Цепи Маркова.
- Графы.
- Основные определения: ориентированный\неориентированный граф, пути, циклы.
- Лемма о рукопожатиях.
- Представления графов.
- Двудольные графы.
- Отношение связности. Компоненты связности.
- Отношения реберной и вершинной двусвязности.
- Точка сочленения.
- Мост.
- Эйлеровы пути и циклы. Эйлеровость графа.
- Теория игр(?)
- Теория чисел(?)
- Теория вычислений(?)
"*" -- дополнительная тема. "?" -- тема еще не рассмотрена.
Done!