Учебная работа № 6079. «Контрольная Математическая логика 2 задачи
Учебная работа № 6079. «Контрольная Математическая логика 2 задачи
Содержание:
Задание 1.
Заданную систему булевых функций исследовать на полноту с помощью теоремы Поста.
(x│z)+y, x≡ y ∙ ┐z.
Задание 2.
Для данных формул построить таблицу истинностных значений и определить, является ли формула
а) общезначимой б) выполнимой
в) опровержимой г) невыполнимой
(┐x→┐y)→(( ┐y→x)→y),
┐((x→y)→((y→z)→(x→z))),
(x V z)→( ┐(y→z)→((xVy)→z)).
Список использованной литературы:
1. Клини С.К. Математическая логика. М.: Мир, 1973.
2. Куратовский К, Мостовский А. Теория множеств. М.: Мир, 1970.
3. Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1965.
4. Мендельсон Э. Введение в математическую логику. М.: Наука, 1971.
5. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математичес-
кой логике и теории алгоритмов. М.: Наука, 1975.
6. Барвайс Дж. (ред.) Справочная книга по математической логике в 4-х т.
М.:Наука,1982-1983.
Выдержка из похожей работы
Оценка: работа не
зачтена
Комментарий«…………………………………………………………………………………………………,
Задача
3, Пусть
и – бинарные
отношения на некотором множестве,
Докажите, что
()–1
= –1
–1,
Неправильное
решение,
Вы пишите, что
<х,у>()–1
<х,у>,
По свойству
обратного отношения: <х,у>()–1
Вы пишите, что
<х,у><х,у>и <х,у>,
По свойству
объединения: <х,у><х,у>или <х,у>…
…………………………………………………………………………………………………,
Задача
10,Расположите следующие 4
функции в порядке увеличения скорости
роста (каждая функция естьO(следующая)),
не исключено, что некоторые функции
имеют одинаковую скорость:
f1(n)
=
,
f2(n)
=
,
f3(n)
= 2n,
f4(n)
= n2,
Неправильное и
путанное решение,
Во-первых, ваши
утверждения
1) 2n
= О (n2)
2) О
()
и О (2n)
имеют равные скорости роста сложности
Неправильны (можно
посмотреть графики функций),
Во-вторых, из
остальных ваших записях получается,
что в порядке скорости роста
последовательность функций должна быть
такая:
n2,
,,
2n
но одна из этих
функций стоит не на своем месте (достаточно
правильно установить какая из этих
функций растет медленнее других),
Исправьте решения
задач 3 и 10, Остальные задачи зачтены»,
Задача
3, Пусть
и
– бинарные отношения на некотором
множестве, Докажите, что
()–1
= –1
–1,
Решение
