1. Репозиторий Самарского национального исследовательского университета имени академика С.П. Королёва
  2. 05. Выпускные квалификационные работы
  3. Выпускные квалификационные работы
Full metadata record
DC FieldValueLanguage
dc.contributor.authorМишенев В. С.
dc.contributor.authorКоварцев А. Н.
dc.coverage.spatialисследование истинности логического выражения
dc.coverage.spatialсигнатура отношений сравнения
dc.coverage.spatialрешающая функция
dc.coverage.spatialстандартные формы
dc.coverage.spatialструктурное тестирование
dc.creatorМишенев В. С.
dc.date2018
dc.date.accessioned2025-11-27T12:16:54Z-
dc.date.available2025-11-27T12:16:54Z-
dc.date.issued2018
dc.identifier.identifierRU\НТБ СГАУ\ВКР20180619144013
dc.identifier.citationМишенев, В. С. Разработка подсистемы приведения предикатов к стандартной форме для решателя в сигнатуре отношений сравнения : вып. квалификац. работа по спец. "Фундаментальная информатика и информационные технологии" / В. С. Мишенев ; рук. работы А. Н. Коварцев ; М-во образования и науки Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т информатики, математики и электроники, Фак-т инфор. - Самара, 2018. - on-line
dc.identifier.urihttp://repo.ssau.ru/jspui/handle/123456789/48196-
dc.description.abstractЦелью работы является решение задачи приведения логических выражений, заданных в узлах графа управления алгоритма, к стандартизованному виду для автоматической компиляции решающей функции, что позволяет организовать проверку корректности логических условий программных приложений.В процессе работы был разработан алгоритм приведения правильно-построенных логических функций первого порядка к стандартной форме в сигнатуре отношений сравнения. Была разработана соответствующая подсистема на языке программирования TurboProlog. Подсистема была протестирована на наборе тестовых заданий.
dc.subjectисследование истинности логического выражения
dc.subjectрешающая функция
dc.subjectсигнатура отношений сравнения
dc.subjectстандартные формы
dc.subjectструктурное тестирование
dc.subject.rugasnti50.01
dc.subject.udc004.9
dc.titleРазработка подсистемы приведения предикатов к стандартной форме для решателя в сигнатуре отношений сравнения
dc.typeText
local.contributor.authorМинистерство образования и науки Российской Федерации
local.contributor.authorСамарский национальный исследовательский университет им. С. П. Королева (Самарский университет)
local.contributor.authorИнститут информатики
local.contributor.authorматематики и электроники
local.identifier.oldurihttp://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
Appears in Collections:Выпускные квалификационные работы

Files in This Item:
File SizeFormat 
Мишенев_Вадим_Сергеевич_Разработка_подсистемы_приведения_предикатов.pdf1.98 MBAdobe PDFView/Open    Request a copy
Show simple item record


Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.