?
О преподавании индуктивной и вероятностной логики на философских факультетах
С. 107–109.
Дается описание курса по индуктивной и вероятностной логике, который читается студентам философского факультета НИУ ВШЭ.
В книге
К.: Киевский национальный университет им. Тараса Шевченко, 2012.
Семенов П. В., Математика в школе 2024 № 4 С. 34–40
Приведены простые примеры, показывающие, что независимость двух случайных
событий – весьма редкое обстоятельство. Показано, как можно оценивать его частоту. Поставлены открытые вопросы ...
Добавлено: 14 марта 2026 г.
Семаков С. Л., Автоматика и телемеханика 2025 № 12 С. 104–118
Рассматривается задача оценки вероятности события, состоящего в том, что первое достижение заданного уровня непрерывным случайным процессом произойдет в какой-либо момент из заданного промежутка изменения независимой переменной. Ранее полученные результаты общего характера конкретизируются для гауссовского гладкого процесса. Приводятся результаты численных расчетов оценок при различных параметрах
процесса. ...
Добавлено: 23 февраля 2026 г.
Сперанский С. О., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 1 С. 99–115
Обсуждается проблема статистической двусмысленности (SAP), поставленная Карлом Гемпелем в отношении объяснений, базирующихся на индуктивно-статистической аргументации. С целью устранения SAP вводится формализованное (в терминах логики и вероятности) требование максимальной специфичности (RMS), а также соответствующая ему схема осуществления предсказания. Отметим, определенная в итоге совокупность закономерностей, удовлетворяющих RMS, тесно связана с конструкцией семантического вероятностного предсказания, представленной в работах ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Алгебра и логика 2011 Т. 50 № 4 С. 533–546
Язык для рассуждений о вероятности обобщается за счёт добавления в него кванторов по пропозициональным формулам. Далее рассматриваются соответствующие вопросы разрешимости. В частности, представленные результаты демонстрируют неразрешимость проблемы общезначимости для довольно слабого фрагмента нового языка. С другой стороны, устанавливается разрешимость ограниченной проблемы общезначимости для АЕ-предложений. ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Алгебра и логика 2013 Т. 52 № 2 С. 236–254
Изучаются иерархии проблем общезначимости для префиксных фрагментов вероятностной логики с кванторами по пропозициональным формулам, обозначаемой QPL, и её вариантов. Доказывается: если подполе F вещественных чисел определимо в стандартной модели арифметики посредством формулы второго порядка, не содержащей кванторов по множествам, то проблема общезначимости над F-значными вероятностными структурами для $\Sigma_4$-QPL-предложений является $\Pi^1_1$-полной и, как следствие, соответствующая иерархия проблем общезначимости схлопывается. Более того, при ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 510 С. 8–12
Пусть $\mathsf{QPL}$ – предложенный в [Speranski 2017] двусортный вероятностный язык, который расширяет хорошо известный «полиномиальный» язык, описанный в [Fagin et al. 1990, раздел 6], посредством добавления кванторов по событиям. Мы показываем, что все безатомные пространства имеют одну и ту же $\mathsf{QPL}$-теорию и эта теория разрешима. Также мы вводим понятие элементарного инварианта для QPL и используем его для ...
Добавлено: 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.
Добавлено: 9 августа 2025 г.
Семаков С. Л., Семакова М. В., Автоматика и телемеханика 2023 № 3 С. 126–138
Рассматривается посадка самолета на корабль. Предлагаются схема вычисления вероятности ухода на второй круг и схема вычисления максимальной просадки траектории самолета после схода с палубы. Одним из управляющих параметров, определяющих указанные вероятность и просадку, является момент увеличения тяги двигателя перед касанием палубы. Существующие требования, налагаемые на упомянутые вероятность и максимальную просадку, позволяют определить диапазон допустимых моментов ...
Добавлено: 8 августа 2025 г.
Семаков С. Л., М.: Физматлит, 2011.
Излагаются элементы теории вероятностей и случайных процессов. Много внимания уделяется решению задач, которые занимают большую часть пособия. Рекомендовано Учебно-методическим объединением высших учебных заведений РФ по образованию в области прикладных математики и физики в качестве учебного пособия для студентов высших учебных заведений по направлению "Прикладные математика и физика". ...
Добавлено: 5 августа 2025 г.
Семаков С. Л., М.: Наука, 2005.
В могографии излагается взгляд на теорию случайных процессов как инструмент математического моделирования. В первой главе рассматриваются основные классы и характеристики случайных процессов; вторая посвящена выбросам случайных процессов: задачам о пересечениях и касаниях фиксированного уровня, экстремумах, первом достижении границ заданной области; третья - приложениям математических результатов в авиации. Ядром второй и третьей глав работы являются результаты ...
Добавлено: 5 августа 2025 г.
Sergei L. Semakov, IEEE Transactions on Information Theory 2024 Vol. 70 No. 10 P. 7162–7178
Добавлено: 3 августа 2025 г.
Sergei Semakov, International Journal of Dynamics and Control 2025 Vol. 13 No. 5 Article 201
Добавлено: 2 августа 2025 г.
Аристова Н. И., Чадеев В. М., Якимова О. А., В кн.: Управление развитием крупномасштабных систем MLSD'2024 . Труды Семнадцатой международной конференции, 24–26 сентября 2024 г., Москва.: ИПУ РАН, 2024. С. 308–312.
В развитие методологии моделирования процесса технологической подготовки гибкого производства с учетом вероятностей качественного выполнения технологических операций обосновывается актуальность создания единого формализованного подхода для организации трудовых ресурсов и разработки методов и алгоритмов моделирования трудовых процессов совместно с социологическими моделями. ...
Добавлено: 4 февраля 2025 г.
Aristova N., Chadeev V., Iakimova O., , in: 2024 17th International Conference on Management of Large-Scale System Development (MLSD).: IEEE, 2024. P. 1–4.
Добавлено: 3 февраля 2025 г.
Капелюшников Р. И., / Высшая школа экономики. Серия WP3 "Проблемы рынка труда". 2024. № WP3/2024/01.
История экономической мысли знает немало острейших методологических споров (Methodenstreit), самым знаменитым из которых можно считать интеллектуальную «схватку» в конце XIX в. между представителями австрийской и новой исторической школ по вопросу о методах социальных наук. Уже в XX столетии на рубеже 1930–1940-х годов не менее жесткий спор возник между Дж.М. Кейнсом, с одной стороны, и кейнсианцами (Я. Тинберген, Л. Клейн, ...
Добавлено: 18 декабря 2024 г.