Samara University Repository
Welcome!
| Title: | Разработка компилятора решающей функции для решателя в сигнатуре отношений сравнения |
| Authors: | Савельев А. В. Коварцев А. Н. |
| Keywords: | SMT-формула компилятор решающей функции решающая функция сигнатура отношений сравнения |
| Issue Date: | 2018 |
| Citation: | Савельев, А. В. Разработка компилятора решающей функции для решателя в сигнатуре отношений сравнения : вып. квалификац. работа по спец. "Фундаментальная информатика и информационные технологии" / А. В. Савельев ; рук. работы А. Н. Коварцев ; М-во образования и науки Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т информатики, математики и электроники, Фак-т инфо. - Самара, 2018. - on-line |
| Abstract: | Цель работы – разработать компилятор решающей функции для решателя в сигнатуре отношений сравнения.В процессе выполнения ВКР был разработан компилятор решающей функции для решателя в сигнатуре отношений сравнения, а в совокупности с другими подсистемами – сам решатель, позволяющий проверять на выполнимость SMT-формулы. Подсистема-компилятор разработана на языке программирования TURBO-Пролог. |
| URI: | http://repo.ssau.ru/jspui/handle/123456789/48140 |
| Appears in Collections: | Выпускные квалификационные работы |
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| Савельев_Александр_Владиславович_Разработка_компилятора_решающей_функции.pdf | 1.19 MB | Adobe PDF | View/Open Request a copy |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.