Главная / Введение в теорию программирования. Объектно-ориентированный подход / Каковы основные компоненты чистой системы типов?

Каковы основные компоненты чистой системы типов?

вопрос

Правильный ответ:

сорта, аксиомы, функциональные пространства
алфавит, сорта, аксиомы
сорта, аксиомы, правила вывода
Сложность вопроса
68
Сложность курса: Введение в теорию программирования. Объектно-ориентированный подход
51
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Если бы не данные ответы - я бы сломался c этими тестами интуит.
10 дек 2019
Аноним
спасибо за ответ
15 окт 2017
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.