Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/39932
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.advisor | Зимин Григорий Александрович | ru_RU |
dc.contributor.advisor | Zimin Grigorij Aleksandrovic | en_GB |
dc.contributor.author | Мишуров Илья Дмитриевич | ru_RU |
dc.contributor.author | Misurov Ila Dmitrievic | en_GB |
dc.contributor.editor | Косовская Татьяна Матвеевна | ru_RU |
dc.contributor.editor | Kosovskaa Tatana Matveevna | en_GB |
dc.date.accessioned | 2023-04-06T21:49:07Z | - |
dc.date.available | 2023-04-06T21:49:07Z | - |
dc.date.issued | 2022 | |
dc.identifier.other | 063350 | en_GB |
dc.identifier.uri | http://hdl.handle.net/11701/39932 | - |
dc.description.abstract | Работа носит теоретический характер и посвящена алгоритмам элиминации кванторов и проблемам разрешимости для различных расширений арифметики целых чисел с единицей, сложением и отношением порядка. В то же время, широкое практическое применение получила система RedLog, в которой реализован ряд известных алгоритмов элиминации кванторов, о которых, в частности, рассказывается в работе. Исследование нацелено на поиск алгоритмов элиминации кванторов, которые могут стать расширением пакета RedLog. В ходе работы были исследованы известные алгоритмы и подходы для элиминации кванторов, исследован явный алгоритм элиминации кванторов для арифметики целых чисел с предикатом возведения двойки в степень, а так же доказаны теоремы о неразрешимости некоторых расширений арифметики Семёнова | ru_RU |
dc.description.abstract | The work is of a theoretical nature and is devoted to quantifier elimination algorithms and solvability problems for various extensions of integer arithmetic with unity, addition and ordering. At the same time, the RedLog system has received wide practical application, in which a number of well-known quantifier elimination algorithms are implemented, which, in particular, are described in the work. The study is aimed at finding quantifier elimination algorithms that can become an extension of the RedLog package. In the course of the work, well-known algorithms and approaches for eliminating quantifiers, an explicit quantifier elimination algorithm for integer arithmetic with the predicate of raising two to a power is investigated, and theorems on the undecidability of some extensions of Semenov's arithmetic are proved | en_GB |
dc.language.iso | ru | |
dc.subject | Элиминация кванторов | ru_RU |
dc.subject | разрешимость | ru_RU |
dc.subject | расширения арифметики целых чисел | ru_RU |
dc.subject | Quantifier elimination | en_GB |
dc.subject | decidability | en_GB |
dc.subject | extensions of integer arithmetic | en_GB |
dc.title | Powers of two and real-integer linear quantifier elimination | en_GB |
dc.title.alternative | Степени двойки и вещественно-целочисленная линейная элиминация кванторов | ru_RU |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
VKR_Misurov.pdf | Article | 122,33 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv.doc | ReviewSV | 59,5 kB | Microsoft Word | Просмотреть/Открыть |
reviewSV_st063350_Misurov_Ila_Dmitrievic_(supervisor)(Ru).txt | ReviewSV | 4,56 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.