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

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

Bibliographic Details
Main Author:	Закревский, Аркадий Дмитриевич 1928-2014
Format:	Book
Language:	Russian
Published:	Минск ОИРИ НАН Беларуси 2009
Subjects:	логические уравнения большие системы логических уравнений минимизация дерева поиска метод силлогизмов метод распространения констант метод локальной редукции эффект коллапса системы линейных логических уравнений параллелизм рандомизированный системы линейных логических уравнений переопределенных
Online Access:	Перейти в каталог НБ ТГУ

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Решение систем уравнений учебное пособие
Published: (2006)

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

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

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

Einstieg in die mathematische Logik
by: Boehme, Gert
Published: (1981)

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

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

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

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

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

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

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

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

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

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

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

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

Алгоритмы синтеза дискретных автоматов
by: Закревский, Аркадий Дмитриевич 1928-2014
Published: (1971)

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

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

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

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

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

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

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

Применение сингулярного разложения для сжатия изображений и решения плохообусловленных систем линейных уравнений
by: Афанасьева, Анна Александровна