Главная /
Алгоритмы и теория вычислений /
Метатеорема - это
Метатеорема - это
вопросПравильный ответ:
утверждение о свойствах некоторой теории
утверждение о свойствах исчисления предикатов
утверждение о свойствах конечных автоматов
Сложность вопроса
72
Сложность курса: Алгоритмы и теория вычислений
82
Оценить вопрос
Комментарии:
Аноним
Если бы не эти подсказки - я бы не осилил c этими тестами intuit.
25 дек 2019
Аноним
Экзамен прошёл на 4 с минусом. Ура
07 сен 2019
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Правила вывода исчисления предикатов формируются из
- # Аббревиатура КНФ в контексте логических исчислений - это
- # Метод аналитических таблиц в отличие от метода резолюций
- # Множество слов в произвольном алфавите, которое может быть получено из элементарных множеств путем конечного числа применений операций объединения, конкатенации, итерации, называется:
- # Множество правил в формальной грамматике