Показ экзаменационных работа 3 курса пройдет в 417 в 11:30 10 июня.
Экзамен для 3 курса пройдет 3 июня на 1ой и 2ой паре в ауд.108. Экзамен будет письменный. Будет состоять из задач и простых теоретических вопросов. Темы, которые войдут в экзамен: логика (включая булеву логику и логику предикатов) и вычислимость.
Коллоквиум пройдет 24 мая в 10-00. Аудитории 108 и 109.
Листок 3 (дэдлайн 31 мая (продлен))
Листок 2 (дэдлайн 30 апреля)
В Кондуите можно посмотреть текущие баллы, контакты принимающих и распределение по принимающим
Листок 1 (дэдлайн 8 марта)
Папка с листочками на Диске
10 июня - показа работ
3 июня - экзамен для 3 курса.
31 мая дэдлайн (продлен) (Листок 3)
24 мая - Коллоквиум 2
30 апреля дэдлайн (Листок 2)
25 марта - Коллоквиум 1
8 марта (Листок 1)
Лекторы: Л.Д. Беклемишев, С.М. Дудаков , В.Б. Шехтман
Семинаристы: С.М. Дудаков , А.В. Кудинов
Регулярно (приблизительно один раз в месяц) будут выдаваться листки с задачами, которые будут приниматься устно, при этом принимающие могут задавать простые вопросы на понимание на смежные темы. Точные правила оценки листков будут публиковаться вместе с листками. Первый листок по теории множеств будет выдан в начале февраля.
На семинарах (обычно в конце) проводится пятиминутка, на которой дается несложная задача на тему, обсуждаемую на семинаре. За пятиминутки ставится оценка по 10-бальной шкале. Средний балл по всем пятиминуткам участвует в формуле итоговой оценки.
В конце 3 модуля будет проведен первый коллоквиум, в конце мая будет проведен второй коллоквиум
Оценка по курсу высчитывается по формуле: Итоговая оценка по дисциплине вычисляется по формуле 0,15*Т +0,4(ОК1+OK2)/2 + 0,2Л+ 0,25Э. При этом те студенты, которые до экзамена имеют оценку 8 и выше по формуле 0,2Т+0,5(ОК1+OK2)/2 + 0,3Л имеют право не сдавать экзамен и зачесть эту оценку в качестве итоговой.
Обозначения: ОК1 и ОК2 оценки за 1ый и 2ой коллоквиумы, Л — средняя оценка за листки, Э — оценка за экзамен, Т — средняя оценка за пятиминутки.