Исчисление высказываний
-
Категории:
Информатика, Работа
-
Добавлен:
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 руб.
Другие работы
Бизнес-план. ОАО «Молоко»
ankomii
: 8 февраля 2014
В данной работе определены основные потоки платежей при реализации бизнес-плана в ОАО «Молоко», выявлены источники финансирования, а также определена его эффективность для производства.
Заключение.
В качестве возможного пути стабилизации положения ОАО «Молоко» в бизнес-плане развития предприятия предлагается организовать управление внеоборотными активами предприятия, и улучшение использования основных средств в частности.
Резервом повышения эффективности использования производственных основны
ankomii
: 8 февраля 2014
56 руб.
Проектирование привода координатно-расточного станка
Frostbite
: 29 мая 2008
Координатно-расточной (аналог 2450), компановка совмещенная, двигатель односкоростной, z=12, Двигатель 2,2 кВт, Чертежи в 7,2 T-flex. Также есть другие работы по станкам, выложу позже. Спрашивайте. Ася 34-24-11
Содержание.
1 Расчет режимов резания
2 Выбор электродвигателя
3 Кинематический расчет ПГД
3.1 Определение знаменателя ряда частот вращения
3.2 Компоновка привода
3.3 Структура привода ступенчатого регулирования
3.4 Разработка кинематической схемы (КС)
3.5 Структурная сетка (СС)
3.6 Пост
Frostbite
: 29 мая 2008
150 руб.
Разработка программы сжатия и восстановления файлов с помощью фиксированного блочного кода постоянного смещения
Slolka
: 7 октября 2013
Используемые компоненты среды Delphi:
1. SaveDialog, OpenDialog. Копомненты необходимые для чтения и сохранения файлов, а так же получения названия файла и его пути до него.
2. Button - компонент кнопка.
3. ListBox - компонент, состоящий из строк, хранит кодовые слова.
4. ProgressBar - компонент, необходимый для отслеживания этапов выполнения программы.
5. Label - компонент для вывода строковых данных.
Краткое описание работы приложения:
1. При нажатии кнопки Button1 “Считать для сж
Slolka
: 7 октября 2013
10 руб.
Схемотехника телекоммуникационных устройств (часть 2) Лабораторная работа №1
brute
: 29 ноября 2016
ДЛЯ ВСЕХ ВАРИАНТОВ
Цель работы
Исследовать свойства и характеристики схем интегратора и дифференциатора на основе операционного усилителя (ОУ).
brute
: 29 ноября 2016
99 руб.
