?
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
P. 257–270.
Павлова А. М., Lang T., Fermüller, C.
В книге
Vol. 1237. Issue 1. , Springer, 2020.
Зайцев И. В., Логические исследования 2025 Т. 31 № 2 С. 143–168
В статье осуществляется презентация и построение отмеченного субординатного натурального исчисления 𝓕IntCK для интуиционистской кондициональной логики IntCK, предложенной Г.К. Ольховиковым как интуиционистский вариант минимальной нормальной кондициональной логики Б. Челласа CK и полной относительно интуиционистского прочтения метатеории CK. Система IntCK задает базовые дедуктивные принципы для формализации конструктивных контекстов, допускающих использование двух независимых контрфактических связок – □→ и ◇→. Описываемое в статье натуральное исчисление 𝓕IntCK основывается на технике, задействующей метки ...
Добавлено: 23 ноября 2025 г.
Добавлено: 26 сентября 2024 г.
Кузалис А., Antoniou A., Rossides N. и др., BioSystems 2024 Vol. 245 Article 105312
Пересечение математического познания, метапознания и передовых технологий открывает новые возможности для обучения человека и искусственного интеллекта. В данной статье прослеживаются исторические корни этих концепций от пифагорейцев и Аристотеля до современной когнитивной науки и исследуется их значимость для современных технологических приложений. Мы исследуем, как взгляд пифагорейцев на математику как фундаментальный для понимания Вселенной и вклад Аристотеля ...
Добавлено: 5 сентября 2024 г.
Springer, 2021.
Добавлено: 28 октября 2021 г.
Springer, 2018.
Добавлено: 30 октября 2020 г.
Switzerland: Springer, 2019.
Добавлено: 1 октября 2020 г.
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239–256
Добавлено: 1 июля 2020 г.
Nosovskiy M.M., Degtiarev K.Y., Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 3 P. 99–122
В наши дни электронная коммерция (ЭК) показывает беспрецедентные темпы роста во всем мире, вовлекая в эту деятельность миллионы людей на всех континентах. В то же время, ЭК создает почву для злонамеренных действий, что требует особого внимания и контроля. Одним из способов минимизации таких угроз является использование репутационных систем для отслеживания степени доверия в среде пользователей ...
Добавлено: 13 сентября 2019 г.
Springer, 2020.
Добавлено: 9 сентября 2019 г.
Atlantis Press, 2019.
Добавлено: 21 августа 2019 г.
Ziyadin S., Streltsova E., Бородин А. И. и др., Sustainability 2019 No. 11(9) P. 1–16
Добавлено: 15 мая 2019 г.
Серова Е. Г., Sokolov B., Ivanov D. и др., International Journal of Risk Assessment and Management 2020 Vol. 23 No. 1 P. 106–118
The main problems and features of combined approach to the complex objects control and management stability analysis are investigated in the paper. Analytical-simulation scenarios and scenarios of intelligent models and systems execution for complex objects control and management stability analysis are given. The investigations have shown successful possibility of risks evaluation by the combined implementation ...
Добавлено: 1 апреля 2019 г.
Seletkov I. P., Ясницкий Л. Н., , in: Advances in Intelligent Systems and ComputingVol. 850: Digital Science.: Switzerland: Springer, 2019. P. 443–449.
Добавлено: 10 января 2019 г.
Глуходед Е. А., Сметанин С. И., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 3 P. 7–20
The concept of Z-numbers introduced by Zade in 2011 is discussed topically nowadays due to it aptitude to deal with nonlinearities and uncertainties whose are common in real life. It was a large step of representing fuzzy logic, however that numbers created much larger problems of how to calculate them or aggregate multiple numbers of ...
Добавлено: 23 ноября 2018 г.
Бабкин Э. А., Демидовский А. В., Business Informatics 2019 Vol. 13 No. 1 P. 18–32
Добавлено: 17 ноября 2018 г.
Cham: Springer, 2018.
Добавлено: 10 ноября 2018 г.
Transformation of Russian Electricity Market Model after the Implementation of Blockchain Technology
Серова Е. Г., Айрапетян И. А., Колмыченко Д. О., , in: Conference Proceedings GSOM Emerging Market Conference 2018.: St. Petersburg: St. Petersburg University, 2018. P. 74–77.
Добавлено: 2 ноября 2018 г.
Semenkovich S. A., Kolekonova O. I., Degtiarev K. Y., Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 5 P. 19–38
Существует несколько известных методов, позволяющих оценить усилия, которые придется потратить на разработку программного обеспечения. В популярной на сегодняшний день методологии гибкой разработки Scrum для этих целей широко используется подход, основанный на story points. Однако, их использование для оценки объема работы может быть затруднительным для тех людей, которые только начинают знакомство с методологией Scrum или впервые ...
Добавлено: 20 октября 2018 г.
Серова Е. Г., Лукинский В. С., Логистика и управление цепями поставок 2018 № 4(87) С. 73–80
Успех любого логистического предприятия в условиях развития цифровой экономики напрямую зависит от регулярных и успешных инноваций в области совершенствования аналитических приложений и информационных систем в таких активно развивающихся областях знаний, как стратегическое управление и развитие сетей распределения современной компании и управление цепями поставок. В стремлении обеспечить устойчивое экономическое положение в условиях обострения жесткой конкурентной борьбы ...
Добавлено: 27 сентября 2018 г.