|
Книга ID: 2078738
Полиномиальная реализация частичных булевых функций и систем А. Д. Закревский, Н. Р. Торопов; Нац. акад. наук Беларуси, Объед. ин-т проблем информатики
Тематика, ключевые слова:
Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов -- Применение ЭВМ -- Пособие для специалистов. булевы функции.
Сведения об издании:
М. Едиториал УРСС 2003 199,[1] с. 22 см.
Язык:
rus
|
|