Электронные ресурсы

Базы данных


Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска
Электронный каталог
Статьи из журналов: 2001-2014
Труды ОмГУ
История ОмГУ
Сводный каталог периодических изданий вузовских библиотек г.Омска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=метод силлогизмов<.>)
Общее количество найденных документов : 1
1.
621.398
З 201

    Закревский, А. Д. (д-р техн. наук).
    Логические уравнения с приложениями в автоматизированном проектировании и управлении [Текст] [Текст] / А. Д. Закревский // Автоматика и телемеханика. - 2004. - N 4. - Библиогр.: с. 183-184 ( 22 назв. ). - Часть текста на англ. яз. . - ISSN 0005-2310
УДК
621.398
ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
большие системы -- уравнения -- логические уравнения -- эксперименты -- компьютерные эксперименты -- переменные -- логические переменные -- БСЛУ -- большие системы логических уравнений -- дерево поиска -- булевые функции -- перебор уравнений -- перебор аргументов -- редукционные методы -- константы -- распространение констант -- метод силлогизмов -- редукция -- локальная редукция -- таблицы
Аннотация: Описываются новые редукционные методы решения больших систем логических уравнений. Приводится их анализ и результаты компьютерных экспериментов.


Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)