?
О преподавании индуктивной и вероятностной логики на философских факультетах
С. 107–109.
In book
К.: Киевский национальный университет им. Тараса Шевченко, 2012.
Sergei L. Semakov, , in: Proceedings of the 2026 12th International Conference on Control, Decision and Information Technologies (CoDIT) (Italy, Bari, July 13–16, 2026).: IEEE, 2026. P. 153–156.
The problem of the first achievement of a given level by a random process is considered. The previously obtained general results are specified for a smooth Gaussian process. ...
Added: August 24, 2026
Speranski S. O., Математические заметки 2026 Т. 120 № 3 С. 470–483
We show that, in terms of closure ordinals, many infinitary calculi for ‘first-order’ logics of probability (i.e., for languages similar to those in [Abadi & Halpern 1994]) are as hard as possible: the corresponding closure ordinals coincide with the least non-constructive ordinal, denoted by $\omega_1^{\mathrm{CK}}$. ...
Added: August 12, 2026
Semenov P., Математика в школе 2024 № 4 С. 34–40
Simple examples are given to show that
the independence of two random events is a very
rare circumstance. It is shown how to estimate its
frequency. Open questions are posed ...
Added: March 14, 2026
Семаков С. Л., Автоматика и телемеханика 2025 № 12 С. 104–118
This paper considers the problem of estimating the probability of the following event: a continuous random process will first reach a given level at some time from a given variation interval of the independent variable. The general results obtained previously are specified for a smooth Gaussian process. The estimates are calculated for different values of ...
Added: February 23, 2026
Speranski S. O., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 1 С. 99–115
Обсуждается проблема статистической двусмысленности (SAP), поставленная Карлом Гемпелем в отношении объяснений, базирующихся на индуктивно-статистической аргументации. С целью устранения SAP вводится формализованное (в терминах логики и вероятности) требование максимальной специфичности (RMS), а также соответствующая ему схема осуществления предсказания. Отметим, определенная в итоге совокупность закономерностей, удовлетворяющих RMS, тесно связана с конструкцией семантического вероятностного предсказания, представленной в работах ...
Added: December 27, 2025
Speranski S. O., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...
Added: December 27, 2025
Speranski S. O., Алгебра и логика 2011 Т. 50 № 4 С. 533–546
Язык для рассуждений о вероятности обобщается за счёт добавления в него кванторов по пропозициональным формулам. Далее рассматриваются соответствующие вопросы разрешимости. В частности, представленные результаты демонстрируют неразрешимость проблемы общезначимости для довольно слабого фрагмента нового языка. С другой стороны, устанавливается разрешимость ограниченной проблемы общезначимости для АЕ-предложений. ...
Added: December 27, 2025
Speranski S. O., Алгебра и логика 2013 Т. 52 № 2 С. 236–254
Изучаются иерархии проблем общезначимости для префиксных фрагментов вероятностной логики с кванторами по пропозициональным формулам, обозначаемой QPL, и её вариантов. Доказывается: если подполе F вещественных чисел определимо в стандартной модели арифметики посредством формулы второго порядка, не содержащей кванторов по множествам, то проблема общезначимости над F-значными вероятностными структурами для $\Sigma_4$-QPL-предложений является $\Pi^1_1$-полной и, как следствие, соответствующая иерархия проблем общезначимости схлопывается. Более того, при ...
Added: December 27, 2025
Speranski S. O., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 510 С. 8–12
Пусть $\mathsf{QPL}$ – предложенный в [Speranski 2017] двусортный вероятностный язык, который расширяет хорошо известный «полиномиальный» язык, описанный в [Fagin et al. 1990, раздел 6], посредством добавления кванторов по событиям. Мы показываем, что все безатомные пространства имеют одну и ту же $\mathsf{QPL}$-теорию и эта теория разрешима. Также мы вводим понятие элементарного инварианта для QPL и используем его для ...
Added: December 26, 2025
Semakov S., Semakov A., Semakov I., , in: 62nd IEEE Conference on Decision and Control (CDC), Singapore, Singapore, 2023.: IEEE, 2023. P. 3820–3825.
We estimate the probability that the first achievement of a given level by the component y_1(x) of n-dimensional continuous process y(x)={y_1(x),…,y_n(x)} occurs at some moment x* from a given interval (x′,x′′) and, at this moment x*, the condition (y_2(x*),…,y_n(x*))∈D holds, where D is a given domain of (n−1)-dimensional Euclidean space R^(n−1). The need to calculate the abovementioned probability arises in the problems of aircraft control during landing. ...
Added: August 9, 2025
Семаков С. Л., Семакова М. В., Автоматика и телемеханика 2023 № 3 С. 126–138
This paper considers aircraft landing on a carrier. We propose two schemes for calculating, first, the probability of a go-around due to disengaging the arresting gear and, second, the maximum descent of the aircraft’s trajectory with respect to the deck level immediately after leaving the deck. The instant to increase the aircraft’s thrust before touching ...
Added: August 8, 2025
Семаков С. Л., М.: Физматлит, 2011.
Излагаются элементы теории вероятностей и случайных процессов. Много внимания уделяется решению задач, которые занимают большую часть пособия. Рекомендовано Учебно-методическим объединением высших учебных заведений РФ по образованию в области прикладных математики и физики в качестве учебного пособия для студентов высших учебных заведений по направлению "Прикладные математика и физика". ...
Added: August 5, 2025
Семаков С. Л., М.: Наука, 2005.
В могографии излагается взгляд на теорию случайных процессов как инструмент математического моделирования. В первой главе рассматриваются основные классы и характеристики случайных процессов; вторая посвящена выбросам случайных процессов: задачам о пересечениях и касаниях фиксированного уровня, экстремумах, первом достижении границ заданной области; третья - приложениям математических результатов в авиации. Ядром второй и третьей глав работы являются результаты ...
Added: August 5, 2025
Sergei L. Semakov, IEEE Transactions on Information Theory 2024 Vol. 70 No. 10 P. 7162–7178
We propose a scheme for finding the probabilities of events related to crossings of a level by a random process. Using this scheme, we estimate the probability that the first achievement of a given level by the component y_1(x) of an n-dimensional continuous process y(x)={y_1(x),…,y_n(x)} occurs at some moment x* from a given interval (x′,x′′) and, at this moment x* , the other components y_2(x*),…,y_n(x*) satisfy given ...
Added: August 3, 2025
Sergei Semakov, International Journal of Dynamics and Control 2025 Vol. 13 No. 5 Article 201
We consider the problem of the exit of a diffusion Markov process to the boundary of a given domain. We concentrate on the one-dimensional case and solve the problem of finding the probability that the first exit of the process beyond the established corridor will occur at a given time. We apply the obtained results ...
Added: August 2, 2025
Аристова Н. И., Чадеев В. М., Якимова О. А., В кн.: Управление развитием крупномасштабных систем MLSD'2024 . Труды Семнадцатой международной конференции, 24–26 сентября 2024 г., Москва.: ИПУ РАН, 2024. С. 308–312.
В развитие методологии моделирования процесса технологической подготовки гибкого производства с учетом вероятностей качественного выполнения технологических операций обосновывается актуальность создания единого формализованного подхода для организации трудовых ресурсов и разработки методов и алгоритмов моделирования трудовых процессов совместно с социологическими моделями. ...
Added: February 4, 2025