Отрывок: Перенесем правую часть в левую часть предиката: (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 Граф вычислительного процесса для решателя в сигнатуре отношений сравнен...
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Мишенев В. С. | ru |
dc.contributor.author | Коварцев А. Н. | ru |
dc.contributor.author | Министерство образования и науки Российской Федерации | ru |
dc.contributor.author | Самарский национальный исследовательский университет им. С. П. Королева (Самарский университет) | ru |
dc.contributor.author | Институт информатики | ru |
dc.contributor.author | математики и электроники | ru |
dc.coverage.spatial | исследование истинности логического выражения | ru |
dc.coverage.spatial | сигнатура отношений сравнения | ru |
dc.coverage.spatial | решающая функция | ru |
dc.coverage.spatial | стандартные формы | ru |
dc.coverage.spatial | структурное тестирование | ru |
dc.creator | Мишенев В. С. | ru |
dc.date.issued | 2018 | ru |
dc.identifier | RU\НТБ СГАУ\ВКР20180619144013 | ru |
dc.identifier.citation | Мишенев, В. С. Разработка подсистемы приведения предикатов к стандартной форме для решателя в сигнатуре отношений сравнения : вып. квалификац. работа по спец. "Фундаментальная информатика и информационные технологии" / В. С. Мишенев ; рук. работы А. Н. Коварцев ; М-во образования и науки Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т информатики, математики и электроники, Фак-т инфор. - Самара, 2018. - on-line | ru |
dc.description.abstract | Целью работы является решение задачи приведения логических выражений, заданных в узлах графа управления алгоритма, к стандартизованному виду для автоматической компиляции решающей функции, что позволяет организовать проверку корректности логических условий программных приложений.В процессе работы был разработан алгоритм приведения правильно-построенных логических функций первого порядка к стандартной форме в сигнатуре отношений сравнения. Была разработана соответствующая подсистема на языке программирования TurboProlog. Подсистема была протестирована на наборе тестовых заданий. | ru |
dc.format.extent | Электрон. дан. (1 файл : 1,9 Мб) | ru |
dc.title | Разработка подсистемы приведения предикатов к стандартной форме для решателя в сигнатуре отношений сравнения | ru |
dc.type | Text | ru |
dc.subject.rugasnti | 50.01 | ru |
dc.subject.udc | 004.9 | ru |
dc.textpart | Перенесем правую часть в левую часть предиката: (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 Граф вычислительного процесса для решателя в сигнатуре отношений сравнен... | - |
Располагается в коллекциях: | Выпускные квалификационные работы |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Мишенев_Вадим_Сергеевич_Разработка_подсистемы_приведения_предикатов.pdf | 1.98 MB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.