?
Undecidability of the logic of partial quasiary predicates
Logic Journal of the IGPL. 2022. Vol. 30. No. 3. P. 519-533.
Рыбаков М. Н., Shkatov D.
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2021 Vol. 31 No. 2 P. 426-443
Добавлено: 24 сентября 2020 г.
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2020 Vol. 30 No. 7 P. 1305-1329
Добавлено: 27 августа 2020 г.
Золин Е. Е., Journal of Logic and Computation 2017 Vol. 27 No. 5 P. 1399-1420
We extend the language of the modal logic K4 of transitive frames with two sorts of modalities. In addition to the usual possibility modality (which means that a formula holds in some successor of a given point), we consider graded modalities (a formula holds in at least n successors) and converse graded modalities (aformula holds ...
Добавлено: 14 июня 2018 г.
Рыбаков М. Н., Shkatov D., Studia Logica 2019 Vol. 107 No. 4 P. 695-717
Добавлено: 2 октября 2019 г.
Канович М. И., Ban Kirigin T., Nigam V. и др., Computer Languages, Systems & Structures 2014 No. 40 P. 137-154
Добавлено: 23 марта 2015 г.
Kontchakov R., Pratt-Hartmann I., Nenov Y. и др., ACM Transactions on Computational Logic 2013 Vol. 14 No. 2 P. 13.1-13.48
We consider the quantifier-free languages, Bc and Bc°, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of Rn (n ≥ 2) and, additionally, over the regular closed semilinear sets of Rn. ...
Добавлено: 25 марта 2015 г.
Рыбаков М. Н., Shkatov D., , in : Advances in Modal Logic. Vol. 13.: College Publications, 2020. P. 523-539.
Добавлено: 27 августа 2020 г.
Рыбаков М. Н., Shkatov D., Theoretical Computer Science 2022 Vol. 925 P. 45-60
Добавлено: 12 мая 2022 г.
Brotherston J., Канович М. И., Journal of the ACM 2014 Vol. 61 No. 2 P. 14:1-14:43
Добавлено: 23 марта 2015 г.
В. Л. Попов, Математические заметки 2017 Т. 102 № 1 С. 72-80
Мы доказываем, что аффинно-треугольные подгруппы являются борелевскими подгруппами групп Кремоны. ...
Добавлено: 3 мая 2017 г.
Красноярск : ИВМ СО РАН, 2013
Труды Пятой Международной конференции «Системный анализ и информационные технологии» САИТ-2013 (19–25 сентября 2013 г., г.Красноярск, Россия): ...
Добавлено: 18 ноября 2013 г.
Борзых Д. А., ЛЕНАНД, 2021
Книга представляет собой экспресс-курс по теории вероятностей в контексте начального курса эконометрики. В курсе в максимально доступной форме изложен тот минимум, который необходим для осознанного изучения начального курса эконометрики. Данная книга может не только помочь ликвидировать пробелы в знаниях по теории вероятностей, но и позволить в первом приближении выучить предмет «с нуля». При этом, благодаря доступности изложения и небольшому объему книги, ...
Добавлено: 20 февраля 2021 г.
Котельникова М. В., Аистов А. В., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
Представлено описание метода, позволяющего совершенствовать содержание дисциплин математического цикла, разделяя их на инвариантную (общую) и вариативную части. Приводятся результаты выделения инвариантов для дисциплин «Линейная алгебра», «Математический анализ», «Теория вероятностей и математическая статистика», преподаваемых экономистам-бакалаврам нескольких вузов. На основе выделенных инвариантов предлагаются темы для организации самостоятельной проектной и исследовательской деятельности студентов, ориентированной на содержание курса «Эконометрика». ...
Добавлено: 28 января 2020 г.
Гринес В. З., Гуревич Е. Я., Починка О. В., Russian Mathematical Surveys 2017 Vol. 71 No. 6 P. 1146-1148
В работе обсуждается решение проблемы Палиса об отыскании достаточных условий включения диффеоморфизма Морса-Смейла в топологический поток. ...
Добавлено: 17 мая 2017 г.
Окуньков А. Ю., Aganagic M., Moscow Mathematical Journal 2017 Vol. 17 No. 4 P. 565-600
Добавлено: 25 октября 2018 г.
Danilov B.R., Moscow University Computational Mathematics and Cybernetics 2013 Vol. 37 No. 4 P. 180-188
Добавлено: 2 декабря 2019 г.
Америк Е. Ю., Вербицкий М. С., / Cornell University. Series arXiv "math". 2021.
Добавлено: 7 апреля 2022 г.
Литвин Ю. В., Абрамов И. В., Технологии техносферной безопасности 2016 № 66
Расширен подход к оценке случайного времени прибытия пожарных боевых расчётов на объект защиты, времени их занятости и свободного горения. Получены некоторые количественные оценки с использованием рассмотренных аналитических методов и имитации ...
Добавлено: 27 августа 2016 г.
Левашов М. В., Кухаренко А. В., Вопросы защиты информации 2018 № 2 С. 66-71
Рассматривается статистическая модель одного этапа системы фрод-мониторинга транзакций в интернет-банкинге. Построен и рассчитан близкий к отношению правдоподобия критерий отсева мошеннических транзакций. Для выборочных распределений, полученных на выборке объема в 1 млн реальных транзакций, вычислены параметры эффективности этого критерия. ...
Добавлено: 14 июня 2018 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.
Min Namkung, Younghun K., Scientific Reports 2018 Vol. 8 No. 1 P. 16915-1-16915-18
Добавлено: 16 ноября 2020 г.