Главная /
Основы теории вычислимых функций /
Две программы A, В доказуемо различны, если:
Две программы A, В доказуемо различны, если:
вопрос
Правильный ответ:
есть вход с различными результатами
А и В
нет входа с различными результатами
А и В
верифицированы
A и В Сложность вопроса
68
Сложность курса: Основы теории вычислимых функций
86
Оценить вопрос
Комментарии:
Аноним
Я помощник профессора! Тотчас удалите сайт vtone.ru с ответами по интуит. Я буду жаловаться!
12 ноя 2019
Аноним
Если бы не опубликованные ответы - я бы не смог решить c этими тестами intuit.
13 дек 2016
Аноним
Я преподаватель! Немедленно уничтожьте сайт vtone.ru с ответами с интуит. Умоляю
11 июн 2016
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Вычислима функция:
- # Вычислимая всюду определенная функция двух аргументов, универсальная для класса всех вычислимых функций одного аргумента:
- # Если функция f дает по номеру m функции другой номер s этой функции, то:
-
#
Множества X и Y, для которых
![math]()
и ![math]()
:
-
#
Свойство A принадлежит классу
![math]()
, если для некоторого разрешимого свойства В:
и 
: 
, если для некоторого разрешимого свойства В: