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 |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.