Методы решений задач логики высказываний, логики предикатов и реляционной логики - курсовая работа (Теория) по математике

 

Тезисы:

  • Часть 1. Логика высказываний.
  • Часть 2. Логика реляционная.
  • Ознакомиться с алгеброй логики высказываний и исчислением высказываний.
  • Рассмотреть алгебру логики предикатов и исчисление предикатов.
  • Пономарев В.Ф. Математическая логика.
  • Математическая логика нашла широкое применение в языках программирования.
  • Изучить реляционную алгебру.
  • Доказать истинность заключения методом дедуктивного вывода (с построением графа дедуктивного вывода).
  • Доказать истинность заключения методом резолюции (с построением графа вывода пустой резольвенты).
  • Выполнить задания по алгебре высказываний и исчислению высказываний.
Читать онлайнСкачать курсовую работу (теория)

 

 

Похожие работы:

Еще похожие работы

Предметы

Все предметы »

 

 

Актуальные курсовые работы (теория) по математике