| № | Дата |
Автор |
Заглавие |
|---|
|
2009 |
Буряков, Михаил Леонидович |
Алгебраические, комбинаторные и криптографические свойства параметров аффинных ограничений булевых функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.19 / Буряков Михаил Леонидович ; Московский государственный университет им. М. В. Ломоносова |
|
2004 |
Песков, Николай Владимирович |
Поиск информативных фрагментов описаний объектов в задачах распознавания : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Песков Николай Владимирович ; [Научный совет по комплексной проблеме "Кибернетика"] |
|
2007 |
Чугунова, Варвара Валерьевна |
Синтез асимптотически оптимальных по надежности схем при инверсных неисправностях на входах элементов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Чугунова Варвара Валерьевна ; [Пензенский государственный университет] |
|
2008 |
Баев, Владимир Валерьевич |
Эффективные алгоритмы получения оценок алгебраической иммуности булевых функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Баев Владимир Валерьевич ; Московский государственный университет им. М. В. Ломоносова |
|
1992 |
|
Разработка к лекциям по курсу "Дискретная математика" : в 2 ч. / Министерство образования Республики Беларусь, Гомельский государственный университет им. Ф.Скорины ; [составитель В. Н. Семенчук]. — Ч. 1: "Теория булевых функций" для студентов математического и экономического факультетов |
|
1991 |
Прихожий, Анатолий Алексеевич (доктор технических наук, программирование ; род. 1953) |
Логические алгоритмы / А. А. Прихожий |
|
1993 |
Стрыгин, Владимир Захарович (математик) |
Полиномиальный алгоритм выявления общезначимости (выполнимости) булевых формул |
|
1994 |
|
Метадычныя ўказанні па раздзелу "Функцыі алгебры логікі і к-значнай логікі курса "Дыскрэтная матэматыка" для студэнтаў спецыяльнасці 22.04 / БДУ, Фак. прыкл. матэматыкі і інфарматыкі, Каф. мат. забяспячэння САПР ; Аўт.-саст. У.А.Машчэнскі |
|
1993 |
|
Полиномиальный алгоритм синтеза минимальных схем из функциональных элементов И-НЕ (функций Шеффера) / В.З.Стрыгин |
|
2005 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |
|
2004 |
Логачев, Олег Алексеевич (кандидат физико-математических наук) |
Булевы функции в теории кодирования и криптологии / Логачев О.А., Сальников А.А., Ященко В.В. ; Институт проблем информационной безопасности МГУ |
|
1973 |
|
Синтез схем в однородных структурах / составители: Ю.Н.Бутин и др |
|
2002 |
Карпов, Юрий Глебович (доктор технических наук) |
Теория автоматов : Учеб. для вузов / Ю.Г.Карпов |
|
2000 |
Шалыто, Анатолий Абрамович |
Логическое управление. Методы аппаратной и программной реализации алгоритмов / А. А. Шалыто |
|
1979 |
Уткин, А. А. |
Анализ логических сетей и техника булевых вычислений / А.А. Уткин; под ред. А.Д. Закревского |
|
2005 |
Хаггарти, Род (математик) |
Дискретная математика для программистов : учеб. пособие для студентов вузов, обучающихся по направлению подгот. "Прикладная математика" / Р. Хаггарти ; пер. с англ. под ред. С.А. Кулешова с доп. А.А. Ковалева [и др.] |
|
2010 |
Васин, Алексей Валерьевич |
Асимптотически оптимальные по надежности схемы в полных базисах из трехвходовых элементов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Васин Алексей Валерьевич ; [Государственное образовательное учреждение высшего профессионального образования "Пензенский государственный университет"] |
|
2011 |
|
Дискретная математика : методические указания к практическим занятиям для студентов специальности 23 01 02 "Автоматизированные системы обработки информации и управления" / Государственное учреждение высшего профессионального образования "Белорусско-Российский университет", Кафедра "Автоматизированные системы управления" ; [составитель А. И. Якимов] |
|
2010 |
Лобанов, Владимир Иванович (кандидат технических наук ; род. 1940) |
Русская логика в информатике : букварь математической логики / Владимир Лобанов |
|
2013 |
Зинин, Михаил Владимирович |
Символьные алгоритмы и программы вычисления булевых базисов Гребнера : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Зинин Михаил Владимирович ; [Объединенный институт ядерных исследований] |
|
2012 |
Лобанов, Владимир Иванович (кандидат технических наук ; род. 1940) |
Русская логика — индикатор интеллекта : азбука математической логики / Владимир Лобанов |
|
2013 |
Маркелов, Николай Константинович |
О сложности функций k-значной логики в классе поляризованных полиномов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Маркелов Николай Константинович ; Московский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетики |
|
2012 |
Гуров, Валерий Валентинович (кандидат технических наук ; род. 1954) |
Основы теории и организации ЭВМ : учебное пособие / В. В. Гуров, В. О. Чуканов |
|
2012 |
Марченков, Сергей Серафимович (доктор физико-математических наук ; род. 1945) |
Операторы замыкания логико-функционального типа : учебное пособие / С. С. Марченков ; Московский государственный университет имени М. В. Ломоносова, Факультет вычислительной математики и кибернетики |
|
2014 |
Зуев, Юрий Анатольевич (доктор физико-математических наук ; род. 1949) |
По океану дискретной математики : от перечислительной комбинаторики до современной криптографии : [в 2 т.] / Ю. А. Зуев. — Т. 1: Основные структуры. Методы перечисления. Булевы функции |
|
2017 |
Сысоева, Любовь Николаевна |
Об одном подходе к автоматной реализации булевых функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Сысоева Любовь Николаевна ; [Московский государственный университет им. М. В. Ломоносова] |
|
2017 |
Зуев, Юрий Анатольевич (доктор физико-математических наук ; род. 1949) |
По океану дискретной математики : от перечислительной комбинаторики до современной криптографии : [в 2 т.] / Ю. А. Зуев. — Т. 1: Основные структуры. Методы перечисления. Булевы функции |
|
2021 |
Кафтан, Дарья Владимировна |
Оценки длины тестов и сертификатов для бесповторных функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Кафтан Дарья Владимировна ; [Московский государственный университет им. М. В. Ломоносова] |
|
2021 |
Шоломов, Лев Абрамович |
Основы теории дискретных логических и вычислительных устройств : учебное пособие по направлению ВПО 010500 — "Прикладная математика и информатика" и 010400 — "Информационные технологии" / Л. А. Шоломов |
|
1999 |
Чашкин, Александр Викторович |
О сложности сужений булевых функций : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.09 / Моск. гос. ун-т им. М.В. Ломоносова, Мех.-Мат. фак |
|
2008 |
Бородина, Юлия Владиславовна |
Синтез легкотестируемых схем при константных неисправностях на выходах элементов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Бородина Юлия Владиславовна ; Московский государственный университет им. М. В. Ломоносова |
|
1993 |
|
Булево дифференциальное исчисление в вычислительной технике : учебное пособие по курсу "Прикладная математика" для спец. 22.01 ― "Вычислительные машины, комплексы, системы и сети", 22.02 ― "Автоматизированные системы обработки информации и управления" / Министерство народного образования БССР, Минский радиотехнический институт, Кафедра вычислительных методов и программирования ; [С. А. Поттосина и др.]. — Ч. 2: Методы Булева дифференциального исчисления в решении прикладных задач |
|
1979 |
Скляров, Валерий Анатольевич (доктор технических наук ; род. 1950) |
Автоматизация логического синтеза цифровых устройств : лабораторный практикум по курсу "Автоматизация проектирования ЦВМ" для студентов специальности 0608 / В. А. Скляров ; Минский радиотехнический институт, Кафедра электронных вычислительных машин. — Ч. 1 |
|
1991 |
|
Автоматизация логического проектирования дискретных систем : сборник научных трудов / Академия наук Беларуси, Институт технической кибернетики ; научный редактор А. Д. Закревский |
|
1975 |
|
Синтез асинхронных автоматов на ЭВМ / [А. Д. Закревский и др.] ; под общей редакцией А. Д. Закревского |
|
1998 |
Перязев, Николай Алексеевич (доктор физико-математических наук) |
Слабоповторные булевы функции в бинарном базисе |
|
1995 |
Перязев, Николай Алексеевич (доктор физико-математических наук) |
Сложность представлений булевых функций формулами в немонолинейных базисах |
|
1987 |
Поляков, Александр Сергеевич (кандидат технических наук ; род. 1939) |
К задаче синтеза схем из секционированных ПЛМ / А. С. Поляков |
|
1998 |
Винокуров, С. Ф. |
Полиномиальные разложения булевых функций по образам неоднородных операторов |
|
1988 |
Шестаков, Евгений Анатольевич (кандидат технических наук) |
О декомпозиции систем булевых функций методом тождественных отображений / Е. А. Шестаков |
|
1996 |
Шпота, Сергей Дмитриевич (радиоэлектроника) |
Лабораторный практикум по курсу "Цифровые устройства" и "Устройства цифровой техники" для студентов специальности "Телекоммуникационные системы". Исследование основных логических элементов и простейших комбинационных устройств / Белорус. гос. ун-т информатики и радиоэлектроники, Каф. сетей и устройств телекоммуникаций |
|
2009 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Решение больших систем логических уравнений / А. Д. Закревский ; Объединенный институт проблем информатики Национальной академии наук Беларуси |
|
2003 |
|
Методы логического проектирования / НАН Беларуси. Объед. ин-т проблем информатики; Науч. ред. А.Д.Закревский |
|
2005 |
Береснев, Владимир Леонидович (доктор физико-математических наук) |
Дискретные задачи размещения и полиномы от булевых переменных / В.Л. Береснев |
|
2006 |
Белоусов, Алексей Иванович (кандидат физико-математических наук) |
Дискретная математика : учеб. для студентов втузов / А.И. Белоусов, С.Б. Ткачев ; под ред. В.С. Зарубина, А.П. Крищенко |
|
2008 |
Горбатов, Вячеслав Афанасьевич (доктор технических наук ; доктор физико-математических наук ; доктор экономических наук ; 1939—2010) |
Теория автоматов : учебник для студентов втузов / В. А. Горбатов, А. В. Горбатов, М. В. Горбатова |
|
2011 |
Шуткин, Юрий Сергеевич |
Сложность реализации булевых функций информационными графами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Шуткин Юрий Сергеевич ; Московский государственный университет им. М. В. Ломоносова |
|
2011 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Вычисления в многомерном булевом пространстве / А. Д. Закревский |
|
2011 |
Бибило, Петр Николаевич (доктор технических наук ; род. 1953) |
Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний / П. Н. Бибило, В. И. Романов |
|
2012 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ