Учебная работа № 6079. «Контрольная Математическая логика 2 задачи

Учебная работа № 6079. «Контрольная Математическая логика 2 задачи

Количество страниц учебной работы: 7
Содержание:
Задание 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.

Стоимость данной учебной работы: 390 руб.Учебная работа № 6079.  "Контрольная Математическая логика 2 задачи

Укажите Ваш e-mail (обязательно)! ПРОВЕРЯЙТЕ пожалуйста правильность написания своего адреса!

Укажите № работы и вариант


Соглашение * (обязательно) Федеральный закон ФЗ-152 от 07.02.2017 N 13-ФЗ
Я ознакомился с Пользовательским соглашением и даю согласие на обработку своих персональных данных.


Введите символы с изображения:

captcha

Выдержка из похожей работы

07

Оценка: работа не
зачтена
Комментарий«…………………………………………………………………………………………………,
Задача
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,
Решение

Добавить комментарий

Ваш e-mail не будет опубликован.