Отрывок: Перенесем правую часть в левую часть предиката: (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.issued2018ru
dc.identifierRU\НТБ СГАУ\ВКР20180619144013ru
dc.identifier.citationМишенев, В. С. Разработка подсистемы приведения предикатов к стандартной форме для решателя в сигнатуре отношений сравнения : вып. квалификац. работа по спец. "Фундаментальная информатика и информационные технологии" / В. С. Мишенев ; рук. работы А. Н. Коварцев ; М-во образования и науки Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т информатики, математики и электроники, Фак-т инфор. - Самара, 2018. - on-lineru
dc.description.abstractЦелью работы является решение задачи приведения логических выражений, заданных в узлах графа управления алгоритма, к стандартизованному виду для автоматической компиляции решающей функции, что позволяет организовать проверку корректности логических условий программных приложений.В процессе работы был разработан алгоритм приведения правильно-построенных логических функций первого порядка к стандартной форме в сигнатуре отношений сравнения. Была разработана соответствующая подсистема на языке программирования TurboProlog. Подсистема была протестирована на наборе тестовых заданий.ru
dc.format.extentЭлектрон. дан. (1 файл : 1,9 Мб)ru
dc.titleРазработка подсистемы приведения предикатов к стандартной форме для решателя в сигнатуре отношений сравненияru
dc.typeTextru
dc.subject.rugasnti50.01ru
dc.subject.udc004.9ru
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 Граф вычислительного процесса для решателя в сигнатуре отношений сравнен...-
Располагается в коллекциях: Выпускные квалификационные работы

Файлы этого ресурса:
Файл Размер Формат  
Мишенев_Вадим_Сергеевич_Разработка_подсистемы_приведения_предикатов.pdf1.98 MBAdobe PDFПросмотреть/Открыть  
Показать базовое описание ресурса Просмотр статистики
Поделиться:



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