The use of distributed computing in domain modeling in universal syllogistics
- Authors: Smetanin I.M.1
-
Affiliations:
- Udmurt State University
- Issue: Vol 15, No 2 (2024)
- Pages: 87-112
- Section: Articles
- URL: https://journals.rcsi.science/2079-3316/article/view/299200
- DOI: https://doi.org/10.25209/2079-3316-2024-15-2-87-112
- ID: 299200
Cite item
Full Text
Abstract
About the authors
Iurii Mikhailovich Smetanin
Udmurt State University
Email: gms1234gms@rambler.ru
Research of Practical Computational Algorithms
References
- Сметанин Ю. М.. «Фронтальный алгоритм решения SAT задачи», Программные системы: теория и приложения, 13:4(55) (2022), с. 163–179.
- Кузичев А. С.. Диаграммы Венна, Наука, М., 1968, 253 с.
- Rodgers P., Stapleton G., Chapman P.. “Visualizing sets with linear diagrams”, ACM Trans. Comput.-Hum. Interact., 22:6 (2015), 27, 39 pp.
- Lamy J., Tsopra R.. “RainBio: Proportional visualization of large sets in biology”, IEEE Transactions on Visualization and Computer Graphics, 26:11 (2020), pp. 3285–3298.
- Сметанин Ю. М.. «Верификация логического следования в неклассической многозначной логике», Известия института математики и информатики УдГУ, 50 (2017), с. 62–82.
- Сметанин Ю. М.. «Верификация логического следования с использованием исчисления конституентных множеств и соответствий Галуа», Программные системы: Теория и приложения, 8:2(33) (2017), с. 69–93.
- Васильев С. Н., Жерлов А. К., Федосов Е. А., Федунов Б. Е.. Интеллектное управление динамическими системами, Физматлит, М., 2000, ISBN 5-9221-0050-5, 352 с.
- Кулик Б. А., Зуенко А. А., Фридман А. Я.. Алгебраический подход к интеллектуальной обработке данных и знаний, Изд-во Политехн. ун-та, СПб., 2010, ISBN 978-5-7422-2836-3, 235 с.
Supplementary files
