?
Лариса Львовна Максимова (некролог)
Успехи математических наук. 2025. Т. 80. № 3. С. 179–182.
Артёмов С. Н., Beklemishev L. D., Гончаров С. С., Ершов Ю. Л., Одинцов С. П., Rybakov V., Speranski S. O., Shehtman V. B., Юн В. Ф.
Onoprienko A., Математические заметки 2026 Т. 120 № 1 С. 118–139
This paper considers the intuitionistic epistemic logics IEL−, IEL, and IEL+, introduced by S. Artyomov and T. Protopopescu. A translation of the formulas of these logics into the formulas of the classical bimodal logic S4V−M, S4VM, S4V+M, and S4V+MU is constructed. This translation is a generalization of Gödel's translation of intuitionistic logic into S4 logic. ...
Added: June 22, 2026
Speranski S. O., Алгебра и логика 2021 Т. 60 № 6 С. 612–635
Рассматриваются решётки расширений трёх логик: (1) модальной логики бирешёток; (2) полной бимодальной логики Белнапа–Данна; (3) классической бимодальной логики. Доказывается изоморфизм этих решёток. Более того, построенные изоморфизмы сохраняют разнообразные хорошие свойства, такие как табличность, предтабличность, разрешимость или интерполяционное свойство Крейга. ...
Added: December 26, 2025
Onoprienko A., Успехи математических наук 2025 Т. 80 № 5(485) С. 187–188
аннотации нет, так как статья - краткое сообщение ...
Added: October 2, 2025
Shestakova L. V., Семакин И. Г., Залогова Л. А. et al., М.: Просвещение, 2023.
Учебное пособие предназначено для изучения информатики на базовом уровне в 8 классе общеобразовательных организаций. Учебное пособие содержит теоретический материал курса, вопросы и задания для закрепления знаний. В конце каждой главы в схематическом виде представлена система основных понятий этой главы.
Учебное пособие соответствует требованиям Федерального государственного образовательного стандарта основного общего образования. ...
Added: June 25, 2024
Onoprienko A., Успехи математических наук 2024 Т. 79 № 1(475) С. 189–190
Added: January 31, 2024
Onoprienko A., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 514 № 1 С. 123–128
In this paper analogues of Herbrand’s and Harrop’s theorems for the logic QHC are proved. ...
Added: December 28, 2023
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь: Тверской государственный университет, 2021.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Added: November 12, 2023
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь: Тверской государственный университет, 2021.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Added: November 12, 2023
Onoprienko A., Алгебра и логика 2022 Т. 61 № 6 С. 720–741
The joint logic of problems and propositions QHC introduced by S. A. Melikhov, as well as intuitionistic modal logic QH4, is studied. An immersion of these logics into classical first-order predicate logic is considered. An analog of the Lowenheim-Skolem theorem on the existence of countable elementary submodels for QHC and QH4 is established. ...
Added: November 4, 2023
Onoprienko A., Вестник Московского университета. Серия 1: Математика. Механика 2022 № 5 С. 25–30
The propositional fragment HC of the joint logic of problems and propositions introduced by S.A. Melikhov is considered. Topological models of this logic are constructed and the completeness of the logic HC with respect to this type of models is shown. Topological models of the logic H4 introduced by S. Artemov and T. Protopopescu are also constructed. ...
Added: December 22, 2022
Семакин И. Г., Залогова Л. А., Русаков С. В. et al., М.: Просвещение, 2022.
Учебник предназначен для изучения в 8 классе общеобразовательной школы. Учебник содержит теоретический материал курса, материалы для закрепления знаний. В конце каждой главы в схематическом виде представлена схема основных понятий. Некоторые главы содержат дополнительный раздел, предназначенный для изучения темы на углубленном уровне.
Учебник допущен к использованию в соответствии с Приказом Министерства просвещения Российской Федерации №254 от 20.05.20 ...
Added: October 31, 2022
Onoprienko A., Математический сборник 2022 Т. 213 № 7 С. 97–120
Рассматривается совместная логика задач и высказываний QHC, введенная С. А. Мелиховым. Строятся модели Крипке с отмеченными мирами этой логики, показывается корректность и полнота логики QHC относительно этого типа моделей. Показана консервативность логики QHC относительно интуиционистской модальной логики QH4, совпадающей с “lax logic” QLL+. Построены модели Крипке с отмеченными мирами логики QH4, доказана теорема о корректности и ...
Added: July 11, 2022
Onoprienko A., Математический сборник 2020 Т. 211 № 5 С. 98–125
In this paper we study the propositional fragment of the joint logic of problems and propositions HC introduced by Melikhov. We provide Kripke semantics for this logic and show that HC is complete with respect to those models and has the finite model property. We consider examples of the HC-models usage. In particular, we prove ...
Added: October 20, 2020
Perederin D., Карпов Ю. Г., СПб.: Санкт-Петербургский государственный политехнический университет, 2016.
Данное пособие предназначено для студентов второго и третьего курсов как методические рекомендации при разработке структур логического управления дискретными системами. ...
Added: October 29, 2018
Savateev Y., Shamkanov D. S., / Series arXiv "math". 2018.
We present a sequent calculus for the Grzegorczyk modal logic Grz allowing cyclic and other non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs. As an application, we establish the Lyndon interpolation property for the logic Grz proof-theoretically. ...
Added: April 4, 2018
Pahomov F., Известия РАН. Серия математическая 2016 Т. 80 № 6 С. 173–216
Полимодальная логика доказуемости
GLP была введена Г. К. Джапаридзе в 1986 г. Она является логикой доказуемости для ряда цепочек предикатов доказуемости возрастающей силы. Всякой полимодальной логике соответствует многообразие полимодальных алгебр. Л. Д. Беклемишевым и А. Виссером был поставлен вопрос о разрешимости элементарной теории свободной GLP-алгебры, порожденной константами 0, 1 [1]. В этой статье для любого натурального n решается аналогичный вопрос для логик GLPn, являющихся ...
Added: December 4, 2017
Avdoshin S. M., Набебин А. А., М.: ДМК Пресс, 2018.
The textbook contains the basic information of formal logical systems. It is Boolean functions, Post’s theorem on functional completeness, the k-valued logic, derivatives of Boolean functions, axiomatic calculi for propositions, for predicates, for sequentions, for resolutions. Programming language Prolog and axiomatic programming language OBJ3 are introduced. Problems of monadic logic, of finite automata and of ...
Added: December 2, 2017
Улан-Удэ: Издательство Бурятского госуниверситета, 2017.
The collection represents proceedings of the 5th school-seminar "Syntax and Semantics of Logic Systems" (Ulan-Ude, 08.08.2017 - 12.08.2017). The conference subject area includes: theory of models and universal algebra; theory of boolean and finite-valued functions; formal languages and logic calculus; mathematical logic in education. ...
Added: September 22, 2017
Nabebin A. A., М.: Издательство МЭИ, 1996.
Излагаются основные понятия математической логики и формального вывода, теории графов, комбинаторики, теории конечных автоматов в ее связи с монадической логикой. Рассматривается резолютивный вывод и на его основе вводится универсальный язык программирования Пролог. Программируются некоторые алгоритмы на графах, в комбинаторике, в теории конечных автоматов при переходе от формул монадической логики к автоматам, которые эти формулы описывают. ...
Added: June 21, 2016
Журавлев Ю. И., Флёров Ю. А., Vyalyi M., М.: ООО "Контакт Плюс", 2010.
Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе материалов курса "Дискретный анализ", читаемого многие годы для студентов факультета управления и прикладной математики Московского физико-технического института.
Для студентов, специализирующихся на прикладной математике. ...
Added: October 17, 2014
Karpenko I., , in: Logical InvestigationsVol. 19: Special Issue.: M., St. Petersburg: humanitarian initiatives center, 2013. P. 308–325.
This article deals with the problem of translations. It covers the history of translation in linguistics and analyzes peculiarities and role of translation in logic. Moreover, the article contains typical examples of embedding operations in terms of dierent logical theories. ...
Added: March 13, 2014