Здесь можно найти учебные материалы, которые помогут вам в написании курсовых работ, дипломов, контрольных работ и рефератов. Так же вы мажете самостоятельно повысить уникальность своей работы для прохождения проверки на плагиат всего за несколько минут.

ЛИЧНЫЙ КАБИНЕТ 

 

Здравствуйте гость!

 

Логин:

Пароль:

 

Запомнить

 

 

Забыли пароль? Регистрация

Повышение оригинальности

Предлагаем нашим посетителям воспользоваться бесплатным программным обеспечением «StudentHelp», которое позволит вам всего за несколько минут, выполнить повышение оригинальности любого файла в формате MS Word. После такого повышения оригинальности, ваша работа легко пройдете проверку в системах антиплагиат вуз, antiplagiat.ru, РУКОНТЕКСТ, etxt.ru. Программа «StudentHelp» работает по уникальной технологии так, что на внешний вид, файл с повышенной оригинальностью не отличается от исходного.

Результат поиска


Наименование:


Контрольная Решение 7 задач по логике. Вычеркните все лишнее. Сформулируйте и запишите полное определение выделенного понятия.

Информация:

Тип работы: Контрольная. Добавлен: 03.07.2018. Год: 2018. Страниц: 18. Уникальность по antiplagiat.ru: < 30%

Описание (план):



Содержание
Задача 1
Задача 2
Задача 3
Задача 4
Задача 5
Задача 6
Задача 7
Приложения


1.Вычеркните все лишнее. Сформулируйте и запишите полное определение выделенного понятия.
Формула исчисления высказываний называется выполнимой, если она принимает значение «истина»
а) на любых наборах значений входящих в неё пропозициональных переменных;
б) хотя бы на одном наборе значений, входящих в неё пропозициональных переменных.

Ответ:
Классическое определение:
Формулу A называют выполнимой формулой, если она принимает значение «истина» хотя бы на одном наборе значений входящих в нее переменных и не является тождественно истинной.

По заданию:
Формула исчисления высказываний называется выполнимой, если она принимает значение «истина» (а) на любых наборах значений входящих в неё пропозициональных переменных; (б) хотя бы на одном наборе значений, входящих в неё пропозициональных переменных + и не является тождественной..








2. Определить являются ли формулы совместимыми по истинности, по ложности и следуют ли они одна за другой?
А=(x ??y & z)?z ?
B=z ? (z ? x ? ).
Решение
Hассмотрим таблицы истинности бинарных связок (Приложение 2):
x1 x ?_1

x2 x ?_2

х1&х2 х1Vх2 х1?х2 х1?х2 х1?х2
0 1 0 1 0 0 1 1 0
0 1 1 0 0 1 1 0 1
1 0 0 4 0 1 0 0 1
1 0 1 0 1 1 1 1 0

Разбиваем формулы на подформулы:
; ; .
; ;
Построим совместную таблицу истинности формул А и В.
x y z x ? y ? z ? f1 f2 P(A) f3 P(B)
1 0 0 0 1 1 1 0 1 1 1 1
2 0 0 1 1 1 0 1 0 1 1 1
3 0 1 0 1 0 1 1 0 1 1 1
4 0 1 1 1 0 0 1 0 0 1 1
5 1 0 0 0 1 1 0 0 1 1 1
6 1 0 1 0 1 0 1 1 0 0 1
7 1 1 0 0 0 1 1 1 1 1 1
8 1 1 1 0 0 0 1 1 1 0 1

Из таблицы видно, что формулы А и В совместимы по истинности (строки 1, 2, 3, 5, 7 и 8) и не совместимы по ложности, т.к. нет строк, в которых они одновременно ложны.
Поэтому формулы А и В находятся в отношении подпротивоположности.
При этом формула В не следует из формулы А – см. строки 4 и 6.























3. Доказать или опровергнкть выводимость секвенции в исчислении высказываний методом:
а) натурального ИС;
б) Вонга;
в) резолюции.


Решение
а)
1. М ? ?Р – данная посылка;
2. M ? S – данная посылка;
3. М – данная посылка;
4. M – ?и, 1, 2, 3;
5. S – ?и, 4;
6. S??P – ?в, 5;
7. ?(?S&P) или ( S ? P ) – эквивалентное преобразование 6.
Поскольку последняя формула в выводе является отрицанием требуемой формулы, то исходную секвенцию можно считать опровергнутой.

.............
Литература

1. Алферова З.В. Теория алгоритмов. [Текст] /З.В.Алферова - М.: Статистика, 1973.
2. Ахо А. Теория синтаксического анализа, перевода, компиляции. В 2 т. Т. 1, 2. / А Ахо, Дж. Ульман - М.: Мир, 1980.
3. Брауэр В. Введение в теорию конечных автоматов. [Текст] /В Брауэр - М.: Радио и связь, 1987.
4. Гинзбург С. Математическая теория контекстно-свободных языков. [Текст] /С Гинзбург - М.: Мир, 1970.
5. Гросс М. Теория формальных грамматик. [Текст] / М.Гросс, А Лантен - М.: Мир, 1971.
6. Джордж Ф. Основы кибернетики.[Текст] /Фрэнсис Джордж. – М.: Радио и связь, 1985. 275 с.
6. Крючкова Е.Н. Теория алгоритмов. [Текст] /Е.Н.Крючкова - Барнаул; 1995.
7. Крючкова Е.Н. Теория формальных языков и автоматов. [Текст] /Е.Н.Крючкова - Барнаул; 1996.
8.Кузнецов О.П.. Дискретная математика для инженера. [Текст] /О.П.Кузнецов. Г.М.Адельсон-Вельский - М.: Энергоатомиздат, 1988.
9.Любимский Э.3. Программирование. [Текст]/Э.З.Любимский, В.В.Мартынюк, Н.П.Трифонов - М.: Наука, 1980.
10. Мелихов А.Н. Теория алгоритмов и формальных языков. [Текст]/А.Н.Мелихов. В.И.Кодачигов - Таганрог; 1983.
11. Рейуорд - Смит В. Дж. Теория формальных языков. Вводный курс. [Текст]/В.Дж.Рейорд-Смит - М.: Мир, 1988.
12. Саломаа А. Жемчужины теории формальных языков. [Текст]/А. Саломаа - М.: Мир, 1987.



Перейти к полному тексту работы


Скачать работу с онлайн повышением уникальности до 90% по antiplagiat.ru, etxt.ru


Смотреть похожие работы


* Примечание. Уникальность работы указана на дату публикации, текущее значение может отличаться от указанного.