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