| № | Дата |
Автор |
Заглавие |
|---|
|
2004 |
Песков, Николай Владимирович |
Поиск информативных фрагментов описаний объектов в задачах распознавания : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Песков Николай Владимирович ; [Научный совет по комплексной проблеме "Кибернетика"] |
|
1991 |
Прихожий, Анатолий Алексеевич (доктор технических наук ; род. 1953) |
Логические алгоритмы / А. А. Прихожий |
|
1993 |
Стрыгин, Владимир Захарович (математик) |
Полиномиальный алгоритм выявления общезначимости (выполнимости) булевых формул |
|
1993 |
|
Полиномиальный алгоритм синтеза минимальных схем из функциональных элементов И-НЕ (функций Шеффера) / В.З.Стрыгин |
|
2004 |
Логачев, Олег Алексеевич (кандидат физико-математических наук) |
Булевы функции в теории кодирования и криптологии / Логачев О.А., Сальников А.А., Ященко В.В. ; Институт проблем информационной безопасности МГУ |
|
1973 |
|
Синтез схем в однородных структурах / составители: Ю.Н.Бутин и др |
|
2014 |
Тагави Афшорд, Саид Хосейн (кандидат технических наук) |
Algorithms for decomposition of Boolean functions based on the tabular method : thesis for the degree of doctor of philosophy in speciality 05.13.12 ― computer aided design = Алгоритмы декомпозиции булевых функций на основе табличного метода : диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.12 ― системы автоматизации проектирования / Taghavi Afshord Saeid Hossein ; scientific supervisor: Pottosin Yu. V. ; National Academy of Sciences of Belarus, United Institute of Informatics Problems |
|
1999 |
Чашкин, Александр Викторович |
О сложности сужений булевых функций : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.09 / Моск. гос. ун-т им. М.В. Ломоносова, Мех.-Мат. фак |
|
1993 |
|
Булево дифференциальное исчисление в вычислительной технике : учебное пособие по курсу "Прикладная математика" для спец. 22.01 ― "Вычислительные машины, комплексы, системы и сети", 22.02 ― "Автоматизированные системы обработки информации и управления" / Министерство народного образования БССР, Минский радиотехнический институт, Кафедра вычислительных методов и программирования ; [С. А. Поттосина и др.]. — Ч. 2: Методы Булева дифференциального исчисления в решении прикладных задач |
|
1991 |
|
Автоматизация логического проектирования дискретных систем : сборник научных трудов / Академия наук Беларуси, Институт технической кибернетики ; научный редактор А. Д. Закревский |
|
1998 |
Перязев, Николай Алексеевич (доктор физико-математических наук) |
Слабоповторные булевы функции в бинарном базисе |
|
1995 |
Перязев, Николай Алексеевич (доктор физико-математических наук) |
Сложность представлений булевых функций формулами в немонолинейных базисах |
|
1987 |
Поляков, Александр Сергеевич (кандидат технических наук ; род. 1939) |
К задаче синтеза схем из секционированных ПЛМ / А. С. Поляков |
|
1996 |
Шпота, Сергей Дмитриевич (радиоэлектроника) |
Лабораторный практикум по курсу "Цифровые устройства" и "Устройства цифровой техники" для студентов специальности "Телекоммуникационные системы". Исследование основных логических элементов и простейших комбинационных устройств / Белорус. гос. ун-т информатики и радиоэлектроники, Каф. сетей и устройств телекоммуникаций |
|
2010 |
Іванов, Ю. Д. |
Просторове перетворення дискретних даних у базисі ДНФ булевих функцій / Іванов Ю. Д |
|
2005 |
Блайвас, Татьяна Дмитриевна |
О сложности интервального поиска на булевом кубе : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Блайвас Татьяна Дмитриевна ; [Московский государственный университет им. М.В.Ломоносова] |
|
2003 |
Грибок, Сергей Владимирович |
О реализации функций алгебры логики в некоторых классах программ : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Грибок Сергей Владимирович ; Моск. гос. ун-т им. М.В.Ломоносова |
|
2001 |
Василькова, Ирина Владимировна (кандидат технических наук) |
Логико-комбинаторное обеспечение в системах логического проектирования и распознавания : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.18 / Василькова Ирина Владимировна ; Гос. науч. учреждение "Ин-т техн. кибернетики Нац. акад. наук Беларуси" |
|
1993 |
Фридлендер, Борис Ильич |
Булева алгебра и ее применение в задачах электроники : Учеб. пособие / Под ред. С.Г.Кальнея ; Моск. гос. ин-т электрон. техники (техн. ун-т) |
|
1991 |
Пешков, Анатолий Тимофеевич (кандидат технических наук) |
Методическое пособие по курсу "Организация и функционирование ЭВМ" для студентов 1-го курса специальности "Программное обеспечение вычислительной техники и автоматизированных систем" / А. Т. Пешков, А. Г. Батюков ; Минский радиотехнический институт, Кафедра вычислительных систем. — Ч. 1 |
|
1991 |
|
Справочник по микросхемам серии К155 / Сост.Т.М.Рахимов |
|
2003 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Полиномиальная реализация частичных булевых функций и систем / А.Д.Закревский, Н.Р.Торопов ; Национальная академия наук Беларуси, Объединенный институт проблем информатики |
|
2003 |
Седун, Андрей Максимович (кандидат технических наук ; род. 1972) |
Методы синтеза устройств для вычисления частично симметрических булевых функций и арифметических устройств : Дис. на соиск. учен. степ. канд. техн. наук : 05.13.05 : Защищена 02.10.03 : Утв. 18.02.04 / Седун Андрей Максимович |
|
1999 |
Бабин, Дмитрий Николаевич (доктор физико-математических наук, математик ; род. 1954) |
Решение проблемы классификации автоматных базисов поста по разрешимости свойств полноты и А-полноты : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.09 / МГУ им. М.В.Ломоносова |
|
2002 |
Семенчук, Владимир Николаевич (доктор физико-математических наук, математик ; род. 1951) |
Курс лекций по дискретной математике / В. Н. Семенчук, В. М. Селькин ; Учреждение образования "Гомельский государственный университет им. Ф. Скорины", Кафедра высшей математики. — Ч. 1: Теория булевых функций |
|
2000 |
Марченков, Сергей Серафимович (доктор физико-математических наук ; род. 1945) |
Замкнутые классы булевых функций / С.С.Марченков |
|
2001 |
Василькова, Ирина Владимировна (кандидат технических наук) |
Логико-комбинаторное обеспечение в системах логического проектирования и распознавания : Дис. на соиск. учен. степ. канд. техн. наук : 05.13.18 : 20.11.2001 : 27.03.2002 / Василькова Ирина Владимировна ; Гос. науч. учреждение "Ин-т техн. кибернетики Нац. акад. наук Беларуси" |
|
2005 |
Ботев, Антон Алексеевич |
О свойствах корреляционно-иммунных функций с высокой нелинейностью : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Ботев Антон Алексеевич ; [Московский государственный университет им. М.В.Ломоносова] |
|
2003 |
Нетыкшо, Виктор Борисович |
Восстановление параметров дискретных устройств, основанное на переоценке вероятностей с использованием действительных пороговых соотношений : автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.11 / Нетыкшо Виктор Борисович ; [Гос. учреждение "Рос. науч.-исслед. ин-т информ. технологий и систем автоматизир. проектирования" (ГУ РосНИИ ИТ и АП)] |
|
1991 |
Сацкоў, Юрый Назаравіч (доктар фізіка-матэматычных навук ; нар. 1948) |
A review of solution stability analysis in sequencing and scheduling / Yu. N. Sotskov |
|
2006 |
Поттосин, Юрий Васильевич (кандидат физико-математических наук) |
Табличные методы декомпозиции систем полностью определенных булевых функций / Ю.В.Поттосин, Е.А.Шестаков ; Национальная академия наук, Объединенный институт проблем информатики |
|
1991 |
Прихожий, Анатолий Алексеевич (доктор технических наук ; род. 1953) |
Оптимизация логических алгоритмов / А. А. Прихожий |
|
1997 |
Назаренко, М. А. |
Алгоритм получения минимальной и кратчайшей дизъюнктивной нормальной формы булева нейрона |
|
2000 |
Кириченко, Константин Дмитриевич (кандидат физико-математических наук) |
Бесповоротные и слабоповторные булевы функции в предэлементарных базисах : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Кириченко Константин Дмитриевич ; [Иркут. гос. ун-т] |
|
2004 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Основы логического проектирования : в 3 кн. / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова ; Национальная академия наук Беларуси, Объединенный институт проблем информатики. — Кн. 2: Оптимизация в булевом пространстве |
|
1999 |
Перязева, Юлия Валерьевна (кандидат физико-математических наук) |
Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 05.13.16 / Иркут. гос. пед. ун-т |
|
2003 |
Седун, Андрей Максимович (кандидат технических наук ; род. 1972) |
Методы синтеза устройств для вычисления частично симметрических булевых функций и арифметических устройств : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.05 : 02.10.2003 / Седун Андрей Максимович ; Учреждение образования "Белорус. гос. ун-т информатики и радиоэлектроники" |
|
1991 |
Гольдберг, Евгений Исаакович (кандидат технических наук) |
Методы булевого кодирования значений аргумента предиката / Е. И. Гольдберг |
|
1991 |
Прихожий, Анатолий Алексеевич (доктор технических наук ; род. 1953) |
Синтез логических алгоритмов / А. А. Прихожий |
|
1979 |
Уткин, Анатолий Александрович (информатика) |
Анализ логических сетей и техника булевых вычислений / А. А. Уткин ; под редакцией А. Д. Закревского ; Академия наук Белорусской ССР, Институт технической кибернетики |
|
1988 |
|
Комплекс программ синтеза комбинационных схем в базисе ПЛМ и МЛВ : материалы по математическому обеспечению ЭВМ / Академия наук Белорусской ССР, Институт технической кибернетики ; [авторы-составители: А. А. Дудкин и др. ; научный редактор А. Д. Закревский] |
|
1987 |
Бибило, Петр Николаевич (доктор технических наук ; род. 1953) |
Реализация комбинационного автомата на секционированной ПЛМ |
|
1991 |
Мощенский, Андрей Владимирович (кандидат физико-математических наук ; род. 1963) |
Сложность поиска экстремумов выпуклых на упорядоченных структурах функций : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Мощенский Андрей Владимирович ; Акад. наук Бел. ССР, Ин-т математики |
|
2005 |
Забалуев, Руслан Николаевич |
О средней сложности булевых функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Забалуев Руслан Николаевич ; [Московский государственный университет им. М.В.Ломоносова] |
|
1997 |
Малюгин, Владимир Дмитриевич (доктор технических наук ; род. 1935) |
Параллельные логические вычисления посредством арифметических полиномов |
|
2000 |
Шалыто, Анатолий Абрамович |
Логическое управление. Методы аппаратной и программной реализации алгоритмов : [Учеб. пособие для студентов специальности 210100 - "Упр. и информатика в техн. системах]" / А.А.Шалыто |
|
2001 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Полиномиальная реализация частичных булевых функций и систем / А. Д. Закревский, Н. Р. Торопов ; Национальная академия наук Беларуси, Институт технической кибернетики |
|
1988 |
Бибило, Петр Николаевич (доктор технических наук ; род. 1953) |
Микропроцессорная реализация комбинационных автоматов на основе бинарных программ / П. Н. Бибило, С. И. Сергаев |
|
1988 |
Бибило, Петр Николаевич (доктор технических наук ; род. 1953) |
Экспериментальное исследование алгоритмов синтеза комбинационных схем на базе матричных БИС / П. Н. Бибило |
|
1987 |
Бибило, Петр Николаевич (доктор технических наук ; род. 1953) |
Синтез комбинационных схем методами функциональной декомпозиции / П. Н. Бибило, С. В. Енин ; под редакцией А. Д. Закревского ; Академия наук Белорусского ССР, Институт технической кибернетики |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ