• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Некоторые свойства автоматного замыкания множеств булевых функций
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
September 30, 2026
'We Did Not Limit the Time for Questions'
The International Laboratory for Supercomputer Atomistic Modelling and Multi-Scale Analysis at HSE University held a major conference on molecular dynamics. Participants had the opportunity to attend all the presentations, while speakers were given as much time as they needed to answer questions. The HSE News Service interviewed Grigory Smirnov, Head of the Laboratory, and Genri Norman, Chief Research Fellow, about the conference preparations and the discussions it generated.
September 25, 2026
AI Users Earn Up to 41.8% More Than Non-Users
Research conducted by economists at HSE University has revealed a significant correlation between the regular use of GenAI in the workplace and higher pay among Russian employees. The study found that individuals who frequently use GenAI in their professional activities earn notably more than those who reject these new tools or resort to them occasionally. The salary premium for highly qualified specialists reaches 41.8%. The article was published in the Voprosy Ekonomiki journal.
September 24, 2026
‘Feedback and Constructive Criticism Are Essential in Our Profession
Vincent Fardeau, Associate Professor at HSE ICEF, has reached a major career milestone: he recently published his paper ‘Asymmetric Thin Markets’ in the Journal of Financial Economics, successfully passed his major academic review, and received tenure. In this interview, Vincent discusses the story behind the paper, explains the concept of asymmetric thin markets, and shares his advice for young scholars aiming to publish in top-tier journals.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Некоторые свойства автоматного замыкания множеств булевых функций

С. 235–237.
Sysoeva L.
Language: Russian
Text on another site
Keywords: automataавтоматrealization of Boolean functionреализация булевых функцийclosed sets of boolean functionsзамкнутые классы булевых функций

In book

Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19–23 июня 2017 г.)
М.: МАКС Пресс, 2017.
Similar publications
Человекоцентричный подход к управлению гибкими производствами
Аристова Н. И., Чадеев В. М., Якимова О. А., Автоматизация в промышленности 2024 № 6 С. 25–30
В условиях цифровизации минимизируется влияние негативного человеческого фактора в производственной системе, человек получает возможность заниматься творческой деятельностью, а не рутинной, и трудиться в более комфортных условиях, то есть параллельно с техноцентричностью на производствах формируется человекоцентричность. В ИПУ РАН разработана методология моделирования процесса технологической подготовки гибкого производства всевозможных изделий (включая автоматы) в различных производственных условиях с ...
Added: February 3, 2025
Quasiuniversal Boolean Automaton with Four Constant States
Sysoeva L., Moscow University Mathematics Bulletin 2019 Vol. 74 No. 6 P. 241–245
The problem of realization of Boolean functions by initial Boolean automata with constant states and n inputs is considered. Initial Boolean automaton with constant states and n inputs is an initial automaton with output such that in all states the output functions are n-ary constant Boolean functions 0 or 1. An example of an initial Boolean automaton with the minimum ...
Added: November 22, 2020
Квазиуниверсальный инициальный булев автомат с 4 константными состояниями
Sysoeva L., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. Гл. 3 С. 184–187.
The problem of realization of Boolean functions by initial Boolean automata with constant states and n inputs is considered. Initial Boolean automaton with constant states and n inputs is an initial automaton with output  such that in all states output functions are n-ary constant Boolean functions 0 or 1. The example of an initial Boolean automaton with the ...
Added: October 31, 2019
Реализация автоматной парадигмы вычислений на объектно-атрибутном базисе
Salibekyan S. M., Прикладная информатика 2017 Т. 12 № 2 С. 5–16
The article describes implementation (hardware and software) of computing system in automatic paradigm based on object-attribute (OA) computer system belonging to the class of dataflow machines. OA-computer is the system of functional unit (FU) collaborating each other. FU is hardware of software unit. The system named OA-automation emulate behavior of automation. It is discussion of ...
Added: September 14, 2019
Квазиуниверсальный булев автомат с четырьмя константными состояниями
Sysoeva L., Вестник Московского университета. Серия 1: Математика. Механика 2019 № 6 С. 51–55
Рассматривается задача о реализации булевых функций инициальными булевыми автоматами с константными состояниями и n входами, т.е. автоматами, такими, что в любом из состояний функция выхода совпадает с одной из булевых констант 0 или 1, зависящих от n переменных, n > 0. Построен пример инициального булева автомата с минимальным количеством константных состояний и n входами, реализующего максимальное возможное число булевых функций от n фиксированных переменных, при ...
Added: October 14, 2018
Универсальные множества обобщенных формул
Sysoeva L., В кн.: Материалы XI Международного семинара «Дискретная математика и её приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.).: М.: Механико-математический факультет МГУ, 2012. С. 218–220.
В работе рассматривается задача о реализации булевых функций обобщенными альфа-формулами. Вводится понятие универсального множества обобщенных альфа-формул для заданного множества булевых функций. Показывается, что для каждого n≥2 для множества всех булевых функций от переменных, сохраняющих константы 0 и 1, существуют универсальные множества. ...
Added: November 11, 2017
О некоторых свойствах обобщенных альфа-формул
Sysoeva L., Вестник Московского университета. Серия 1: Математика. Механика 2013 № 4 С. 51–55
The problem of realization of Boolean functions by generalized alpha-formulas is considered. For a given set of Boolean functions universal set of generalized alpha-formulas is determined. For the set of constant-preserving Boolean functions universal sets of generalized alpha-formulas are obtained. ...
Added: November 11, 2017
О реализации булевых функций обобщенными формулами
Sysoeva L., В кн.: Материалы XVII международной конференции "Проблемы теоретической кибернетики".: Каз.: Отечество, 2014. С. 268–270.
В работе рассматривается задача о реализации булевых функций обобщенными альфа-формулами. Вводится понятие универсального множества обобщенных альфа-формул для заданного множества булевых функций. Формулируется принцип двойственности для обобщенных альфа-формул. Показывается, что для каждого n ≥ 2 для множеств всех булевых функций от n переменных, сохраняющих константу 0 или 1, существуют универсальные множества. ...
Added: November 11, 2017
О реализации булевых функций обобщенными альфа-формулами
Sysoeva L., Ученые записки Казанского университета. Серия: Физико-математические науки 2014 Т. 156 № 3 С. 116–122
In this paper, we consider the problem of implementation of Boolean functions by generalized alpha-formulas. The notion of generalized alpha-formula is introduced. For a given set of Boolean functions, we define the notion of a universal set of generalized alpha-formulas. We also propose the notion of dual generalized alpha-formulas and formulate the principle of duality ...
Added: November 11, 2017
О сложности верификации автоматов-преобразователей над коммутативными полугруппами
Zakharov V., Гнатенко А. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 68–71.
В статье в качестве формальной модели последовательных реагирующих систем была предложена модель вычислений конечных автоматов-преобразователей, работающих над полугруппами действий. Для спецификации поведений таких автоматов был предложен специальный вариант темпоральной логики линейного времени LTL-FL (LTL with Formal Languages). Формальные языки (множества конечных слов фиксированных алфавитов) в формулах LTL-FL используются для параметризации темпоральных операторов. В этой же ...
Added: October 22, 2017
О минимизации схем программ относительно логико-термальной эквивалентности
Zakharov V., Жайлауова Ш. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 84–87.
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы ...
Added: October 22, 2017
Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.)
М.: МГУ, МАКС Пресс, 2017.
Книга представляет собой сборник статей, написанных на основе докладов, представленных на 18-ой Международной конференции "Теоретические проблемы кибернетики" в Пензенском государственном университете, 19-23 июня 2017 г. ...
Added: October 12, 2017
О задаче минимизации последовательных программ
Zakharov V., Жайлауова Ш. Р., Моделирование и анализ информационных систем 2017 Т. 24 № 4 С. 415–433
rst-order program schemata is one of the simplest models of sequential imperative programs intended for solving veri cation and optimization problems. We consider the decidable rela tion of logical-thermal equivalence of these schemata and the problem of their size minimization while preserving logical-thermal equivalence. We prove that this problem is decidable. Further we show that the rst-order program schemata supplied ...
Added: October 12, 2017
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit