Исчисление высказываний
-
Категории:
Информатика, Работа
-
Добавлен:
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 руб.
Другие работы
Основные принципы оценки объектов недвижимости и основные факторы, влияющие на ее стоимость
Qiwir
: 2 ноября 2013
Содержание
Введение
1. Оценка недвижимости
1.1 Основные принципы оценки недвижимости
1.2 Факторы, влияющие на стоимость недвижимости
Задача №1
Список литературы
Введение
Рынок недвижимости - это совокупность отношений вокруг операций с объектами недвижимости: купли-продажи недвижимости, ипотеки, сдачи объектов недвижимости в аренду и т.д.
Основные сегменты рынка недвижимости: рынок земли, рынок жилья и рынок нежилых помещений.
Отдельно выделяют рынок доходной недвижимости, который с
Qiwir
: 2 ноября 2013
10 руб.
Контрольная работа по математике. Семестр 2-й. Вариант №3
Legeoner13
: 27 мая 2014
Задача 1
Даны функция , точка и вектор .
Найти:
1) в точке А;
2) производную в точке А по направлению вектора .
Решение:
1) .
Legeoner13
: 27 мая 2014
100 руб.
Ступенчатый регулятор гидротормоза буровой лебедки УТГ-1450-Чертеж-Оборудование для бурения нефтяных и газовых скважин-Курсовая работа-Дипломная работа
https://vk.com/aleksey.nakonechnyy27
: 11 июня 2016
Ступенчатый регулятор гидротормоза буровой лебедки УТГ-1450-(Формат Компас-CDW, Autocad-DWG, Adobe-PDF, Picture-Jpeg)-Чертеж-Оборудование для бурения нефтяных и газовых скважин-Курсовая работа-Дипломная работа
https://vk.com/aleksey.nakonechnyy27
: 11 июня 2016
200 руб.
Лабораторная работа №3. Теория электрической связи. Исследование согласованного фильтра дискретных сигналов известной формы
rukand
: 31 октября 2013
1. Задание к лабораторной работе
1) Ознакомиться с особенностями экспериментального исследования на ЭВМ приёма дискретных сигналов согласованным фильтром (СФ).
2) Исследовать связь между импульсной характеристикой СФ и видом сигнала, с которым он должен быть согласован.
3) Исследовать форму сигнала на выходе согласованного фильтра при подаче на его вход различных сигналов (согласованного и несогласованного с фильтром, в том числе и инвертированного).
4) Исследовать влияние искажения элементов в
rukand
: 31 октября 2013
50 руб.
