Главная /
Основы информатики и программирования /
Ограничение на использование кванторов в предикатах таково:
Ограничение на использование кванторов в предикатах таково:
вопросПравильный ответ:
идентификатор не может быть связан двумя различными кванторами
в предикате один и тот же идентификатор не может быть как связанным, так и свободным
идентификатор не может быть связан тремя различными кванторами
идентификатор не может быть связан одним квантором
Сложность вопроса
82
Сложность курса: Основы информатики и программирования
65
Оценить вопрос
Комментарии:
Аноним
спасибо за ответ
31 май 2017
Другие ответы на вопросы из темы программирование интуит.
- # Одним из достоинств объектно-ориентированного подхода является возможность использования уже существующих типов для:
- # Язык, на котором можно строго сформулировать постановку задачи и доказать правильность конкретной программы - это:
- # Для предикатов с кванторами справедливы дополнительные законы эквивалентности, называемые также:
- # Какой из операторов цикла языка Java применяется, если выполнение тела цикла хотя бы раз обязательно:
- # В качестве примера использования критерия индуктивности можно доказать, что функция f:Z*->Z количество максимальных элементов последовательности целых чисел: