Исчисление высказываний
-
Категории:
Информатика, Работа
-
Добавлен:
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 руб.
Другие работы
Инженерная графика. Задание №35. Вариант №23. Детали №1,2,3
Чертежи
: 30 октября 2019
Все выполнено в программе КОМПАС 3D v16.
Боголюбов С.К. Индивидуальные задания по курсу черчения
Задание №35. Вариант №23. Детали №1,2,3
Выполнить по аксонометрической проекции чертеж модели (построить три проекции и нанести размеры).
В состав работы входят следующие файлы:
- 3D модель каждой детали;
- ассоциативный чертеж к каждой детали;
- чертежи в трёх видах комплексного оформления (для деталей №1 и №2 в двух комплектах разных форматов А4 и А3).
Помогу с другими вариантами, пишите в ЛС.
Чертежи
: 30 октября 2019
140 руб.
Теория информации. Контрольная работа новая (6 заданий)
Багдат
: 18 июня 2016
1.Вычислить энтропию Шеннона для символов ФИО.
2.Построить код Хаффмана для набора букв ФИО. Для оценки вероятностей символов использовать частоты вхождения букв в ФИО. Подсчитать среднюю длину кодового слова построенного кода.
3.Построить код Фано для набора букв ФИО. Подсчитать среднюю длину кодового слова построенного кода.
4.Построить код Шеннона для набора букв ФИО. Подсчитать среднюю длину кодового слова построенного кода.
5.Построить код Гилберта-Мура для набора букв ФИО. Подсчитать средн
Багдат
: 18 июня 2016
75 руб.
Экономика связи. Контрольная работа. Вариант № 22
my-mind
: 26 марта 2012
По отчетным данным деятеономических показателей деятельности и сделать выводы о результатах работы оператора связи в отчётном году в сравнении с предыдущим.
Таблица 1 - Исходные данные.
Наименование показателей Условные обозначения Предыдущий (0) Отчетный (1)
1. Наличие телефонных аппаратов на начало года,
тыс. апп. Nнг 350,8 -
2. Прирост телефонных аппаратов в течение года, тыс.апп. ∆Nвв 15,4 12,0
3. Выручка от реализации услуг без НДС, тыс. руб В 238615 259180
4. Среднесписочная численность
my-mind
: 26 марта 2012
350 руб.
Гидравлика АКАДЕМИЯ ГРАЖДАНСКОЙ ЗАЩИТЫ Задача 9 Вариант 17
Z24
: 12 марта 2026
К лафетному стволу с насадком dH1 подача воды осуществляется от двух пожарных автомобилей АНР-40(130) и АА-40(131). От автомобиля АНР-40(130) проложена рукавная линия диаметром di из прорезиненных рукавов длиной L1, от автомобиля АА-40(131) — из прорезиненных рукавов диаметром d2 и длиной L2. Ствол поднят на высоту Z.
Определить подачу каждого из пожарных насосов.
Z24
: 12 марта 2026
180 руб.
