2 и 3я задачи подробно

Логика выражения. Логика предикатов. Реляционная логика

КУРСЫ

по дисциплине «математическая Логика и теория алгоритмов»

на тему: «Логики высказываний. Логика предикатов. Реляционная логика»

Содержание

Введение

. Логика высказываний

. Логика предикатов

. Реляционная алгебра

Вывод

библиография

Введение

В середине XX века развитие вычислительной техники привело к появлению логических электронных элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и логического моделирования логических устройств и средств вычислительной техники. Эти проблемы изучает теория алгоритмов, основанной на математике и математической логике, в частности. Математическая логика нашла широкое применение в языках программирования. А в 80-е годы XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Это направление является наиболее развивающихся и перспективных.

таким Образом, целью диссертационной работы является ознакомление с методами решения задач логики высказываний, логики предикатов и реляционной логики.

Задачи, которые будут рассмотрены в работе, являются:

чтобы ознакомиться с алгеброй логики высказываний и исчисления высказываний,

рассмотреть алгебру логики предикатов и исчисление предикатов,

для того, чтобы изучить алгебру.

Для решения поставленных задач был использован теоретический материал научных работ, Лавров И. А., Максимовой Л. Л. с. и Пономарева В. Ф.

1. Логика высказываний

для того, чтобы Выполнить задания по алгебре высказываний и исчислению высказываний:

{(ÚB); (A→C); (B→D)}├ CÚD

Обозначим F=ÚB , G=A→C, H=B→D, J=CÚD

а. Для того, чтобы построить таблицу истинности.