Содержание
Задача 1
Условие задачи:
Проверьте двумя способами, будут ли эквивалентными следующие формулы.
а) составление таблиц истинности;
б) приведение формул к СКНФ или СДНФ с помощью эквивалентных преобразований
и
Задача 2
Условие задачи:
Решить логическое уравнение:
Задача 3
Условие задачи:
Приведенная ниже формула является: общезначимой, противоречием, нейтральной, не общезначимой, выполнимой?
Задача 4
Условие задачи:
Формализуйте предложения. Установите его истинность.
а) если запись числа заканчивается цифрой 0 или 5, то это число делится на 5.
б) Ломоносов великий ученый и талантливый поэт.
Задача 5
Условие задачи:
Найдите , , ,
Для графа найдите матрицу смежности, инцидентности, сильных компонентов, маршрутов длины 2 и все маршруты длины 2, исходящих из вершины 1.
Задача 6
Условие задачи:
Логическая функция l(x,y) на множестве D={a,b} с таблицей:
x y l(x,y)
A A Л
A B И
B A И
b b И
Определить истинность значения формулы
Выдержка из текста
Сильные компоненты графа: (x1,x2,x3,x4), то есть все компоненты графа являются сильными.
Маршруты длины 2:
Выходящие из точки 1:
(x1-x2-x4), (x1-x2-x3), (x1-x3-x4) , (x1-x3-x1)
Выходящие из точки 2:
(x2-x3-x1), (x2-x3-x4), (x2-x4-x2)
Выходящие из точки 3:
(x3-x1-x2), (x3-x1-x3), (x3-x4-x2)
Выходящие из точки 4:
(x4-x2-x4), (x4-x2-x3)
Список использованной литературы
1. Смыслова З.А.. Спецглавы математики.М.: ТМЦДО., 2004, 80 с.
2. Зюзьков В.М.. Математическая логика.М.: ТМЦДО., 2004, 154 с.
3. Смыслова З.А.. Дискретная математика.М.: ТМЦДО., 2005, 76 с.
4. Стенюшкина В.А.. Математическая логика. Учебное пособие: Оренбург., 2004, 106 с.
5. Петухов О.А.. Математическая логика. Учебное пособие: Питер, 2004, 103 с.
С этим материалом также изучают
Готовитесь к экзамену по матлогике? В статье вы найдете полный список задач по логике высказываний, предикатам, машинам Тьюринга и картам Карно с подробными решениями.
... Условие: Является ли приведенная формула общезначимой? Противоречивой? Нейтральной? Не общезначимой? Выполнимой? Задание № 4 Условие: Формализуйте следующие предложения. Установите их истинность. ... 2. Фомин Г.П. «Математические методы и модели в ...
... из текстаТема 2. Элементы математической логики1.Составьте таблицу истинности для И 2.Составьте таблицу истинности для ИЛИ (А ... непротиворечивые варианты.4. Трое друзей, болельщиков автогонок "Формула-1", спорили о результатах предстоящего этапа гонок. ...
Полный обзор математической логики: история, алгебра высказываний, логика предикатов, аксиоматика и ключевая роль в информатике, AI и развитии мышления.
... Марков: «Математическая логика – логика по предмету, математика по методу» [1]. Сильные компоненты графа: (x1,x2,x3,x4), то есть все компоненты графа являются сильными. Маршруты длины 2: Выходящие из точки 1: (x1 ...
... логики в решении математических задач Рассмотреть особенности конструктивного мышления Рассмотреть преимущества решения задач разными способами, и практическую значимость конструктивного мышления Сильные компоненты графа: ... x4-x2) Выходящие из точки 4: ...
... математическая логика, унаследовавшая задачи философской логики, но использовавшая для их решения математический аппарат. Как сформулировал А. А. Марков: «Математическая логика – логика ... формулы. Задача 5. По заданной матрице расстояний графа ...
... Идеи по представлению соответствующих формул можно найти в книге Э. Мендельсона «Введение в математическую логику». Для групп 2538, 2539 ... соответ¬ствовать формату входных и выходных файлов для задачи 4. 7 Выразите в формальной арифметике отношение и ...
... Появилась новая наука – математическая логика, унаследовавшая задачи философской логики, но использовавшая для их решения математический аппарат. Как сформулировал А. А. Марков: «Математическая логика – логика по предмету, математика по ...
