CS203. Теория алгоритмов

Тематический план

• Общее
  

  Общее

  • Учебная карта дисциплины Файл
  • Программа курса (2017-2018 учебный год) Файл
  • Демо-вариант экзаменационного задания Файл
  • Материалы по курсу

  • Конспект лекций (версия от 04.05.18) Файл
  • Расписание пересдачи 28 мая (CS203) Файл

    Ограничено Недоступно, пока не выполнено: Вы принадлежите к какой-либо группе
  • Добор №1 в сентябре

    суббота 15 сентября, кафедра ИВЭ (203) в 14 часов.

    Задания будут по темам домашних занятий (выполнение редукции терма к нормальным формам, построение машин Тьюринга, доказательство примитивной рекурсивности функции, построение 3-КНФ и т.п).

    Результаты смотрите в журнале. Студентов Зосим (15) и Белицкого (20) нет в журнале. Можно прийти в пятницу 21.09 на пару в 13-45 для добора (см. мое расписание).

    Экзамен по расписанию деканата в 14 часов. 

• Задания на практические занятия
  

  Задания на практические занятия

  Ограничено Недоступно, пока не выполнено: Вы принадлежите к какой-либо группе
• Домашние задания
  

  Домашние задания

  Ограничено Недоступно, пока не выполнено: Вы принадлежите к какой-либо группе

  Для выполнения домашних заданий необходимо:

  1. Зарегистрироваться на сайте github.com.
  2. Установить Github Desktop или любой другой инструмент для работы с системой контроля версий git.
  3. Установить дистрибутив TeX, например, TeXLive или MikTeX.