Перейти к основному содержанию

Вы используете гостевой доступ (Вход)

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

В начало
Курсы
Осенний семестр
Фундаментальная информатика и ИТ
ТЯП
CS301. Теория языков программирования
The Coq Proof Assistant

The Coq Proof Assistant

Нажмите на ссылку The Coq Proof Assistant, чтобы открыть ресурс.

◄ Порядок начисления баллов

Перейти на...

Библиотека Mathematical Components ►

Пропустить Навигация

Навигация

В начало
- Страницы сайта
  - Мои курсы
  - Теги
- Мои курсы
- Курсы
  - Осенний семестр
    - Прикладная математика и информатика
    - Фундаментальная информатика и ИТ
      - Compiler Development
      - CMVSM
      - АЗПК
      - Frontend
      - ТеорЯП
      - Ruby Eng
      - EngCA&OS
      - CS201e
      - Компиляторы - лекции
      - CS202
      - CS211 C++ ENG
      - ТЯП
        CS301. Теория языков программирования
        Программа курса
        Учебная карта дисциплины
        Порядок начисления баллов
        The Coq Proof Assistant
        Библиотека Mathematical Components
        Software Foundations
        Литература
        Материалы лекций
        Модуль 1. Основы теории типов.
        Модуль 2. Подтипы и рекурсивные типы.
        Модуль 3. Полиморфизм и системы высших порядков.
        Проект
        Бонусные баллы
    - Математика, механика
    - Педагогическое образование
    - Магистратура
      - Разработка мобильных приложений и компьютерных игр
    - Аспирантура
    - Вечернее отделение
    - Другое
    - ДМ_1ФЖ
    - ДМиМЛ 1_2023
    - Алгебра 1_2023
    - ИКТ заочники
  - Весенний семестр
    - Прикладная математика и информатика
    - Фундаментальная информатика и ИТ
    - Математика, механика
    - Педагогическое образование
    - Магистратура
      - Разработка мобильных приложений и компьютерных игр
    - Аспирантура
    - Вечернее отделение
    - Другое
  - Воскресная компьютерная школа
    - Пользователь компьютера плюс
    - Пользователь прикладных программ
    - Программирование I ступень
    - Программирование II ступень
    - Программирование III ступень
    - Архив
  - Воскресная математическая школа
    - Олимпиадная математическая школа
    - Открытое тестирование - 2023 г.
    - Открытое тестирование - 2022 г.
    - Повышение квалификации
    - Архив
    - Доступная математика
    - ВМШ - 22
    - Лаборатория математического онлайн-образования мех...
    - ВМШ-2023
    - Осенняя универсиада
    - Научно-практическая конференция
    - Открытое тестирование - 2024
  - Государственная итоговая аттестация
  - Дополнительное образование
  - Олимпиады
  - Видеолекции
  - Разное
  - Архив курсов
  - Заочная школа мехмата ЮФУ

Служба поддержки сайта

Вы используете гостевой доступ (Вход)

Сводка хранения данных

Скачать мобильное приложение