Главная /
Основы программирования /
Пусть заданы множества целых чисел: S1 = { 3, 5, 7, 11}, S2 = {2, 4, 8, 10}, S3 = { 3, 11, 5, 10}. Укажите формулы теории предикатов, принимающих истинные значения. Здесь Forall обозначает квантор всеобщности, а Exist – квантор существования
Пусть заданы множества целых чисел: S1 = { 3, 5, 7, 11}, S2 = {2, 4, 8, 10}, S3 = { 3, 11, 5, 10}
. Укажите формулы теории предикатов, принимающих истинные значения. Здесь Forall
обозначает квантор всеобщности, а Exist
– квантор существования
вопрос
Правильный ответ:
Forall s: S1| s
– простое число Exist s: S2 | s
– простое число Forall s: S1 | Exist s1: S2|s < s1
Exist s: S1 | Forall s1: S2| s < s1
Forall s2: S3 | (Exist s: S1| s = s2 or else Exist s1: S2| s1 = s2)
Сложность вопроса
84
Сложность курса: Основы программирования
56
Оценить вопрос
Комментарии:
Аноним
Я преподаватель! Срочно удалите сайт и ответы intuit. Я буду жаловаться!
11 апр 2019
Аноним
Экзамен прошёл на отлично. спс
05 окт 2016
Другие ответы на вопросы из темы программирование интуит.
- # Представьте, что вы создаете ПО для работы с документами – создания, модифицирования и доступа к ним. Предположите, что вы проектируете класс WORD (Слово), который описывает понятие "слово" и класс PARAGRAPH (Абзац), описывающий понятие абзаца. Для каждого из следующих возможных методов класса PARAGRAPH, установите, какой из них должен быть командой с аргументом.
- # Предложение: "Каждый вызов метода применяет метод к определенному объекту – цели вызова" характеризует:
- # Пусть e – булевское выражение, зависящее от n булевских переменных. Какие утверждения справедливы для истинностных присваиваний и таблицы истинности этого выражения?
- # Какие утверждения справедливы для обеспечения корректности составного оператора?
- # Какое утверждение несправедливо для констант в языке Eiffel?