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

Календарный план

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

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

  • Программа курса Файл
  • Учебная карта дисциплины Файл
  • Порядок начисления баллов Файл
  • The Coq Proof Assistant Гиперссылка
  • Библиотека Mathematical Components Гиперссылка
  • Software Foundations Гиперссылка
• Бестиповые арифметические выражения (синтаксис)
  

  Бестиповые арифметические выражения (синтаксис)

  • Подключаемые модули.v Файл
  • ssrnat Гиперссылка
  • Теоретическое задание № 1 Файл
  • Теоретическое задание № 1
  • Functional Programming in Coq (Basics) Гиперссылка
  • Лабораторная работа № 1 Задание
  • Example.v Файл
  • Бонусное задание № 1
  • Бонусное задание № 2
• Бестиповые арифметические выражения (семантика)
  

  Бестиповые арифметические выражения (семантика)

  • Теоретическое задание № 2 Файл
  • Теоретическое задание № 2
• Отчет по проекту
  

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

  • Отчет по проекту Задание
  • Презентация к защите Задание
  • Защита проекта Задание
  • Проведение лекции Задание