Главная /
Структуры данных и модели вычислений /
Какие из следующих утверждений истинны?
Какие из следующих утверждений истинны?
вопросПравильный ответ:
если программа при некоторых входах из области определения вычисляемой функции останавливается через конечное число шагов и дает правильный ответ, то она частично корректна
если программа при всех входах из области определения вычисляемой функции, при которых она останавливается через конечное число шагов, дает правильный ответ, то она корректна
если программа при всех входах из области определения вычисляемой функции, при которых она останавливается через конечное число шагов, дает правильный ответ, то она частично корректна
если программа при всех входах из области определения вычисляемой функции останавливается через конечное число шагов и дает правильный ответ, то она корректна.
если программа при всех входах из области определения останавливается через конечное число шагов, то она частично корректна
Сложность вопроса
60
Сложность курса: Структуры данных и модели вычислений
82
Оценить вопрос
Комментарии:
Аноним
Какой студент ищет вот эти вопросы inuit? Это же безумно легко
11 янв 2018
Аноним
Если бы не данные решения - я бы сломался c этими тестами интуит.
22 сен 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Какие из следующих утверждений истинны?
- # Сколько слов длины 3 содержится в регулярном множестве, заданном регулярным выражением (a+b+c)*?
- # Пусть P - трехместный предикатный символ; f , g - одноместные функциональные символы; x, y, z - переменные; b - константа. Какие из формул A= P(b, y, f (g(y))), B= P(x, f (z), f (z)) и C= P(x, f (x), f (z)) унифицируемы?
- # Пусть P Q и S- одноместные и R - двухместный предикатные символы, a, b - константы. Какие из перечисленных ниже формул могут быть выведены с помощью правила резолюции из формул P(x) ∨ Q(y) ∨ R(b, x) и P(b) ∨ S(y) ∨ R(y, a)?
- # Толстая куча построена из одного дерева F3 и одного дерева F2. Сколько в ней узлов ранга 2?