Исчисление высказываний

Цена:
19 руб.

Состав работы

material.view.file_icon F37C21CF-A64E-412D-B73F-91797DD7B989.zip [ 40 KB ]
material.view.file_icon bestref-13372.doc [ 176 KB ]
Работа представляет собой zip архив с файлами (распаковать онлайн), которые открываются в программах:
  • Microsoft Word

Описание

В этой работе мы рассмотрим исчисление высказываний как инструмент для определения истинности утверждений. Затем мы рассмотрим расширение исчисление высказываний до исчисления предикатов. Это расширение позволит нам строить рассуждения над целым рядом конструкций таких, как циклы. Мы также рассмотрим идеи эквивалентности, общезначимости или тавтологии для доказательства.
Начало исчисления высказываний было положено работами Джоржа Буля. Подметив сходство в свойствах логических операций ОR и AND со свойствами арифметических операций умножения и сложения, он создал исчисление для вычисления истиности утверждений подобно тому, как правила арифметических операций позволяют вычислять значения арифметических выражений. В созданном им исчислении Буль обозначил символами как отдельные утверждения, так и целые конструкции из утверждений.

Похожие материалы

Исчисление высказываний и предикатов
Контрольная "Исчисление высказываний и предикатов"
Работа Контрольная Дискретная математика
User Решатель : 10 декабря 2024
1000 руб.
Исчисление высказываний и предикатов
Исчисление высказываний. 3 задачи
Контрольная работа. Исчисление высказываний 3 задачи Задание No1 Построить таблицу истинности и по ней получить форму в базисе ,∨,∧ эквивалентную формуле : ((p≡q)≡(p≡r))≡((q≡r)≡p) Задание No2 Выяснить эквивалентны ли формулы : a) (p⊃q)∨r b) (p∨r)⊃(q∨r) Задание No3 Доказать в теории исчисления высказываний данное утверждение:
Работа Дискретная математика
User Максим102 : 16 июля 2014
60 руб.

Другие работы

Информатика. Лабораторная работа № 1-5. Вариант №8.
Лабораторные работы по информатике. №1-5. 1я-Оформление документов 2я-Подготовка комплексных текстовых документов в среде редактора Microsoft Word 3я-Создание электронных таблиц с помощью процессора Microsoft Excel 4я-Построение диаграмм с помощью процессора Microsoft Excel 5я-Использование электронных таблиц для расчетов
СибГУТИ Информатика Работа Лабораторная
User Mental03 : 23 мая 2015
Борьба Рима с Карфагеном за господство в Западном Средиземноморье
План Введение……………………………………………………………………………3 Глава 1. Международные отношения В Западном Средиземноморье в первой половине 3 века до н.э……………………………………………………………..4 1.1 Положение на побережье Средиземного моря…………………………4 2.1. Посольство мамертинцев. Совещание в Риме………………………….5 Глава 2. Первая и вторая Пунические войны. Их характер……………………..5 1.2. Первая Пуническая война(264-241гг. до н.э.)………………………….5 2.2. События между окончанием первой Пунической и началом второй(24
История КамГУ им. В. Беринга Работа Контрольная
User Nadin41rus : 6 мая 2015
500 руб.
Контрольная работа № 1 по дисциплине: «Физика»
120. Лодка длиной l = 3 м и массой т = 120 кг стоит на спокойной воде. На носу и корме находятся два рыбака массами m1 = 60 кг и m2 = 90 кг. Насколько сдвинется лодка относительно воды, если рыбаки поменяются местами? 130. Шар массой т1 = 2 кг сталкивается с покоящимся шаром большей массы и при этом теряет 40% кинетической энергии. Определить массу m2 большего шара. Удар считать абсолютно упругим, прямым, центральным. 190. Релятивистский протон обладал кинетической энергией, равной энергии покоя
СибГУТИ Физика Работа Контрольная
User NataFka : 14 октября 2013
100 руб.
Гидромеханика ГУМРФ им. адм. С. О. Макарова 2017 Задача 3.1 Вариант 1
Определить силу избыточного давления воды на дно сосуда.
Задачи Гидравлика
User Z24 : 28 октября 2025
150 руб.
Гидромеханика ГУМРФ им. адм. С. О. Макарова 2017 Задача 3.1 Вариант 1
up Наверх