?
A Big History Perspective on Complexity in Universal Evolution: Conclusions
Ch. 22. P. 585–608.
В книге
Князева Е. Н., МЕТОД: Московский ежегодник трудов из обществоведческих дисциплин 2025 Т. 5 № 4 С. 176–182
В статье анализируется особенности творческой личности Владимира Ивановича Аршинова его стиля мышления, а также и его специфический вклад в философию науки – понятие сложностности. Сложность как ключевую характеристику самоорганизующихся систем Аршинов философски осмысливал в контексте постнеклассической науки и междисциплинарных исследований. Сложность предстает у него не просто как системная характеристика, а как онтологический принцип, задающий способ ...
Добавлено: 1 октября 2026 г.
Bug D. S., Kuzovenkova D. A., Tishkov A. V. и др., Biochemical Genetics 2026
Добавлено: 14 сентября 2026 г.
The class of all ∗-continuous Kleene algebras, whose description includes an infinitary condition on the iteration operator, plays an important role in computer science. The complexity of reasoning in such algebras — ranging from the equational theory to the Horn one, with restricted fragments of the latter in between — was analyzed by Kozen (2002). This ...
Добавлено: 12 августа 2026 г.
Сперанский С. О., Математические заметки 2026 Т. 120 № 3 С. 470–483
Показывается, что с точки зрения замыкающих ординалов многие инфинитарные исчисления для «первопорядковых» логик вероятности (т.е. для языков, аналогичных языкам из [Abadi & Halpern 1994]) являются настолько трудными, насколько это возможно: соответствующие замыкающие ординалы совпадают с наименьшим неконструктивным ординалом, обозначаемым через $\omega_1^{\mathrm{CK}}$. ...
Добавлено: 12 августа 2026 г.
Сперанский С. О., Grefenshtein A., Izvestiya. Mathematics 2026 Vol. 90 No. 4 P. 754–775
The article is concerned with Halpern's first-order logics of probability, which we denote by L_1 and L_2 – the first of these deals with probability distributions on the domain, while the second employs distributions on external sets of possible worlds. The proofs of [Abadi & Halpern 1994] of the complexity lower bound results for L_1 and L_2 ...
Добавлено: 12 августа 2026 г.
Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 13 P. 359–409.
Добавлено: 10 августа 2026 г.
Leonid Grinin, Alexander M., Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 12 P. 283–355.
Добавлено: 10 августа 2026 г.
David J. L., Гринин Л. Е., Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 2 P. 29–90.
Добавлено: 10 августа 2026 г.
David J. L., Leonid Grinin, Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 1 P. 1–25.
Добавлено: 10 августа 2026 г.
Добавлено: 7 августа 2026 г.
Катькало В. С., Шумкова Н. В., В кн.: Корпоративные университеты России - 2025.: Издательский дом НИУ ВШЭ, 2026. С. 12–44.
Статья об основных результатах четвертой волны исследования популяции корпоративных университетой России: особенности методологии, анализ общих данных о корпоративных университетах-участниках проекта, места корпоративных университетов в управлении развитием материнской компании, структуры и источнков кадрового состава команды, портфеля образовательных решений, инновационной деятельности и использования цифровых технологий и ИИ, системы "Лидеры учат лидеров", внешних провайдеров и партнерств с вузами. ...
Добавлено: 29 июня 2026 г.
Добавлено: 16 февраля 2026 г.
Сперанский С. О., Journal of Logic and Computation 2013 Vol. 23 No. 5 P. 1035–1055
In the present article, the quantifiers over propositions are first introduced into the language for reasoning about probability, then the complexity issues for validity problems dealing with the corresponding hierarchy of probabilistic sentences are investigated. We prove, among other things, the $\Pi^1_1$-completeness for the general validity and also indicate the least level in the hierarchy ...
Добавлено: 27 декабря 2025 г.