| DC Field | Value | Language |
|---|
| dc.contributor.author | Родионов, С. В. | - |
| dc.coverage.spatial | Санкт-Петербург | en_US |
| dc.date.accessioned | 2023-11-11T12:01:56Z | - |
| dc.date.available | 2023-11-11T12:01:56Z | - |
| dc.date.issued | 2023 | - |
| dc.identifier.citation | Родионов, С. В. Средства поддержки изучения современной декларативной парадигмы программирования = Means of supporting the study of the modern declarative programming paradigm / С. В. Родионов // Современное образование: содержание, технологии, качество : материалы XXIX международной научно-методической конференции, Санкт-Петербург, 19 апреля 2023 г. / Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина). – Санкт-Петербург, 2023. – С. 336–337. | en_US |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/53565 | - |
| dc.description.abstract | Рассматриваются средства поддержки индивидуальных образовательных траекторий
обучения в высшей школе на примере изучения перспективной парадигмы декларативного программирования наборов ответов (ASP), ориентированной на решение NP-сложных задач поиска. Приводятся механизмы вывода и доказательства, используемые в ASP. Описывается программа-обозреватель библиотеки примеров задач на языке ASP. Перечисляются области возможного применения ASP: онтологические модели знаний, семантический Web, интеллектуальные агенты. | en_US |
| dc.language.iso | ru | en_US |
| dc.publisher | Издательство СПбГЭТУ «ЛЭТИ» | en_US |
| dc.subject | материалы конференций | en_US |
| dc.subject | декларативные парадигмы | en_US |
| dc.subject | ASP | en_US |
| dc.subject | программирование наборов ответов | en_US |
| dc.title | Средства поддержки изучения современной декларативной парадигмы программирования | en_US |
| dc.title.alternative | Means of supporting the study of the modern declarative programming paradigm | en_US |
| dc.type | Article | en_US |
| local.description.annotation | The means of supporting individual educational trajectories of higher education are considered by
the example of studying a promising paradigm of declarative programming of answer sets (ASP), focused on
solving NP-complex search problems. The inference mechanisms and proofs used in ASP are given. A browser
program for the library of sample tasks in the ASP language is described. The areas of possible application of
ASP are listed: ontological knowledge models, semantic Web, intelligent agents. | en_US |
| Appears in Collections: | Современное образование: содержание, технологии, качество (2023)
|
