| № | Дата |
Автор |
Заглавие |
|---|
|
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 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Зинин Михаил Владимирович ; [Объединенный институт ядерных исследований] |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ