Главная /
Языки и исчисления /
Исчисление секвенций - исчисление типа:
Исчисление секвенций - исчисление типа:
вопросПравильный ответ:
генценцовского
гельдеровского
гильбертовского
Сложность вопроса
40
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Экзамен сдал на 4 с минусом. Спасибо сайту
26 янв 2017
Аноним
Экзамен прошёл на пять. Спасибо за халяуву
14 ноя 2016
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.