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

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

Библиографическая информация
Главный автор:	Закревский, Аркадий Дмитриевич 1928-2014
Формат:	Книга
Язык:	Russian
Публикация:	Минск ОИРИ НАН Беларуси 2009
Предметы:	логические уравнения большие системы логических уравнений минимизация дерева поиска метод силлогизмов метод распространения констант метод локальной редукции эффект коллапса системы линейных логических уравнений параллелизм рандомизированный системы линейных логических уравнений переопределенных
Online-ссылка:	Перейти в каталог НБ ТГУ

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

Разработка и исследование параллельных комбинаторных алгоритмов
по: Тимошевская, Наталия Евгеньевна

The C++ classes for a system of logic equations
по: Kirienko, N. A.

Алгоритмический язык Ляпас и автоматизация синтеза дискретных автоматов
по: Закревский, Аркадий Дмитриевич 1928-2014
Публикация: (1966)

Системы линейных уравнений учебно-методическое пособие
Публикация: (2002)

Обеспечение работоспособности систем с произвольным доступом и самопроверяемости логических схем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
по: Седов, Юрий Владимирович
Публикация: (2004)

Метод сопряженных градиентов для решения систем линейных алгебраических уравнений
по: Грудович, Любовь Евгеньевна

Решение логических и игровых задач (логико-психологические этюды)
по: Шапиро, Самуил Иосифович
Публикация: (1984)

Сравнение эффективности высокоскоростных методов решения разностных эллиптических СЛАУ
по: Фомин, Александр Аркадьевич

Определитель Еремина в линейной и нелинейной алгебре линейное и нелинейное программирование : новый метод
по: Еремин, Михаил Андреевич
Публикация: (2011)

Линейная алгебра: алгоритмический подход учебно-методическое пособие по курсу "Линейная алгебра"
по: Паршина, Нина Андреевна
Публикация: (2003)

Решение систем линейных алгебраических уравнений непрерывными дробями
по: Шмойлов, Владимир Ильич
Публикация: (2017)

Программирование шахмат и других логических игр
по: Корнилов, Евгений Николаевич
Публикация: (2005)

Уровни логического процесса и основные направления их исследования
по: Борисов, Вадим Николаевич
Публикация: (1967)

Системы уравнений пособие для школьников, абитуриентов и учителей
по: Шахмейстер, Александр Хаймович
Публикация: (2008)

Решение систем уравнений учебное пособие
Публикация: (2006)

Сравнение эффективности решения разряженных СЛАУ на различных GPGPU и CPU, возникающих при решении нелинейных краевых задач упругопластичности методом конечных элементов
по: Янц, Антон Юрьевич

Полинейный рекуррентный метод решения СЛАУ с пятидиагональной матрицей
по: Фомин, А. А.

Об одном способе ускорения полинейного рекуррентного метода в пространствах Крылова
по: Фомина, Любовь Николаевна

Einstieg in die mathematische Logik
по: Boehme, Gert
Публикация: (1981)

О повышении защищенности логических схем от внедрения вредоносных подсхем
по: Провкин, Виктор Алексеевич

Импульсные устройства на интегральных микросхемах учебное. пособие
по: Турченков, Леонид Петрович
Публикация: (1982)

Численные методы [учебное пособие для студентов высших учебных заведений]
по: Алибеков, Игорь Юсупович
Публикация: (2008)

Поиск ложных путей в логических схемах из двухвходовых вентилей с использованием операций над ROBDD-графами
по: Матросова, Анжела Юрьевна

Численное решение систем линейных алгебраических уравнений
по: Форсайт, Дж
Публикация: (1969)

Построение адаптивных сеток в уравнениях эллиптического типа
по: Шильд, М. В.

Подходы к решению логических задач на уроках математики и информатики
по: Галанова, Наталия Юрьевна

Экспериментальное исследование метода выделения независимых фрагментов в логических схемах
по: Булгакова, С. Ю.

Численные методы линейная алгебра и нелинейные уравнения : [учебное пособие для студентов математических и инженерных специальностей вузов]
по: Вержбицкий, Валентин Михайлович
Публикация: (2005)

Численные методы вычисление интегралов, нелинейные уравнения, вычисление собственных чисел и собственных векторов матриц, системы линейных алгебраических уравнений : учебное пособие
по: Грекова, Татьяна Ивановна математик
Публикация: (2009)

Алгоритмы синтеза дискретных автоматов
по: Закревский, Аркадий Дмитриевич 1928-2014
Публикация: (1971)

Способ решения недоопределенных систем линейных уравнений над GF(2) с искаженными правыми частями и ограничением на малый вес решения
по: Руменко, Никита Юрьевич

Скелетные разложения прямоугольных матриц и их применение в структурной регуляризации плохо обусловленных систем линейных алгебраических уравнений
по: Карелин, Алексей Евгеньевич

Алгоритмы численных методов методическое пособие
по: Рено, Наталья Николаевна
Публикация: (2007)

Введение в алгоритмы параллельных вычислений
по: Молчанов, Игорь Николаевич
Публикация: (1990)

Задачи по проектированию логических схем с использованием языка VHDL [учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Электронные вычислительные средства"]
по: Бибило, Петр Николаевич
Публикация: (2018)

Алгоритмы генерации и проверки решения неопределенной системы линейных уравнений в рамках интерактивного обучающего модуля "Решение систем линейных уравнений"
по: Васинев, Александр Владиславович

Методические указания к решению задач и практические задания по линейной алгебре и аналитической геометрии
Публикация: (1984)

Из истории возникновения теории линейных преобразований в гильбертовом пространстве последовательностей
по: Круликовский, Николай Николаевич 1918-

Итерационные методы для разреженных линейных систем в 2 т.
по: Саад, Юсеф
Публикация: (2013)

К вопросу о плохо обусловленных системах линейных уравнений в практике улучшения орбит
по: Быкова, Лариса Евгеньевна