Учебное пособие — М.: Физматлит, 2005. — 416 с. — ISBN 5-9221-0477-2. В пособии включены задачи и упражнения по конечнозначным логикам (в т.ч. и по алгебре логики), по теории алгоритмов, теории графов и сетей, теории кодирования, комбинаторике, минимизации булевых функций и синтезу схем и формул, реализующих булевы функции. Имеются задачи, предназначенные для первоначальной...
Решебник содержит решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции определяется является ли клауза теоремой и др.
СПб.: БХВ-Петербург, 2008. — 352 с: ил. — (Учебная литература для вузов) - ISBN 978-5-9775-0232-0 Учебное пособие составлено на основании материалов лекционного курса, содержит краткую теорию, варианты заданий и примеры решения по следующим разделам дискретной математики: множества, декартовы произведения, соответствия, отношения, булевы функции, теория алгоритмов, предикаты,...
