Математическая логика и теория алгоритмов (осень 2016)

Лектор — доц. Д.В. Мусатов

Видеолекции (осень 2014)

Конспекты лекций (выкладываются по мере написания)

Задачи с семинаров и для самостоятельного решения, избранные решения

Контрольные работы

  • Результаты контрольных работ
  • к/р 26.09.2016 — тренировочный вариант
  • к/р 26.09.2016 — задачи
  • к/р 10.10.2016 — тренировочный вариант
  • к/р 10.10.2016 — задачи
  • к/р 24.10.2016 — тренировочный вариант
  • к/р 24.10.2016 — задачи
  • к/р 24.10.2016 — выданные дополнительные задачи
  • к/р 07.11.2016 — тренировочный вариант
  • к/р 07.11.2016 — задачи
  • к/р 07.11.2016 — выданные дополнительные задачи
  • к/р 21.11.2016 — тренировочный вариант
  • к/р 21.11.2016 — задачи
  • к/р 21.11.2016 — выданные дополнительные задачи
  • к/р 05.12.2016 — тренировочный вариант
  • к/р 05.12.2016 — задачи
  • к/р 05.12.2016 — выданные дополнительные задачи
  • 12.12.2016 — зачётные задачи (с исправлениями от 17.12)