Пропуск в контексте
  • Язык
    • English
    • Русский

Расширенный поиск
  • Решение больших систем логичес...
  • Цитировать
  • Печать
  • Запись для экспорта
    • Экспорт в RefWorks
    • Экспорт в EndNoteWeb
    • Экспорт в EndNote
  • Permanent link
Решение больших систем логических уравнений

Решение больших систем логических уравнений

Библиографическая информация
Главный автор: Закревский, Аркадий Дмитриевич 1928-2014
Формат: Книга
Язык:Russian
Публикация: Минск ОИРИ НАН Беларуси 2009
Предметы:
логические уравнения
большие системы логических уравнений
минимизация дерева поиска
метод силлогизмов
метод распространения констант
метод локальной редукции
эффект коллапса
системы линейных логических уравнений
параллелизм рандомизированный
системы линейных логических уравнений переопределенных
Online-ссылка:Перейти в каталог НБ ТГУ
  • Фонды
  • Описание
  • Похожие документы
  • Marc-запись
Описание
Объем:95, [1] с. ил., табл.
Библиография:Библиогр.: с. 90-96
ISBN:9789856744504

Похожие документы

  • Разработка и исследование параллельных комбинаторных алгоритмов
    по: Тимошевская, Наталия Евгеньевна
  • The C++ classes for a system of logic equations
    по: Kirienko, N. A.
  • Алгоритмический язык Ляпас и автоматизация синтеза дискретных автоматов
    по: Закревский, Аркадий Дмитриевич 1928-2014
    Публикация: (1966)
  • Системы линейных уравнений учебно-методическое пособие
    Публикация: (2002)
  • Обеспечение работоспособности систем с произвольным доступом и самопроверяемости логических схем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
    по: Седов, Юрий Владимирович
    Публикация: (2004)
|   Расширенный поиск   |   Советы для поиска   |

Большой университет Томска
https://university-tomsk.ru/
Загрузка...