Исчисление высказываний
-
Категории:
Информатика, Работа
-
Добавлен:
28.10.2012
-
Размер:
40 KB
-
Покупок:
0
-
Добавил:
evelin
Написать сообщение
Скачать
Состав работы
|
bestref-13372.doc
|
Работа представляет собой zip архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
В этой работе мы рассмотрим исчисление высказываний как инструмент для определения истинности утверждений. Затем мы рассмотрим расширение исчисление высказываний до исчисления предикатов. Это расширение позволит нам строить рассуждения над целым рядом конструкций таких, как циклы. Мы также рассмотрим идеи эквивалентности, общезначимости или тавтологии для доказательства.
Начало исчисления высказываний было положено работами Джоржа Буля. Подметив сходство в свойствах логических операций ОR и AND со свойствами арифметических операций умножения и сложения, он создал исчисление для вычисления истиности утверждений подобно тому, как правила арифметических операций позволяют вычислять значения арифметических выражений. В созданном им исчислении Буль обозначил символами как отдельные утверждения, так и целые конструкции из утверждений.
Начало исчисления высказываний было положено работами Джоржа Буля. Подметив сходство в свойствах логических операций ОR и AND со свойствами арифметических операций умножения и сложения, он создал исчисление для вычисления истиности утверждений подобно тому, как правила арифметических операций позволяют вычислять значения арифметических выражений. В созданном им исчислении Буль обозначил символами как отдельные утверждения, так и целые конструкции из утверждений.
Похожие материалы
Исчисление высказываний и предикатов
Решатель
: 10 декабря 2024
Контрольная "Исчисление высказываний и предикатов"
Решатель
: 10 декабря 2024
1000 руб.
Исчисление высказываний. 3 задачи
Максим102
: 16 июля 2014
Контрольная работа.
Исчисление высказываний 3 задачи
Задание No1
Построить таблицу истинности и по ней получить форму в базисе ,∨,∧ эквивалентную формуле : ((p≡q)≡(p≡r))≡((q≡r)≡p)
Задание No2
Выяснить эквивалентны ли формулы :
a) (p⊃q)∨r
b) (p∨r)⊃(q∨r)
Задание No3
Доказать в теории исчисления высказываний данное утверждение:
Максим102
: 16 июля 2014
60 руб.
Другие работы
Отчет о прохождение производственной практики на пищевом производстве
Сергейбел
: 8 марта 2014
1 Основное производство
1.1 Общие сведения о предприятии
1.2 Сырьевая зона предприятия
1.3 Ассортимент продуктов
1.4 Способ производства продуктов
1.5 Технологическое оборудование
1.6 Организация контроля качества продуктов
1.7 Санитарная обработка оборудования
Сергейбел
: 8 марта 2014
Теплотехника ЮУрГАУ 2017 Задача 4 Влажный воздух Вариант 24
Z24
: 5 декабря 2025
Обработка воздуха в приточной камере осуществляется с частичной рециркуляцией. в камере процесс смешения воздуха может осуществляться 2-мя способами.
1-ый способ: наружный воздух смешивается с внутренним воздухом, забираемым из помещения подогревается в калорифере и подается в помещение с температурой tпр, ºС.
2-ой способ: если точка смеси лежит в области ниже φ=100%, тогда наружный воздух предварительно подогревается в калорифере 1-ой ступени до температуры tпр, ºС, смешивается с внутренни
Z24
: 5 декабря 2025
250 руб.
История Российского флага
alfFRED
: 16 февраля 2013
Первоеупоминание о Российском флаге появилось в 1668году во времена царствования АлексеяМихайловича, отца Петра I, когда стремительно начала развиватьсяторговля с зарубежными странами. Царь Алексей Михайлович отдал приказ строить корабли для охраны торговых караванов . В небольшом селе Дединово,что на берегу Оки, спешно собрали мастеровых людей из близлежащих деревень, и вскоре был построен корабль Орел . Капитаном его назначилиБутлера, который, как отмечалось во многих
исторических документах,
alfFRED
: 16 февраля 2013
10 руб.
Программирование на языках высокого уровня. Курсовая работа. Вариант №9
growlist
: 13 марта 2017
Задание: разработать программу для создания и работы с двусвязным списком , состоящим из структур. Для работы со списком создать меню со следующими пунктами:
1. Создание списка.
2. Просмотр списка.
3. Добавление в список новой записи.
4. Поиск и корректировка записи в списке.
5. Удаление записи из списка.
6. Сохранение списка в файле.
7. Загрузка списка из файла.
8. Выход.
9. Структура содержит название издания, тип издания (газета или журнал), цена экземпляра. Изменять цену экземпляра зад
growlist
: 13 марта 2017
90 руб.
