| DC Field | Value | Language |
|---|
| dc.contributor.author | Борисенко, О. Ф. | - |
| dc.contributor.author | Протько, М. А. | - |
| dc.date.accessioned | 2024-11-26T07:07:18Z | - |
| dc.date.available | 2024-11-26T07:07:18Z | - |
| dc.date.issued | 2024 | - |
| dc.identifier.citation | Борисенко, О. Ф. О границах применения формальных систем [Электронный ресурс] / О. Ф. Борисенко, М. А. Протько // Репозиторий БГУИР, 2024. – Режим доступа : https://libeldoc.bsuir.by/handle/123456789/58302. | en_US |
| dc.identifier.issn | 2410-4655 | - |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/58302 | - |
| dc.description | Опубликовано в репозитории БГУИР | - |
| dc.description.abstract | В данной работе исследуются границы применения формальных систем для решения задач, изначальная формулировка которых является слабо выразимой в данной системе. | en_US |
| dc.language.iso | ru | en_US |
| dc.publisher | БГУИР | en_US |
| dc.subject | неопубликованный документ | en_US |
| dc.subject | формализация | en_US |
| dc.subject | теоремы неопределенности | en_US |
| dc.subject | неразрешимость | en_US |
| dc.subject | невычислимые функции | en_US |
| dc.title | О границах применения формальных систем | en_US |
| dc.type | Article | en_US |
| Appears in Collections: | Публикации в репозитории БГУИР
|
