№ | Дата |
Автор |
Заглавие |
---|
|
1999 |
Одинцов, Вадим Анатольевич |
Индуцированные порядки в булевых решетках и фактор-отношениях универсального отношения : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Рос. АН, Урал. отд-ние, Ин-т математики и механики |
|
1994 |
|
Метадычныя ўказанні па раздзелу "Функцыі алгебры логікі і к-значнай логікі курса "Дыскрэтная матэматыка" для студэнтаў спецыяльнасці 22.04 / БДУ, Фак. прыкл. матэматыкі і інфарматыкі, Каф. мат. забяспячэння САПР ; Аўт.-саст. У.А.Машчэнскі |
|
2002 |
Сидоренко, Олег Иванович |
В лабиринтах логики / О.И.Сидоренко |
|
1992 |
Гаврилов, Гарий Петрович (доктор физико-математических наук ; род. 1935) |
Задачи и упражнения по курсу дискретной математики : Учеб.пособие для студентов вузов,обучающихся по спец."Прикл.математика" |
|
2002 |
|
Импликативная алгебра выбора и непрерывная логика в прикладных задачах науки и техники = Implicative option algebra and continuous logic in applied problems of the science and technics : Тр. междунар. конф. "Континуал. алгебраич. логики, исчисления и нейроматематика в науке, технике и экономике" (14-16 мая 2002 г.) / Под общ. ред. Л. И. Волгина. — Т. 2 |
|
2005 |
Кусраев, Анатолий Георгиевич (доктор физико-математических наук) |
Введение в булевозначный анализ / А.Г.Кусраев, С.С.Кутателадзе ; Российская академия наук, Сибирское отделение, Институт математики им. С.Л.Соболева, Владикавказский научный центр, Институт прикладной математики и информатики |
|
1996 |
Шпота, Сергей Дмитриевич (радиоэлектроника) |
Лабораторный практикум по курсу "Цифровые устройства" и "Устройства цифровой техники" для студентов специальности "Телекоммуникационные системы". Исследование основных логических элементов и простейших комбинационных устройств / Белорус. гос. ун-т информатики и радиоэлектроники, Каф. сетей и устройств телекоммуникаций |
|
2010 |
Іванов, Ю. Д. |
Просторове перетворення дискретних даних у базисі ДНФ булевих функцій / Іванов Ю. Д |
|
2003 |
Грибок, Сергей Владимирович |
О реализации функций алгебры логики в некоторых классах программ : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Грибок Сергей Владимирович ; Моск. гос. ун-т им. М.В.Ломоносова |
|
1991 |
|
Булево дифференциальное исчисление в вычислительной технике : учебное пособие по курсу "Прикладная математика" для спец. 22.01 ― "Вычислительные машины, комплексы, системы и сети", 22.02 ― "Автоматизированные системы обработки информации и управления" / Министерство народного образования БССР, Минский радиотехнический институт, Кафедра вычислительных методов и программирования ; [С. А. Поттосина и др.]. — Ч. 1: Матричный аппарат Булева дифференциального исчисления |
|
1993 |
Фридлендер, Борис Ильич |
Булева алгебра и ее применение в задачах электроники : Учеб. пособие / Под ред. С.Г.Кальнея ; Моск. гос. ин-т электрон. техники (техн. ун-т) |
|
2005 |
|
Системы счисления. Представление информации. Элементы алгебры логики : первое задание по информатике для учащихся 1-го курса Республиканской заочной школы : учебное пособие / Министерство образования Республики Беларусь, Государственное учреждение образования "Академия последипломного образования" ; [автор-составитель Т.Г.Котова] |
|
1993 |
Коваленко, Николай Семенович (доктор физико-математических наук ; род. 1951) |
Векторизация базовых операций алгебры логики и теории множеств и их реализация / Н. С. Коваленко, В. М. Метельский |
|
2004 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Основы логического проектирования : в 3 кн. / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова ; Национальная академия наук Беларуси, Объединенный институт проблем информатики. — Кн. 1: Комбинаторные алгоритмы дискретной математики |
|
1975 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Логические уравнения / А. Д. Закревский |
|
2004 |
Владимирова, Юлия Сергеевна |
Компьютеризация булевой алгебры в диалоговой системе структурированного программирования : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Владимирова Юлия Сергеевна ; Московский государственный университет им. М.В.Ломоносова, Факультет вычислительной математики и кибернетики |
|
2002 |
Семенчук, Владимир Николаевич (доктор физико-математических наук, математик ; род. 1951) |
Курс лекций по дискретной математике / В. Н. Семенчук, В. М. Селькин ; Учреждение образования "Гомельский государственный университет им. Ф. Скорины", Кафедра высшей математики. — Ч. 1: Теория булевых функций |
|
1985 |
Поттосина, Светлана Анатольевна |
Методическое пособие по курсу "Основы дискретной математики" для студентов специальностей 0646, 0608 / С. А. Поттосина, В. П. Шмерко ; Минский радиотехнический институт, Кафедра "Вычислительные методы и программирование". — Ч. 2 |
|
2002 |
Лапшин, Сергей Михайлович (телекоммуникации) |
Проектирование цифровых измерительных устройств : Учеб. пособие по курсам "Цифровые устройства средств измерений", "Устройства цифровой техники", для студентов специальностей "Метрология и стандартизация", "Телекоммуникац. системы" БГУИР / С.М.Лапшин ; Учреждение образования "Белорус. гос. ун-т информатики и радиоэлектроники, Каф. сетей и устройств телекоммуникаций |
|
1995 |
Таргонский, Евгений Антонович (кандидат физико-математических наук) |
Методические указания к изучению темы "Алгебра предикатов" для студентов математических и физических факультетов / Е. А. Таргонский ; Министерство образования и науки Республики Беларусь, Витебский государственный педагогический институт |