Разработка компилятора решающей функции для решателя в сигнатуре отношений сравнения

Савельев А. В.; Коварцев А. Н.

Samara University Repository

Welcome to the Samara University repository!

This is an open electronic archive created to preserve and disseminate the scientific results of our university. The works of researchers, faculty members, and students are available to everyone for academic and research purposes.

The repository contains dissertations, research articles, educational and methodological materials, monographs, and regulatory documents. The collections cover a wide range of fields: from aerospace technologies, engine engineering, and computer science to history, linguistics, mathematics, and ecology. The archive brings together the scientific heritage of the university, including materials prepared during the period of Samara State Aerospace University and Samara State University.

Looking for publications by author, title, date, or subject? Full-text search will provide relevant results. Want to explore the academic life more closely? Browse materials by the universityâs organizational units.

Descriptions of all publications and articles available in the repository can be found in the libraryâs electronic catalog. Staff and students can log in via the menu "Login -> My Resource Archive" using their personal account credentials (SSAU_id).

Use the archive for study, research, and professional development!

Full metadata record

DC Field	Value	Language
dc.contributor.author	Савельев А. В.
dc.contributor.author	Коварцев А. Н.
dc.coverage.spatial	SMT-формула
dc.coverage.spatial	сигнатура отношений сравнения
dc.coverage.spatial	компилятор решающей функции
dc.coverage.spatial	решающая функция
dc.creator	Савельев А. В.
dc.date	2018
dc.date.accessioned	2025-11-27T12:14:43Z	-
dc.date.available	2025-11-27T12:14:43Z	-
dc.date.issued	2018
dc.identifier.identifier	RU\НТБ СГАУ\ВКР20180619144719
dc.identifier.citation	Савельев, А. В. Разработка компилятора решающей функции для решателя в сигнатуре отношений сравнения : вып. квалификац. работа по спец. "Фундаментальная информатика и информационные технологии" / А. В. Савельев ; рук. работы А. Н. Коварцев ; М-во образования и науки Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т информатики, математики и электроники, Фак-т инфо. - Самара, 2018. - on-line
dc.identifier.uri	http://repo.ssau.ru/jspui/handle/123456789/48140	-
dc.description.abstract	Цель работы – разработать компилятор решающей функции для решателя в сигнатуре отношений сравнения.В процессе выполнения ВКР был разработан компилятор решающей функции для решателя в сигнатуре отношений сравнения, а в совокупности с другими подсистемами – сам решатель, позволяющий проверять на выполнимость SMT-формулы. Подсистема-компилятор разработана на языке программирования TURBO-Пролог.
dc.subject	SMT-формула
dc.subject	компилятор решающей функции
dc.subject	решающая функция
dc.subject	сигнатура отношений сравнения
dc.subject.rugasnti	50.01
dc.subject.udc	004.9
dc.title	Разработка компилятора решающей функции для решателя в сигнатуре отношений сравнения
dc.type	Text
local.contributor.author	Министерство образования и науки Российской Федерации
local.contributor.author	Самарский национальный исследовательский университет им. С. П. Королева (Самарский университет)
local.contributor.author	Институт информатики
local.contributor.author	математики и электроники
local.identifier.olduri	http://repo.ssau.ru/handle/Vypusknye-kvalifikacionnye-raboty/Razrabotka-kompilyatora-reshaushei-funkcii-dlya-reshatelya-v-signature-otnoshenii-sravneniya-vyp-kvalifikac-rabota-po-spec-Fundamentalnaya-informatika-i-informacionnye-tehnologii-72938
Appears in Collections:	Выпускные квалификационные работы

Files in This Item:

File	Size	Format
Савельев_Александр_Владиславович_Разработка_компилятора_решающей_функции.pdf	1.19 MB	Adobe PDF	View/Open Request a copy

Show simple item record