Булеві кільця та алгебри
Документи:
- Автоматизация и оптимизация синтеза комбинационных автоматов [Текст] / МАТИ-РГТУ им.К.Э.Циолковского // Мехатроника, автоматизация, управление. — 2008. — С. 54.
- Алгебра логики и интегральные преобразования в краевых задачах [Текст] / АН УССР. Ин-т проблем машиностроения. — К. : Наукова думка, 1976. — 287с.
- Булева алгебра и методы аппроксимации в краевых задачах электродинамики [Текст] / под ред. В. Ф. Кравченко. — М. : Физматлит, 2004. — 308 с.
- Булева структура и ее модели [Текст] / И.М. Яглом. — М. : Сов. радио, 1980. — 193с.
- Булевы алгебры [Текст] / Д.А. Владимиров. — М. : Наука, 1969. — 318с.
- Булевы алгебры [Текст] : Пер. с англ. / Р. Сикорский. — М. : Мир, 1969. — 375с.
- Булевые модели и методы планирования параллельных абстрактных программ [Текст] / Институт динамики систем и теории управления СО РАН, Иркутск // Автоматика и телемеханика : науково-технічний журнал / Рос. акад. наук. — С. 166-175.
- Когомологии топологических групп и алгебр Ли [Текст] : Пер. с фр. / Под ред А.А. Кириллова. — М. : Мир, 1984. — 262с.
- Комбинаторный подход к синтезу специальных классов булевых функций [Текст] / К.Г. Самофалов, А.П. Марковский // Электронное моделирование. — 2004. — С. 27-40.
- Методы алгебры логики в математической физике [Текст] / В.Л. Рвачев. — Киев : Наукова думка, 1974. — 260с. + Черт.
- Минимизация систем булевых функций, представляющих задание на синтез самопроверяемых дискретных автоматов [Текст] / Томский государственный университет, г.Томск // Автометрия : научно-технический журнал / РАН, Сиб. отд-ние; Ин-т автоматики и телеметрии. — С. 100-111.
- Новый подход к декомпозиции булевых функций. 4. Неразделительная декомпозиция: метод p,g-разбиения [Текст] / Жешивский университет, Польша // Кибернетика и системный анализ. — 2009. — №3. — С. 15-41.
- Оценочные структуры на булевых алгебрах [Текст] / Г.И. Брызгалин // Справочник. Инженерный журнал. — 2010. — С. 34-41.
- Реализация операций в конечных полях на одномерном каскаде конструктивных модулей [Текст] / В. Тарасенко // Системні дослідження та інформаційні технології. — 2006. — №2. — С.7-27.
- Решение систем линейных уравнений с булевыми переменными [Текст] / А.Е. Литвиненко // Кибернетика и системный анализ. — 2006. — №5. — С. 42-50.
|
