Главная /
Алгоритмы и теория вычислений /
Правила вывода исчисления предикатов формируются из
Правила вывода исчисления предикатов формируются из
вопросПравильный ответ:
modus ponens
правило введения квантора общности
правило введения квантора существования
Сложность вопроса
86
Сложность курса: Алгоритмы и теория вычислений
82
Оценить вопрос
Комментарии:
Аноним
Зачёт защитил. Бегу кутить отмечать зачёт по тестам
12 окт 2019
Аноним
Экзамен сдан и ладушки. Ура
10 янв 2016
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.