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

Материал из SEWiki
Перейти к: навигация, поиск
(→‎Группа Д. О. Соколова)
(→‎Группа Д. О. Соколова)
Строка 27: Строка 27:
 
  |-
 
  |-
 
  !2
 
  !2
−
  |align=right|[[Медиа:2.pdf | На 14.09.2015]]
+
  |align=center|[[Медиа:2.pdf | На 14.09.2015]]
  
 
  |-
 
  |-
 
  !3
 
  !3
−
  |align=right|[[Медиа:3.pdf | На 21.09.2015]]
+
  |align=center|[[Медиа:3.pdf | На 21.09.2015]]
  
 
  |-
 
  |-
 
  !4
 
  !4
−
  |align=right|[[Медиа:Logic.computability - 4.pdf | На 28.09.2015]]
+
  |align=center|[[Медиа:Logic.computability - 4.pdf | На 28.09.2015]]
  
 
  |-
 
  |-
 
  !5
 
  !5
−
  |align=right|[[Медиа:Logic.computability - 5.pdf | На 05.10.2015]]
+
  |align=center|[[Медиа:Logic.computability - 5.pdf | На 05.10.2015]]
  
 
  |-
 
  |-
 
  !6
 
  !6
−
  |align=right|[[Медиа:Logic.computability - 6.pdf | На 12.10.2015]]
+
  |align=center|[[Медиа:Logic.computability - 6.pdf | На 12.10.2015]]
  
 
  |-
 
  |-
 
  !7
 
  !7
−
  |align=right|[[Медиа:Logic.computability - 7.pdf | На 19.10.2015]]
+
  |align=center|[[Медиа:Logic.computability - 7.pdf | На 19.10.2015]]
  
 
  |-
 
  |-
 
  !8
 
  !8
−
  |align=right|[[Медиа:Logic.computability - 8.pdf | На 26.10.2015]]
+
  |align=center|[[Медиа:Logic.computability - 8.pdf | На 26.10.2015]]
  
 
  |-
 
  |-
 
  !9
 
  !9
−
  |align=right|[[Медиа:Logic.computability - 9.pdf | На 09.11.2015]]
+
  |align=center|[[Медиа:Logic.computability - 9.pdf | На 09.11.2015]]
  
 
  |-
 
  |-
 
  !10
 
  !10
−
  |align=right|[[Медиа:Logic.computability - 10.pdf | На 16.11.2015]]
+
  |align=center|[[Медиа:Logic.computability - 10.pdf | На 16.11.2015]]
  
 
  |-
 
  |-
 
  !11
 
  !11
−
  |align=right|[[Медиа:Logic.computability - 11.pdf | На 23.11.2015]]
+
  |align=center|[[Медиа:Logic.computability - 11.pdf | На 23.11.2015]]
  
 
  |- bgcolor="lightblue"
 
  |- bgcolor="lightblue"
 
  !12
 
  !12
−
  |align=right|[[Медиа:Logic.computability - 12.pdf | На 30.11.2015 (письменно!)]]
+
  |align=center|[[Медиа:Logic.computability - 12.pdf | bgcolor="lightblue" На 30.11.2015 (письменно!)]]
 
|}
 
|}
  

Версия 00:59, 26 ноября 2015

Лекции: Дмитрий Михайлович Ицыксон (dmitrits@pdmi.ras.ru)

Практика: Дмитрий Олегович Соколов (sokolov.dmt@gmail.com), Александр Анатольевич Кноп (aaknop@gmail.com)

Коллоквиум

Вопросы.

Для успешной сдачи коллоквиума нужно уверенно знать и понимать все определения и утверждения из курса и разбираться во всех доказательствах.

Коллоквиум состоится в воскресенье 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
9 На 09.11.2015
10 На 16.11.2015
11 На 23.11.2015
12 bgcolor="lightblue" На 30.11.2015 (письменно!)

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

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

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