Полиномиальные алгоритмы решения переборных задач

Полиномиальные алгоритмы решения переборных задач

Bibliographic Details
Main Author:	Стрыгин, Владимир Захарович
Format:	Book
Language:	Russian
Published:	Воскресенск Лира 2002
Subjects:	матричная логика. булевы функции. интеллектуальные системы. переборные задачи. Шеффера функции. базы данных. базы знаний. исчисление предикатов. теория минимизации. математическая логика. минимизация булевых функций. тавтология. булевы формулы.
Online Access:	Перейти в каталог НБ ТГУ

Similar Items

Основы логического проектирования в 3 кн.
by: Закревский, Аркадий Дмитриевич 1928-2014
Published: (2004)

Булевы функции учебное пособие для студентов вузов, обучающихся по специальности ВПО 010501 "Прикладная математика и информатика"
by: Быкова, Светлана Васильевна
Published: (2010)

Математическая логика. Дискретные функции. Теория алгоритмов [учебное пособие для вузов по направлению подготовки (специальности) 090301 - "Компьютерная безопасность", 090303 - "Информационная безопасность автоматизированных систем"]
by: Глухов, Михаил Михайлович доктор физ.-мат. наук
Published: (2012)

Минимизация частично определенных булевых функций, представленных BDD-графами
by: Останин, Сергей Александрович

Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 050201 "Математика"]
by: Игошин, Владимир Иванович
Published: (2008)

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

Избранные вопросы теории булевых функций
by: Винокуров, Сергей Федорович, et al.
Published: (2001)

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [учебное пособие по специальностям в области 090100 "Информационная безопасность"]
Published: (2008)

Булевы функции учебно-методический комплекс
by: Быкова, Светлана Васильевна
Published: (2006)

О генерической NP-полноте проблемы выполнимости булевых формул
by: Рыбалов, Александр Николаевич

Дискретная математика учебно-методическое пособие по дискретной математике
Published: (2003)

Булевы функции учебно-методическое пособие
Published: (2008)

Булевы функции учебное пособие
by: Быкова, Светлана Васильевна
Published: (2008)

Основы теории булевых функций
by: Перязев, Николай Алексеевич
Published: (1999)

Компьютерная помощь преподавателю дискретной математики в поиске булевых функций, интересных для минимизации
by: Быкова, Светлана Васильевна

Минимизация ДНФ учебно-методическое пособие
Published: (2013)

Математическая логика и теория алгоритмов для программистов учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
by: Гринченков, Дмитрий Валерьевич
Published: (2010)

О генерической NP-полноте проблемы выполнимости булевых схем
by: Рыбалов, Александр Николаевич

Математическая логика и теория алгоритмов для программистов [учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"]
by: Гринченков, Дмитрий Валерьевич
Published: (2017)

Практические алгоритмы минимизации булевых функций в классе ДНФ диссертация на соискание ученой степени кандидата физико-математических наук
by: Новоселов, В. Г.
Published: (1967)

Boolean functions and computation models
by: Clote, Peter
Published: (2002)

Основы теории булевых функций [учебное пособие для студентов вузов, обучающихся по направлениям ВПО 010400 "Прикладная математика и информатика" и 010300 "Фундаментальная информатика и информационные технологии"]
by: Марченков, Сергей Серафимович
Published: (2014)

Алгоритм поиска запретов булевых функций
by: Рябоконь, Денис Владимирович

Булевы функции Учебно-методическое пособие
Published: (2002)

О трех эвристиках исключения неоднозначности при доопределении булевых функций
by: Громов, Максим Леонидович

Логические основы проектирования дискретных устройств
by: Закревский, Аркадий Дмитриевич 1928-2014
Published: (2007)

Булевы функции
by: Марченков, Сергей Серафимович
Published: (2002)

Сборник задач по дискретной математике (для практическох занятий в группах) [учебное пособие для студентов вузов по направлению подготовки бакалавров 010400.62 "Прикладная математика и информатика"]
by: Шевелев, Юрий Павлович 1940-
Published: (2013)

Минимизация систем булевых функций и распознавание образов диссертация на соискание ученой степени кандидата физико-математических наук
by: Торопов, Николай Романович
Published: (1969)

Дискретная математика электронное учебное пособие
by: Прокопенко, Светлана Анатольевна
Published: (2006)

Свойства классов булевых функций, построенных из нескольких линейных рекуррент над кольцом вычетов Z2n
by: Бугров, Алексей Дмитриевич

Применение модели расширенного автомата для обучения алгоритму поиска фиктивных переменных булевой функции
by: Тишкова, Валерия Ивановна

О степени ограничений функций q-значной логики на линейные многообразия
by: Рябов, Владимир Геннадьевич

Свойства координатных функций одного класса подстановок на Fn2
by: Карпова, Любовь Александровна

Функциональные уравнения дискретной математики
by: Марченков, Сергей Серафимович
Published: (2013)

Дискретная математика учебное пособие
by: Матросова, Анжела Юрьевна
Published: (2007)

Математическая логика и теория алгоритмов [учебное пособие для вузов по специальностям "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации"]
by: Зюзьков, Валентин Михайлович
Published: (2007)

Математическая логика и теория алгоритмов [учебное пособие для вузов по специальности "Математика"]
by: Игошин, Владимир Иванович
Published: (2010)

Математическая логика и теория алгоритмов [учебное пособие по специальности 032100 "Математика"]
by: Игошин, Владимир Иванович
Published: (2004)

Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику" [учебное пособие для студентов и аспирантов]
by: Лупанов, Олег Борисович
Published: (2007)