https://libeldoc.bsuir.by/handle/123456789/58302| Title: | О границах применения формальных систем |
| Authors: | Борисенко, О. Ф. Протько, М. А. |
| Keywords: | неопубликованный документ;формализация;теоремы неопределенности;неразрешимость;невычислимые функции |
| Issue Date: | 2024 |
| Publisher: | БГУИР |
| Citation: | Борисенко, О. Ф. О границах применения формальных систем [Электронный ресурс] / О. Ф. Борисенко, М. А. Протько // Репозиторий БГУИР, 2024. – Режим доступа : https://libeldoc.bsuir.by/handle/123456789/58302. |
| Abstract: | В данной работе исследуются границы применения формальных систем для решения задач, изначальная формулировка которых является слабо выразимой в данной системе. |
| Description: | Опубликовано в репозитории БГУИР |
| URI: | https://libeldoc.bsuir.by/handle/123456789/58302 |
| ISSN: | 2410-4655 |
| Appears in Collections: | Публикации в репозитории БГУИР |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Protko_O_granicah.pdf | 312.64 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.