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