Задачи по дискретной математике (+ ответы и примеры решения)
Файл формата
zip
размером 147,61 КБ
содержит документ формата
rtf
Добавлен пользователем Александр, дата добавления неизвестна
Описание отредактировано
Решебник содержит решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции определяется является ли клауза теоремой и др.
Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
Методическое пособие. — Саров: Саровский государственный физико-технический институт (СарФТИ), 2001. — 60 с. Сборник задач и упражнений по курсу Дискретная математика. В пособии приведена теория, примеры решения задач и задачи для самостоятельного решения по разделу «Элементы теории множеств и теории графов». Элементы теории множеств. Теоретико-множественные операции....
2014 г.
Элементы алгебры высказываний.
Логические операции над высказываниями.
Равносильные формулы алгебры высказываний.
Нормальные формы.
Логические следствия.
Решение задач с помощью алгебры высказываний.
Исследование рассуждений.
Получение логических следствий из данных формул и посылок для данных логических следствий.
Необходимые и достаточные условия.
Анализ и...
Решебник содержит подробное решение задач по основным темам математической логики в т. ч. способы решения логических задач типа "Кто есть кто? " методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.
СПб.: БХВ-Петербург, 2008. — 352 с: ил. — (Учебная литература для вузов) - ISBN 978-5-9775-0232-0 Учебное пособие составлено на основании материалов лекционного курса, содержит краткую теорию, варианты заданий и примеры решения по следующим разделам дискретной математики: множества, декартовы произведения, соответствия, отношения, булевы функции, теория алгоритмов, предикаты,...
