Математическая логика
Материал из Wiki - Факультет компьютерных наук
Версия от 13:03, 7 сентября 2021; A T G (обсуждение | вклад)
Содержание
[убрать]О курсе
Курс для студентов 2 курса в 3-4 модулях.
Лектор: Дашков Евгений Владимирович
Семинаристы:
Группа | Преподаватель | Учебный ассистент | classroom | Чат в телеграм | Консультации |
---|---|---|---|---|---|
1 | Оноприенко Анастасия Александровна | Василевская Юлия | |||
2 | Дашков Евгений Владимирович | Лямзин Алексей | |||
3 | Оноприенко Анастасия Александровна | Березовский Валерий | |||
4 | Запрягаев Александр Александрович | Шитов Александр |
Полезные ссылки
Телеграм-чат курса:
План курса
Лекции
Домашние задания
Коллоквиум
Экзамен
Итоговая оценка за курс
Итог = Округление(min(10, 0.3 * ДЗ + 0.35 * К + 0.35 * Э))
ДЗ –– средняя оценка за домашние задания
КР –– оценка за коллоквиум Э –– письменный экзамен.
Округление арифметическое.
Автоматы не предусмотрены.