?
The Markov School in the 21st Century
P. 388–427.
The Markov School is the school of mathematics (mostly mathematical logic) arisen in St.Petersburg in the 20th century. Historically, the Markov School has been largely connected with the Steklov Mathematical Institute in St. Petersburg. Today, many Markov School mathematicians have taken up positions in different countries; of course, we do not attempt to restrict this survey only to those who have stayed in St. Petersburg. However, all mathematicians whose work we describe studied in St. Petersburg and, at least for several years and often for decades, worked at the Steklov Mathematical Institute. In this paper, we primarily discuss what has happened over the last two decades, so a certain bias to computational complexity is to be expected.
В книге
Lanham: University Press of America, 2012.
Артёмов С. Н., Беклемишев Л. Д., Гончаров С. С. и др., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Добавлено: 27 декабря 2025 г.
Cham: Springer, 2025.
Добавлено: 17 декабря 2025 г.
Добавлено: 19 мая 2025 г.
Учебное пособие предназначено для изучения информатики на базовом уровне в 8 классе общеобразовательных организаций. Учебное пособие содержит теоретический материал курса, вопросы и задания для закрепления знаний. В конце каждой главы в схематическом виде представлена система основных понятий этой главы.
Учебное пособие соответствует требованиям Федерального государственного образовательного стандарта основного общего образования. ...
Добавлено: 25 июня 2024 г.
Amirdjanov G. P., Gurevich I. B., Kostyuk F. V. и др., Pattern Recognition and Image Analysis 2023 Vol. 33 No. 4 P. 988–1049
Добавлено: 13 марта 2024 г.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Добавлено: 12 ноября 2023 г.
Дегтерев Д. А., Сравнительная политика 2021 Т. 12 № 4 С. 82–97
В данной статье рассматриваются ключевые методологические проблемы международных и региональных исследований и перспективы формирования единой, «бесшовной» методологии. Авторские рассуждения иллюстрируются примерами из коллективной монографии под ред. А. Д. Воскресенского «Логика новой мироустроительной архитектоники и стратегии держав» (2021 г.). На первом этапе исследуется вопрос уровней анализа в международных отношениях с особым акцентом на системный уровень, а ...
Добавлено: 8 сентября 2023 г.
Семакин И. Г., Залогова Л. А., Русаков С. В. и др., М.: Просвещение, 2022.
Учебник предназначен для изучения в 8 классе общеобразовательной школы. Учебник содержит теоретический материал курса, материалы для закрепления знаний. В конце каждой главы в схематическом виде представлена схема основных понятий. Некоторые главы содержат дополнительный раздел, предназначенный для изучения темы на углубленном уровне.
Учебник допущен к использованию в соответствии с Приказом Министерства просвещения Российской Федерации №254 от 20.05.20 ...
Добавлено: 31 октября 2022 г.
Пучкин Н. А., Zhivotovskiy N., IEEE Transactions on Information Theory 2022 Vol. 68 No. 7 P. 4651–4665
Добавлено: 30 мая 2022 г.
Springer Nature Switzerland AG, 2019.
Добавлено: 29 октября 2021 г.
Chemodanov D., Esposito F., Calyam P. и др., IEEE Transactions on Network and Service Management 2019 Vol. 16 No. 1 P. 127–142
Добавлено: 3 декабря 2019 г.
Springer, 2019.
Добавлено: 29 октября 2019 г.
Berlin: Springer, 2019.
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that ...
Добавлено: 29 июля 2019 г.
Маслов В. П., Russian Journal of Mathematical Physics 2018 Vol. 25 No. 4 P. 525–530
Добавлено: 9 декабря 2018 г.
Передерин Д. А., Карпов Ю. Г., СПб.: Санкт-Петербургский государственный политехнический университет, 2016.
Данное пособие предназначено для студентов второго и третьего курсов как методические рекомендации при разработке структур логического управления дискретными системами. ...
Добавлено: 29 октября 2018 г.
Бондаренко Д. М., Baskin K., , in: From Big Bang to Galactic Civilizations: A Big History AnthologyVol. 3: The Ways that Big History Works: Cosmos, Life, Society and our Future.: Delhi: Primus Books, 2017. Ch. 10 P. 183–196.
Добавлено: 22 февраля 2018 г.
Пахомов Ф. Н., Известия РАН. Серия математическая 2016 Т. 80 № 6 С. 173–216
Полимодальная логика доказуемости
GLP была введена Г. К. Джапаридзе в 1986 г. Она является логикой доказуемости для ряда цепочек предикатов доказуемости возрастающей силы. Всякой полимодальной логике соответствует многообразие полимодальных алгебр. Л. Д. Беклемишевым и А. Виссером был поставлен вопрос о разрешимости элементарной теории свободной GLP-алгебры, порожденной константами 0, 1 [1]. В этой статье для любого натурального n решается аналогичный вопрос для логик GLPn, являющихся ...
Добавлено: 4 декабря 2017 г.
Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2018.
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания ...
Добавлено: 2 декабря 2017 г.