Основы логического проектирования в 3 кн. Кн. 2

Bibliographic Details
Main Author: Закревский, Аркадий Дмитриевич 1928-2014
Other Authors: Поттосин, Юрий Васильевич, Черемисинова, Людмила Дмитриевна
Format: Book
Language:Russian
Published: Минск ОИПИ НАН Беларуси 2004
Subjects:
LEADER 03157nam a2200517 c 4500
001 koha001147766
008 241115s2004 ru a f bi 000 0 rus d
020 |a 9789856744030 
020 |a 9856744032 
020 |a 9856744016 
035 |a koha001147766 
040 |a RU-ToGU  |b rus  |c RU-ToGU 
080 |a 519.714.7 
080 |a 510.633 
100 1 |a Закревский, Аркадий Дмитриевич  |d 1928-2014 
245 1 0 |a Основы логического проектирования  |n Кн. 2  |b в 3 кн.  |c А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова ; Нац. акад. наук Беларуси, Объединенный ин-т проблем информатики 
246 1 2 |a Оптимизация в булевом пространстве 
260 |a Минск  |b ОИПИ НАН Беларуси  |c 2004 
300 |a 239, [1] с.  |b ил. 
336 |a Текст 
337 |a непосредственный 
504 |a Библиогр.: с. 233-234. Предм. указ.: с. 235-240 
653 |a булевы функции, алгоритмы минимизации 
653 |a комбинаторные методы 
653 |a дизъюнктивные нормальные формы (булевы функции) 
653 |a булевы функции, декомпозиция 
653 |a булевы функции, ортогонолизация дизъюнктивных нормальных форм 
653 |a булевы последовательности, дифференцирование 
653 |a булевы функции, дифференцирование 
653 |a Жегалкина базис 
653 |a дизъюнктивные нормальные формы (булевы функции), упрощение 
653 |a дизъюнктивные нормальные формы (булевы функции), минимизация 
653 |a дизъюнктивные нормальные формы (булевы функции), визуальный метод минимизации 
653 |a булевы функции слабо определенные, минимизация 
653 |a системы булевых функций, минимизация 
653 |a булевы функции, декомпозиция 
653 |a минимизация числа аргументов (булевы функции) 
653 |a булевы последовательности, дифференцирование 
653 |a булевы функции, дифференцирование 
653 |a Рида-Малера полиномы 
653 |a Жегалкина полиномы, алгоритмы минимизации 
700 1 |a Поттосин, Юрий Васильевич 
700 1 |a Черемисинова, Людмила Дмитриевна 
852 4 |a RU-ToGU  |n ru 
999 |c 1147766  |d 1147766 
952 |0 0  |1 0  |4 0  |6 2066279  |7 0  |a RU-ToGU  |b RU-ToGU  |c 10024  |d 2024-11-15  |g 200.00  |o 2-066279  |p 13820001070243  |r 2024-11-15  |y 1