?
Beyond Global Studies. An Introductory Lecture into a Big History Course
P. 321–328.
Язык:
английский
В книге
Volgograd: Uchitel, 2014.
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. 105–126
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 г.
David J. L., Leonid Grinin, Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 22 P. 585–608.
Добавлено: 10 августа 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., Leonid Grinin, Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 2 P. 29–90.
Добавлено: 10 августа 2026 г.
Коротаев А. В., David J. L., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 5 P. 151–171.
Добавлено: 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 г.
Evgeny A. Kanaev, Berezhnaya A., Southeast Asia: Actual Problems of Development 2026 Vol. 2 No. 2(71) P. 175–187
В статье проанализированы значимость и место цифровых инструментов, разрабатываемых участниками Всеобъемлющего регионального экономического партнерства (ВРЭП), в приоритетах Социалистической Республики Вьетнам (СРВ). Рассмотрев истоки, эволюцию и промежуточные итоги деятельности ВРЭП, достигнутые к настоящему времени, статья дает оценку эффективности цифровых инструментов ВРЭП, и далее – степень их значимости для Вьетнама. С точки зрения авторов, хотя ВРЭП является ...
Добавлено: 30 июля 2026 г.
Plandin F., Темерева Е. Н., Zoological Journal of the Linnean Society 2025 Vol. 205 No. 2 Article zlaf139
Добавлено: 15 июня 2026 г.
Дыбская В. В., Сергеев В. И., РИСК: Ресурсы, информация, снабжение, конкуренция 2025 № 2 С. 11–17
Проанализированы истоки и важность управления цепями поставок (УЦП) в современной экономике. Показано, что УЦП является продолжением и развитием концепции интегрированной бизнес-логистики. Приведена эволюция логистики от 1960-х до 2000-х годов. Рассмотрен основной функционал УЦП для организаций бизнеса, а также факторы, влияющие на структуру цепи поставок и эволюцию УЦП. Идентифицированы основные тренды, влияющие на развитие УЦП в ...
Добавлено: 28 апреля 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 г.
Сперанский С. О., Studia Logica 2017 Vol. 105 No. 2 P. 407–429
The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general. ...
Добавлено: 26 декабря 2025 г.
Кузнецов С. Л., Сперанский С. О., Annals of Pure and Applied Logic 2022 Vol. 173 No. 2 Article 103057
We introduce infinitary action logic with exponentiation — that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allow some of the structural rules (contraction, weakening, permutation). The logic is presented in the form of an infinitary sequent calculus. We prove cut elimination and, in the case ...
Добавлено: 26 декабря 2025 г.