Ресурсы из категории "510.62 Логические и логико-предметные языки"
![[up]](/style/images/multi_up.png)
На уровень вверх- УДК (12901)
- 5 Математика. Естественные науки (2649)
- 51 Математика (507)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (64)
- 510.6 Математическая логика (51)
- 510.62 Логические и логико-предметные языки (3)
- 510.6 Математическая логика (51)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (64)
- 51 Математика (507)
- 5 Математика. Естественные науки (2649)
Группировка по: Авторы | Тип объекта
Количество объектов на этом уровне: 3.
П
Петров, А.Е. (2010) Разрешимость теорий обобщений автоматных систем. Вестник ТвГУ. Серия: Прикладная математика (17). С. 21-40. ISSN 1995-0136
С
Секорин, В.С. (2022) Моделирование оператора частичной фиксированной точки. Вестник ТвГУ. Серия: Прикладная математика (2). С. 14-26. ISSN 1995-0136
Секорин, В.С. (2020) Об эквивалентности двух семантик PFP-оператора. Вестник ТвГУ. Серия: Прикладная математика (3). С. 41-49. ISSN 1995-0136