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

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

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

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

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

    • Материалы лабораторных работ

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

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

    • Домашние задания к лекциям

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

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

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

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