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

  • CS301. Теория языков программирования

  • Отчет по проекту

    • Материалы лекций

      •  Лекция 1. Введение. Бестиповые системы. Файл
        Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
      •  Лекция №2. Бестиповые системы. Бестиповое лямбда-исчисление Файл
        Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
      •  Лекция 3. Бестиповое лямбда-исчисление. Представление термов без использования имен. Типизированные арифметические выражения. Файл
        Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Материалы лабораторных работ

      Результат выполнения лабораторной работы обязательно должен быть подгружен по окончании работы в аудитории. Доделанная дома работа должна подгружаться вторым файлом в течении 2-х недель после занятия.

      •  Лабораторная работа 1 Задание
        Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
      •  Лабораторная работа 2 Задание
        Ограничено Недоступно, пока не выполнено:
        • Вы принадлежите к группе тяп_дв
        • Вы принадлежите к группе тяп_дв
    • Домашние задания к лекциям

      Домашние задания по материалам лекций и основного учебника выполняются в основном в виде тестов в среде moodle в течении недели после соответствующей лекции. 

      •  Домашнее задание 1 Тест
        Ограничено Недоступно, пока не выполнено:
        • Вы принадлежите к группе тяп_дв
        • До 14 September 2020, 23:45
      •  Домашнее задание 2 Тест
        Ограничено Недоступно, пока не выполнено:
        • До 21 September 2020, 23:55
        • Вы принадлежите к группе тяп_дв
      •  Домашнее задание 3 Тест
        Ограничено Недоступно, пока не выполнено: Вы принадлежите к группе тяп_дв
    • Контрольные работы

      Контрольные работы выполняются к конце пройденного материала по модулю.