Математическая логика и теория алгоритмов 2 2015 — различия между версиями
Материал из SEWiki
(→Группа Д. О. Соколова) |
|||
| (не показано 14 промежуточных версий 3 участников) | |||
| Строка 3: | Строка 3: | ||
'''Практика:''' Дмитрий Олегович Соколов ([mailto:sokolov.dmt@gmail.com sokolov.dmt@gmail.com]), Александр Анатольевич Кноп ([mailto:aaknop@gmail.com aaknop@gmail.com]) | '''Практика:''' Дмитрий Олегович Соколов ([mailto:sokolov.dmt@gmail.com sokolov.dmt@gmail.com]), Александр Анатольевич Кноп ([mailto:aaknop@gmail.com aaknop@gmail.com]) | ||
| + | == Экзамен == | ||
| + | [http://logic.pdmi.ras.ru/~dmitrits/au/ML-questions.pdf Вопросы]. | ||
| + | |||
| + | Точные правила экзамена пока неизвестны (письмо от 17.12.2015 в 22:39), по предварительным данным экзамен 29-го декабря. | ||
| + | |||
| + | == Коллоквиум == | ||
| + | [http://logic.pdmi.ras.ru/~dmitrits/au/MLColloqium.pdf Вопросы]. | ||
| + | |||
| + | Для успешной сдачи коллоквиума нужно уверенно знать и понимать все определения и утверждения из курса и разбираться во всех доказательствах. | ||
| + | |||
| + | Коллоквиум состоится в воскресенье 8-го ноября в 17-00. Коллоквиум письменный, длительность: 3 часа, хотя задания будут рассчитаны на то, что с ними можно справиться за 2 часа. Пользоваться во время коллоквиума никакими материалами нельзя. Задания будут состоять из теоретических вопросов, вопросов на понимания и задач. | ||
== Группа Д. О. Соколова == | == Группа Д. О. Соколова == | ||
| + | |||
| + | [[Медиа:Bachelor_logic_practice.pdf | Таблица с результатами]] (метки столбцов соответсвуют задачам, цифра в клетке указывает сколько задач необходимо сделать во время досдачи). | ||
| + | |||
{| border="1" cellspacing="0" cellpadding="3" | {| border="1" cellspacing="0" cellpadding="3" | ||
| Строка 11: | Строка 25: | ||
!№ | !№ | ||
!Дата | !Дата | ||
| + | !Примечания | ||
|- | |- | ||
!1 | !1 | ||
| − | |align= | + | |align=center|[[Медиа:Logic.computability_-_1.pdf | На 07.09.2015]] |
| + | | | ||
|- | |- | ||
!2 | !2 | ||
| − | |align= | + | |align=center|[[Медиа:2.pdf | На 14.09.2015]] |
| + | | | ||
|- | |- | ||
!3 | !3 | ||
| − | |align= | + | |align=center|[[Медиа:3.pdf | На 21.09.2015]] |
| + | | | ||
|- | |- | ||
!4 | !4 | ||
| − | |align= | + | |align=center|[[Медиа:Logic.computability - 4.pdf | На 28.09.2015]] |
| + | | | ||
|- | |- | ||
!5 | !5 | ||
| − | |align= | + | |align=center|[[Медиа:Logic.computability - 5.pdf | На 05.10.2015]] |
| + | | | ||
|- | |- | ||
!6 | !6 | ||
| − | |align= | + | |align=center|[[Медиа:Logic.computability - 6.pdf | На 12.10.2015]] |
| + | | | ||
| − | |- | + | |- |
!7 | !7 | ||
| − | |align= | + | |align=center|[[Медиа:Logic.computability - 7.pdf | На 19.10.2015]] |
| + | | | ||
| + | |- | ||
| + | !8 | ||
| + | |align=center|[[Медиа:Logic.computability - 8.pdf | На 26.10.2015]] | ||
| + | |Осталась задача №40 | ||
| + | |||
| + | |- | ||
| + | !9 | ||
| + | |align=center|[[Медиа:Logic.computability - 9.pdf | На 09.11.2015]] | ||
| + | | | ||
| + | |||
| + | |- | ||
| + | !10 | ||
| + | |align=center|[[Медиа:Logic.computability - 10.pdf | На 16.11.2015]] | ||
| + | | | ||
| + | |||
| + | |- | ||
| + | !11 | ||
| + | |align=center|[[Медиа:Logic.computability - 11.pdf | На 23.11.2015]] | ||
| + | | | ||
| + | |||
| + | |- | ||
| + | !12 | ||
| + | |align=center|[[Медиа:Logic.computability - 12.pdf | На 30.11.2015]] | ||
| + | |align=center|Письменно | ||
| + | |||
| + | |- | ||
| + | !13 | ||
| + | |align=center|[[Медиа:Logic.computability - 13.pdf | На 06.12.2015]] | ||
| + | |align=center|Письменно (напоминаю, что время сдачи - не позднее 10:00 понедельника) | ||
| + | |||
| + | |- bgcolor="lightblue" | ||
| + | !14 | ||
| + | |align=center|[[Медиа:Logic.computability - 14.pdf | На 14.12.2015]] | ||
| + | | | ||
|} | |} | ||
Текущая версия на 22:56, 19 декабря 2015
Лекции: Дмитрий Михайлович Ицыксон (dmitrits@pdmi.ras.ru)
Практика: Дмитрий Олегович Соколов (sokolov.dmt@gmail.com), Александр Анатольевич Кноп (aaknop@gmail.com)
Экзамен
Точные правила экзамена пока неизвестны (письмо от 17.12.2015 в 22:39), по предварительным данным экзамен 29-го декабря.
Коллоквиум
Для успешной сдачи коллоквиума нужно уверенно знать и понимать все определения и утверждения из курса и разбираться во всех доказательствах.
Коллоквиум состоится в воскресенье 8-го ноября в 17-00. Коллоквиум письменный, длительность: 3 часа, хотя задания будут рассчитаны на то, что с ними можно справиться за 2 часа. Пользоваться во время коллоквиума никакими материалами нельзя. Задания будут состоять из теоретических вопросов, вопросов на понимания и задач.
Группа Д. О. Соколова
Таблица с результатами (метки столбцов соответсвуют задачам, цифра в клетке указывает сколько задач необходимо сделать во время досдачи).
| № | Дата | Примечания |
|---|---|---|
| 1 | На 07.09.2015 | |
| 2 | На 14.09.2015 | |
| 3 | На 21.09.2015 | |
| 4 | На 28.09.2015 | |
| 5 | На 05.10.2015 | |
| 6 | На 12.10.2015 | |
| 7 | На 19.10.2015 | |
| 8 | На 26.10.2015 | Осталась задача №40 |
| 9 | На 09.11.2015 | |
| 10 | На 16.11.2015 | |
| 11 | На 23.11.2015 | |
| 12 | На 30.11.2015 | Письменно |
| 13 | На 06.12.2015 | Письменно (напоминаю, что время сдачи - не позднее 10:00 понедельника) |
| 14 | На 14.12.2015 |
