Форум » Логические выражения » Алгебра предикатов и задача Р02 из файла ege18.doc » Ответить
Алгебра предикатов и задача Р02 из файла ege18.doc
dbaxps: Подход к решению задачи Р02 отличается от стандартов, исходящих из оригинальной работы http://kpolyakov.spb.ru/download/inf-2015-10.pdf , а именно, мы используем Предикатную логику 1-го порядка. Детально все изложено в блоге https://informatics-ege.blogspot.com/2019/02/18-once-again.html Пример P02 неслучайный выбор. Это демонстрация работы логики предикатов с "XOR". Символ "R" в условии заменим на "S". "R" - означает как всегда множество всех вещественных чисел. Некорректность исправлена в теле блога Если этот пост не нарушает политики форума , пожалуйста , откройте для общего доступа
Ответов - 0
полная версия страницы