Отрывок: Перенесем правую часть в левую часть предиката: (x-1>0 y- x =0) ∧ (¬(y-5≥0) ¬(x-y-2<0)). Использую соответствующие замены, выразим предикаты через базисные отношения < и ≤: (1-x<0 y- x ≤ 0 ∧ x- y ≤ 0) ∧ (5-y<0 2-x- y≤0). 2.7 Граф вычислительного процесса для решателя в сигнатуре отношений сравнен...
Название : Разработка подсистемы приведения предикатов к стандартной форме для решателя в сигнатуре отношений сравнения : вып. квалификац. работа по спец. "Фундаментальная информатика и информационные технологии"
Авторы/Редакторы : Мишенев В. С.
Коварцев А. Н.
Министерство образования и науки Российской Федерации
Самарский национальный исследовательский университет им. С. П. Королева (Самарский университет)
Институт информатики
математики и электроники
Дата публикации : 2018
Библиографическое описание : Мишенев, В. С. Разработка подсистемы приведения предикатов к стандартной форме для решателя в сигнатуре отношений сравнения : вып. квалификац. работа по спец. "Фундаментальная информатика и информационные технологии" / В. С. Мишенев ; рук. работы А. Н. Коварцев ; М-во образования и науки Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т информатики, математики и электроники, Фак-т инфор. - Самара, 2018. - on-line
Аннотация : Целью работы является решение задачи приведения логических выражений, заданных в узлах графа управления алгоритма, к стандартизованному виду для автоматической компиляции решающей функции, что позволяет организовать проверку корректности логических услови
URI (Унифицированный идентификатор ресурса) : http://repo.ssau.ru/handle/Vypusknye-kvalifikacionnye-raboty/Razrabotka-podsistemy-privedeniya-predikatov-k-standartnoi-forme-dlya-reshatelya-v-signature-otnoshenii-sravneniya-vyp-kvalifikac-rabota-po-spec-Fundamentalnaya-informatika-i-informacionnye-tehnologii-73070
Другие идентификаторы : RU\НТБ СГАУ\ВКР20180619144013
Ключевые слова: исследование истинности логического выражения
решающая функция
сигнатура отношений сравнения
стандартные формы
структурное тестирование
Располагается в коллекциях: Выпускные квалификационные работы




Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.