vyshka.math.ru
Расписание занятий
Логика и алгоритмы (первый курс). 2012/2013 учебный год.
- Объявления за 1 модуль.
- Срок сдачи Листка 5 продлён до 16.11.
- Срок сдачи Листка 6 продлён до 23.11.
- Коллоквиум по логике предикатов пройдёт 14.12 (9:00, ауд. 209). Будут предложены два
теоретических вопроса и одна задача.
- Программа коллоквиума:
.pdf
- Срок сдачи Листка 6 продлён до 7.11.
- Финальная оценка вычисляется по правилу: 50% коллоквиум + 25% листки + 25% экзамен (при условии минимум 4х баллов за экзамен).
- Автомат получают те, кто наберёт 8 или более баллов по формуле 50% коллоквиум + 50% листки.
- В оценке за экзамен первая и вторая задачи учитываются с весами 2/3 и 1/3 соответственно.
- Оценка за дополнительную задачу добавляется к оценке за коллоквиум с весом 1/3.
- Результаты: .xls
Программа курса (pdf)
Учебные материалы к лекциям
- Упорядоченные множества и аксиома выбора (pdf)
- Логика высказываний и логика предикатов (pdf)