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

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

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

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

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

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

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

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

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