Исчисление высказываний
-
Категории:
Информатика, Работа
-
Добавлен:
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 руб.
Другие работы
Функциональное и логическое программирование 9 вариант
Владислав161
: 21 июня 2022
Задание на контрольную работу
Напишите на языке SWI-PROLOG программу для работы с базой данных по заданию. Начальная база данных должна храниться в файле. В программе должно присутствовать меню из 5 пунктов, реализующих следующие возможности:
1. просмотр содержимого динамической базы данных (при запуске программы динамическая база данных должна заполняться из файла базы данных только один раз и только в этом пункте);
2. добавления записи в динамическую базу данных (за один вход в этот пункт дол
Владислав161
: 21 июня 2022
300 руб.
Контрольная работа по дисциплине: Методы оптимизации. Вариант №7
SibGOODy
: 15 сентября 2018
Задание на контрольную работу
Контрольная работа состоит из пяти задач, задачи 1,3,4,5 должны быть решены без применения программного обеспечения. Задача 2 должна быть решена в Excel. Решения всех задач должны содержать пояснения – ссылки на формулы, свойства, теоремы, методы решения.
Задача 1
Производственная фирма может выпускать любые из четырех видов продукции. Затраты ограниченных ресурсов, цены реализации продукции в предстоящем временном периоде представлены в следующей таблице.
Прод.1
SibGOODy
: 15 сентября 2018
1200 руб.
Взаимное пересечение поверхностей. Способ сферического посредника. Чертеж
Laguz
: 11 августа 2025
Вариант 6
Сделано в компас 16+сохранено в джпг и пдф.
Открывается всеми версиями компаса начиная с 16.
Все что есть на приложенных изображениях, есть в приложенном архиве.
Если есть какие-то вопросы или нужно другой вариант, пишите.
Laguz
: 11 августа 2025
160 руб.
Гидровакуумный усилитель тормозов ГАЗ-53А
TOXA32
: 12 мая 2009
Сборочный чертеж гидровакуумного усилителя тормозов автомобиля ГАЗ-53А, выполнен в компасе 8ой версии на формате А1. Прилагается к курсовому проекту по специальности "Ремонт и эксплуатация транспортных средств" по теме "Разработка технологического процесса восстановления тормозной системы автомобиля ГАЗ-53А".
TOXA32
: 12 мая 2009
20 руб.
