№ | Дата |
Автор |
Заглавие |
---|
|
1999 |
Одинцов, Вадим Анатольевич |
Индуцированные порядки в булевых решетках и фактор-отношениях универсального отношения : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Рос. АН, Урал. отд-ние, Ин-т математики и механики |
|
2008 |
Дунаев, Вадим Вячеславович (кандидат технических наук) |
Занимательная математика. Множества и отношения / Вадим Дунаев |
|
1994 |
|
Метадычныя ўказанні па раздзелу "Функцыі алгебры логікі і к-значнай логікі курса "Дыскрэтная матэматыка" для студэнтаў спецыяльнасці 22.04 / БДУ, Фак. прыкл. матэматыкі і інфарматыкі, Каф. мат. забяспячэння САПР ; Аўт.-саст. У.А.Машчэнскі |
|
2005 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |
|
2002 |
Сидоренко, Олег Иванович |
В лабиринтах логики / О.И.Сидоренко |
|
2001 |
|
Элемент оптический логический ЭОЛ : Рекламный проспект |
|
2011 |
Иванюкович, Владимир Александрович (кандидат физико-математических наук) |
Основы дискретной математики : учебно-методическое пособие для студентов специальности 1-40 01 02 Информационные системы и технологии / В. А. Иванюкович ; Министерство образования Республики Беларусь, Учреждение образования "Международный государственный экологический университет им. А. Д. Сахарова", Факультет мониторинга окружающей среды, Кафедра экологических информационных систем |
|
2010 |
Лобанов, Владимир Иванович (кандидат технических наук ; род. 1940) |
Русская логика в информатике : букварь математической логики / Владимир Лобанов |
|
2012 |
Гуров, Валерий Валентинович (кандидат технических наук ; род. 1954) |
Основы теории и организации ЭВМ : учебное пособие / В. В. Гуров, В. О. Чуканов |
|
2015 |
Яновская, Софья Александровна (доктор физико-математических наук ; 1896—1966) |
Лекции по алгебре логики / С. А. Яновская ; под редакцией и с комментариями составителей Б. В. Бирюкова и З. А. Кузичевой |
|
2016 |
Матвеенко, Владимир Владимирович (кандидат физико-математических наук ; род. 1966) |
Дискретная математика : учебно-методическое пособие для специальностей 1-39 01 01 "Радиотехника (по направлениям)", 1-39 01 03 "Радиоинформатика", 1-39 03 03 "Электронные и информационно-управляющие системы физических установок" / В. В. Матвеенко, Т. М. Кривоносова ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Факультет информационных технологий и управления, Кафедра вычислительных методов и программирования |
|
2018 |
Шевелев, Юрий Павлович (кандидат технических наук) |
Прикладные вопросы дискретной математики : учебное пособие / Ю. П. Шевелев |
|
2019 |
Сажнев, Александр Михайлович (кандидат технических наук) |
Микропроцессорные системы: цифровые устройства и микропроцессоры : учебное пособие для СПО : учебное пособие для студентов образовательных учреждений среднего профессионального образования / А. М. Сажнев |
|
2020 |
Маннинг, Кристофер Д. (информатика ; лингвистика) |
Введение в информационный поиск : [перевод с английского] / Кристофер Д. Маннинг, Прабхакар Рагхаван, Хайнрих Шютце |
|
2022 |
Кулясов, Павел Сергеевич (кандидат технических наук) |
Цифровая схемотехника : учебное пособие для бакалавров по направлению 09.03.01 "Информатика и вычислительная техника" / П. С. Кулясов, Р. О. Баринов ; Министерство науки и высшего образования Российской Федерации, Федеральное государственное бюджетное образовательное учреждение высшего образования "Нижегородский государственный технический университет им. Р. Е. Алексеева" |
|
2000 |
Никитин, Андрей Анатольевич |
О реализации функций алгебры логики автоматными конвейерными схемами : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Никитин Андрей Анатольевич ; Моск. гос. ун-т им. М.В.Ломоносова, Фак. вычисл. математики и кибернетики |
|
2002 |
Ганиев, Иномжон Гуломджанович |
Измеримые расслоения решеток и некоммутативных Lp-пространств и их приложения : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.01 / Ганиев Иномжон Гуломджанович ; Нац. ун-т Узбекистана им. М.Улугбека |
|
2006 |
Оревков, Владимир Павлович (род. 1940) |
Дискретная математика для гуманитариев : учебное пособие / В. П. Оревков, О. А. Оревкова ; С.-Петербургский государственный университет |
|
1992 |
Гаврилов, Гарий Петрович (доктор физико-математических наук ; род. 1935) |
Задачи и упражнения по курсу дискретной математики : Учеб.пособие для студентов вузов,обучающихся по спец."Прикл.математика" |
|
2002 |
|
Импликативная алгебра выбора и непрерывная логика в прикладных задачах науки и техники = Implicative option algebra and continuous logic in applied problems of the science and technics : Тр. междунар. конф. "Континуал. алгебраич. логики, исчисления и нейроматематика в науке, технике и экономике" (14-16 мая 2002 г.) / Под общ. ред. Л. И. Волгина. — Т. 2 |
|
2005 |
Кусраев, Анатолий Георгиевич (доктор физико-математических наук) |
Введение в булевозначный анализ / А.Г.Кусраев, С.С.Кутателадзе ; Российская академия наук, Сибирское отделение, Институт математики им. С.Л.Соболева, Владикавказский научный центр, Институт прикладной математики и информатики |
|
2006 |
Кравченко, Виктор Филиппович (доктор физико-математических ; род. 1939) |
Алгебра логики, атомарные функции и вейвлеты в физических приложениях : учебное пособие для высших учебных заведений по направлению "Прикладная математика" / В. Ф. Кравченко, В. Л. Рвачев |
|
1996 |
Шпота, Сергей Дмитриевич (радиоэлектроника) |
Лабораторный практикум по курсу "Цифровые устройства" и "Устройства цифровой техники" для студентов специальности "Телекоммуникационные системы". Исследование основных логических элементов и простейших комбинационных устройств / Белорус. гос. ун-т информатики и радиоэлектроники, Каф. сетей и устройств телекоммуникаций |
|
2009 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Решение больших систем логических уравнений / А. Д. Закревский ; Объединенный институт проблем информатики Национальной академии наук Беларуси |
|
2006 |
Белоусов, Алексей Иванович (кандидат физико-математических наук) |
Дискретная математика : учеб. для студентов втузов / А.И. Белоусов, С.Б. Ткачев ; под ред. В.С. Зарубина, А.П. Крищенко |
|
2000 |
Chajda, Ivan |
A basic course on general algebra |
|
2012 |
Мощенский, Владимир Андреевич (кандидат физико-математических наук ; род. 1938) |
Подсчет числа нулевых наборов и проблема выполнимости / В. А. Мощенский |
|
2013 |
Соколов, Андрей Павлович |
О сложности перестройки формальных нейронов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Соколов Андрей Павлович ; [Московский государственный университет им. М. В. Ломоносова] |
|
2014 |
Глотова, Марина Юрьевна (кандидат физико-математических наук) |
Математическая обработка информации : учебник и практикум для бакалавров : для студентов высших учебных заведений, обучающихся по педагогическим и гуманитарным направлениям и cпециальностям / М. Ю. Глотова, Е. А. Самохвалова ; Московский педагогический государственный университет |
|
2020 |
Соколов, Артем Викторович (кандидат технических наук, защита информации ; род. 1990) |
Криптографические конструкции на основе функций многозначной логики : монография / А. В. Соколов, О. Н. Жданов |
|
2003 |
Грибок, Сергей Владимирович |
О реализации функций алгебры логики в некоторых классах программ : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / Грибок Сергей Владимирович ; Моск. гос. ун-т им. М.В.Ломоносова |
|
2001 |
Калинушкина, Марина Юрьевна |
Методы преобразования и передачи информации в системах автоматизации и управления на основе решения логических уравнений и построения систем многозначной алгебры логики : автореферат диссертации на соискание ученой степени кандидата технический наук : специальность 05.13.06 Автоматизация и управление технологическими процессами и производствами (промышленность) / Калинушкина Марина Юрьевна ; [Северо-Западный государственный заочный технический университет] |
|
1991 |
|
Булево дифференциальное исчисление в вычислительной технике : учебное пособие по курсу "Прикладная математика" для спец. 22.01 ― "Вычислительные машины, комплексы, системы и сети", 22.02 ― "Автоматизированные системы обработки информации и управления" / Министерство народного образования БССР, Минский радиотехнический институт, Кафедра вычислительных методов и программирования ; [С. А. Поттосина и др.]. — Ч. 1: Матричный аппарат Булева дифференциального исчисления |
|
1993 |
Фридлендер, Борис Ильич |
Булева алгебра и ее применение в задачах электроники : Учеб. пособие / Под ред. С.Г.Кальнея ; Моск. гос. ин-т электрон. техники (техн. ун-т) |
|
2005 |
|
Системы счисления. Представление информации. Элементы алгебры логики : первое задание по информатике для учащихся 1-го курса Республиканской заочной школы : учебное пособие / Министерство образования Республики Беларусь, Государственное учреждение образования "Академия последипломного образования" ; [автор-составитель Т.Г.Котова] |
|
1993 |
Коваленко, Николай Семенович (доктор физико-математических наук ; род. 1951) |
Векторизация базовых операций алгебры логики и теории множеств и их реализация / Н. С. Коваленко, В. М. Метельский |
|
2004 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Основы логического проектирования : в 3 кн. / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова ; Национальная академия наук Беларуси, Объединенный институт проблем информатики. — Кн. 1: Комбинаторные алгоритмы дискретной математики |
|
2006 |
Наголкин, Андриан Николаевич |
Алгебра логики в золотом сечении : еще один шаг в область нечетких логик и компьютерного интеллекта / А. Н. Наголкин |
|
2008 |
Нарышкин, Александр Кириллович (кандидат технических наук ; род. 1935) |
Цифровые устройства и микропроцессоры : учебное пособие для радиотехнических специальностей / А. К. Нарышкин |
|
1975 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Логические уравнения / А. Д. Закревский |
|
1990 |
Алексанян, Ара Ананикович |
Дизъюнктивные нормальные формы над линейными функциями : (Теория и приложения) / Ред. Журавлев Ю.А.; Ереванский гос. ун-т |
|
1992 |
Волгин, Леонид Иванович (доктор технических наук ; 1932—2008) |
Свойства и структуры функции осреднения = The properties and structures of average functions / АН Эстонии,Спец.КБ вычисл.техники Ин-та кибернетики |
|
1968 |
|
Digital computer basics [for] bureau of naval personnel |
|
2006 |
Тюленев-Лисовик, Леонид Петрович (род. 1948) |
Трансдьюсеры, I / Л. П. Лисовик |
|
2011 |
Соколов, Андрей Павлович |
О сложности обучения формальных нейронов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Соколов Андрей Павлович ; Московский государственный университет им. М. В. Ломоносова |
|
2012 |
Лобанов, Владимир Иванович (кандидат технических наук ; род. 1940) |
Конспект по русской вероятностной логике / В. И. Лобанов |
|
2015 |
Бунина, Елена Игоревна (доктор физико-математических наук ; род. 1976) |
Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр : [монография] / Е. И. Бунина, А. В. Михалев, А. Г. Пинус |
|
2014 |
Гринченков, Дмитрий Валерьевич (кандидат технических наук) |
Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий |
|
2018 |
Глотова, Марина Юрьевна (кандидат физико-математических наук) |
Математическая обработка информации : учебник и практикум для академического бакалавриата : для студентов высших учебных заведений, обучающихся по гуманитарным направлениям / М. Ю. Глотова, Е. А. Самохвалова ; Московский педагогический государственный университет |
|
2018 |
Кравченко, Виктор Филиппович (доктор физико-математических ; род. 1939) |
Цифровая обработка сигналов атомарными функциями и вейвлетами / В. Ф. Кравченко, Д. В. Чуриков ; под редакцией В. Ф. Кравченко |