Математическая логика и теория алгоритмов 2 2015 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
 
(не показаны 23 промежуточные версии 3 участников)
Строка 1: Строка 1:
−
Лектор — Дмитрий Михайлович Ицыксон (<b>dmitrits@pdmi.ras.ru</b>)
+
'''Лекции:''' Дмитрий Михайлович Ицыксон ([mailto:dmitrits@pdmi.ras.ru dmitrits@pdmi.ras.ru])
  
−
Практика — Александр Анатольевич Кноп (<b>aaknop@gmail.com</b>), Дмитрий Олегович Соколов (<b>sokolov.dmt@gmail.com</b>)
+
'''Практика:''' Дмитрий Олегович Соколов ([mailto:sokolov.dmt@gmail.com sokolov.dmt@gmail.com]), Александр Анатольевич Кноп ([mailto:aaknop@gmail.com aaknop@gmail.com])
  
−
<b>Задания для группы Соколова Д. О.</b>:
+
== Экзамен ==
 +
[http://logic.pdmi.ras.ru/~dmitrits/au/ML-questions.pdf Вопросы].
  
−
Задание на 07.09. [[Файл:Logic.computability_-_1.pdf]]
+
Точные правила экзамена пока неизвестны (письмо от 17.12.2015 в 22:39), по предварительным данным экзамен 29-го декабря.
  
−
Задание на 14.09. [[Файл:2.pdf]]
+
== Коллоквиум ==
 +
[http://logic.pdmi.ras.ru/~dmitrits/au/MLColloqium.pdf Вопросы].
  
−
Задание на 21.09. [[Файл:3.pdf]]
+
Для успешной сдачи коллоквиума нужно уверенно знать и понимать все определения и утверждения из курса и разбираться во всех доказательствах.
  
−
Задание на 28.09. [[Файл:Logic.computability - 4.pdf]]
+
Коллоквиум состоится в воскресенье 8-го ноября в 17-00. Коллоквиум письменный, длительность: 3 часа, хотя задания будут рассчитаны на то, что с ними можно справиться за 2 часа. Пользоваться во время коллоквиума никакими материалами нельзя. Задания будут состоять из теоретических вопросов, вопросов на понимания и задач.
 +
 
 +
== Группа Д. О. Соколова ==
 +
 
 +
[[Медиа:Bachelor_logic_practice.pdf | Таблица с результатами]] (метки столбцов соответсвуют задачам, цифра в клетке указывает сколько задач необходимо сделать во время досдачи).
 +
 
 +
 
 +
{| border="1" cellspacing="0" cellpadding="3"
 +
 
 +
|-
 +
!№
 +
!Дата
 +
!Примечания
 +
 
 +
|-
 +
!1
 +
|align=center|[[Медиа:Logic.computability_-_1.pdf | На 07.09.2015]]
 +
|
 +
 
 +
|-
 +
!2
 +
|align=center|[[Медиа:2.pdf | На 14.09.2015]]
 +
|
 +
 
 +
|-
 +
!3
 +
|align=center|[[Медиа:3.pdf | На 21.09.2015]]
 +
|
 +
 
 +
|-
 +
!4
 +
|align=center|[[Медиа:Logic.computability - 4.pdf | На 28.09.2015]]
 +
|
 +
 
 +
|-
 +
!5
 +
|align=center|[[Медиа:Logic.computability - 5.pdf | На 05.10.2015]]
 +
|
 +
 
 +
|-
 +
!6
 +
|align=center|[[Медиа:Logic.computability - 6.pdf | На 12.10.2015]]
 +
|
 +
 
 +
|-
 +
!7
 +
|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]]
 +
|
 +
|}
 +
 
 +
== Группа А. А. Кнопа ==
 +
 
 +
[http://logic.pdmi.ras.ru/~knop/au/bachelors/logic/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

Группа А. А. Кнопа

Задания и результаты

Источник — «http://mit.spbau.ru/sewiki/index.php?title=Математическая_логика_и_теория_алгоритмов_2_2015&oldid=7155»