Семантическое программирование и полиномиально вычислимые представления Conference Abstracts
| Conference |
International scientific conference “Actual problems of mathematics, mechanics and informatics” dedicated to the memory of Professor T.G. Mustafin 08-09 Sep 2022 , Караганда |
||
|---|---|---|---|
| Source | Материалы Международной научной конференции «Актуальные задачи математики, механики и информатики», посвященной 80- летию профессора Т.Г. Мустафина., Караганда, Казахстан, 8-9 сентября 2022 г. Compilation, Изд-во Карагандинского университета им. академика Е.А.Букетова. Каранганда.2022. 299 c. |
||
| Output data | Year: 2022, Pages: 56 Pages count : 1 | ||
| Authors |
|
||
| Affiliations |
|
Abstract:
В докладе рассматриваются вопросы существования полиномиально вычислимых представлений для базовых синтаксических конструкций логики предикатов первого порядка (ИП), а также для объектов семантического программирования (СП). Было показано, что для множества доказательств (как линейных, так и в виде дерева) в ИП, а также для множества L-формул и L-программ в СП существуют полиномиально вычислимые представления. Данные результаты могут быть полезны в высокоуровневых языках программирования, в искусственном интеллекте и робототехнике. Там, где требуется быстрый и четкий программный ответ на входящие данные.
Cite:
Нечёсов А.В.
Семантическое программирование и полиномиально вычислимые представления
In compilation Материалы Международной научной конференции «Актуальные задачи математики, механики и информатики», посвященной 80- летию профессора Т.Г. Мустафина., Караганда, Казахстан, 8-9 сентября 2022 г.. – Изд-во Карагандинского университета им. академика Е.А.Букетова., 2022. – C.56.
Семантическое программирование и полиномиально вычислимые представления
In compilation Материалы Международной научной конференции «Актуальные задачи математики, механики и информатики», посвященной 80- летию профессора Т.Г. Мустафина., Караганда, Казахстан, 8-9 сентября 2022 г.. – Изд-во Карагандинского университета им. академика Е.А.Букетова., 2022. – C.56.
Identifiers:
No identifiers