Дудаков, С.М. (2017) О ВЫРАЗИТЕЛЬНОЙ СИЛЕ ЛОГИКИ ОДНОМЕСТНОГО ТРАНЗИТИВНОГО ЗАМЫКАНИЯ ДЛЯ ДИСКРЕТНОГО ПОРЯДКА. Вестник ТвГУ. Серия: Прикладная математика (4). pp. 25-33. ISSN 1995-0136
![[thumbnail of elibrary_30785127_73659951 25-33.pdf]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png "elibrary_30785127_73659951 25-33.pdf") |
PDF
- Published Version
344kB |
Abstract
В работе показано, что в теории дискретного линейного порядка с одноместным оператором транзитивного замыкания с помощью формул длины
Abstract (en)
We establish that the monadic transitive close operator over linear discrete order allows to express addition, multiplication and exponential function up to
| Item Type: | Article |
|---|---|
| Additional Information: | Дудаков Сергей Михайлович заведующий кафедры информатики Тверского государственного университета. |
| Uncontrolled Keywords: | транзитивное замыкание, дискретный порядок, выразительная сила |
| Keywords (en): | transitive close logic, linerar discrete order, expressive power |
| Subjects: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей |
| Divisions: | Университеты > TverSU |
| ID Code: | 7835 |
| Deposited On: | 31 Jul 2018 13:25 |
| Last Modified: | 31 Jul 2018 13:25 |
Repository Staff Only: item control page