№ | Дата |
Автор |
Заглавие |
---|
|
2012 |
Лобанов, Владимир Иванович (кандидат технических наук ; род. 1940) |
Русская логика — индикатор интеллекта : азбука математической логики / Владимир Лобанов |
|
2011 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Вычисления в многомерном булевом пространстве / А. Д. Закревский |
|
2001 |
Калинушкина, Марина Юрьевна |
Методы преобразования и передачи информации в системах автоматизации и управления на основе решения логических уравнений и построения систем многозначной алгебры логики : автореферат диссертации на соискание ученой степени кандидата технический наук : специальность 05.13.06 Автоматизация и управление технологическими процессами и производствами (промышленность) / Калинушкина Марина Юрьевна ; [Северо-Западный государственный заочный технический университет] |
|
2012 |
Лобанов, Владимир Иванович (кандидат технических наук ; род. 1940) |
Конспект по русской вероятностной логике / В. И. Лобанов |
|
1985 |
|
Автоматизация решения логико-комбинаторных задач : сборник научных трудов / Академия наук Белорусской ССР, Институт технической кибернетики ; [научный редактор А. Д. Закревский] |
|
2002 |
Baeten, J. C. M. |
Process algebra with timing / J.C.M.Baeten, C.A.Middelburg |
|
2009 |
Бибило, Петр Николаевич (доктор технических наук ; род. 1953) |
Декомпозиция булевых функций на основе решения логических уравнений / П. Н. Бибило ; Национальная академия наук Беларуси, Объединенный институт проблем информатики |
|
2010 |
Игнатьев, Алексей Сергеевич |
Методы обращения дискретных функций с применением двоичных решающих диаграмм : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Игнатьев Алексей Сергеевич ; [Учреждение Российской академии наук Институт динамики систем и теории управления Сибирского отделения РАН] |
|
2011 |
Порецкий, Платон Сергеевич (логик ; 1846—1907) |
Логические равенства : о способах решения логических равенств и об обратном способе математической логики : [русская вероятностная логика] / Платон Порецкий |
|
2012 |
Закрэўскі, Аркадзь Дзмітрыевіч (доктар тэхнічных навук ; 1928—2014) |
Combinatorial calculations in many-dimensional Boolean space / Arkadij Zakrevskij ; edited by Anders Keevallik ; English language editor Alexander Marin |
|
2003 |
"Танаевские чтения", научный семинар (1 ; 2003 ; Минск) |
Танаевские чтения : Первый науч. семинар, 28 марта 2003 г., Минск: Докл. / Нац. акад. наук Беларуси. Объед. ин-т проблем информатики, Бел. о-во исслед. операций; Науч. ред. Сотсков Ю.Н |
|
2020 |
Лобанов, Владимир Иванович (кандидат технических наук ; род. 1940) |
Русская логика для инженеров / В. И. Лобанов |