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

Цена:
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 руб.

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

Защита информации. Вариант №5.
Выполнить компьютерную реализацию протокола «Задачи о нахождении гамильтонова цикла в графе», используя пример 6.2 (стр. 124 лекций). Номер варианта Z равен последней цифре номера пароля. Параметры, выбираемые по варианту Z: 1) Случайную нумерацию вершин, используемую в алгоритме (изначально в примере она равна 7 4 5 3 1 2 8 6), необходимо изменить по формуле ((a+Z)mod 9), где a – это цифра исходной последовательности случайных номеров вершин. 2) Необходимые в алгоритме параметры схемы RSA вычис
Защита информации ДО СИБГУТИ Работа Контрольная
User LowCost : 1 февраля 2022
149 руб.
promo
Дослідження ринку автомобілів (2009-2010 рр.)
Криза, що розпочалася на ринку нерухомості США в 2007 році та за короткий проміжок часу охопила фінансові ринки практично всіх розвинутих країн світу, поступово перетворилася на глобальну фінансову кризу. Україна, яка станом на 2008 рік мала досить розвинуту ринкову економіку та зазнала економічних інтеграційних процесів, гостро зазнала впливу світової економічної кризи. ЇЇ вплив обтяжувався такими факторами, як внутрішня політична і економічна криза. Падіння світового попиту на експортну проду
Маркетинг Работа
User Elfa254 : 13 октября 2013
10 руб.
Анализ сходства и различии МСА и ПСАД
Московский Институт Бухгалтерского Учета и Аудита КУРСОВАЯ РАБОТА ПО ПРЕДМЕТУ Международные стандарты аудита Тема Анализ сходства и различия МСА и ПСАД Студента Денисьева П. В.Специальность Бухгалтерский учет и аудит Группа 6 БВ-351- ОЗ Дисциплина Международные стандарты аудитаНа тему Содержание: 1. На пути к международным стандартам…………………………………3 2. ПСАД……………………………………………………………………..12 3. Анализ сходства и различия МСА и ПСАД…………………………...23 Список литературы………………………………………………………….42 Приложения
Бухгалтерский учет и аудит Работа
User Elfa254 : 9 марта 2013
5 руб.
Лабораторная работа по дисциплине: Распространение сигналов и помех в сетях радиосвязи. Вариант 5
Лабораторная работа «Изучение факторов, влияющих на величину напряжённости поля в точке приёма» Цель лабораторной работы: изучить характер изменения напряженности поля в точке приёма в реальных условиях распространения и в случае свободного пространства в зависимости от расстояния между передатчиком и приёмником. Подготовка к лабораторной работе 1. Изучить конспект лекций по теме «5 Распространение радиоволн в свободном пространстве» и «6 Влияние земной поверхности на распространение радиоволн
Распространение сигналов и помех в сетях радиосвязи ДО СИБГУТИ Работа Лабораторная
User Roma967 : 15 апреля 2024
500 руб.
promo
up Наверх