Курсовая работа по математической логике

ТЕМА: Предикаты и их применение

Цель:Научиться применять предикаты для формализации задачи и уметь определять истинность предикатов на различных множествах.

Задания: 1.В соответствии с вариантом, выполнить задания (к главе 2).

2. Введя соответствующие предикаты, записать на языке логики предикатов какое-либо утверждение (регламент, статья какого-либо закона) из учебника Белов Е.Б, Лось В.П. и др. «Основы информационной безопасности», (возможно выполнение группами численностью не более 3-х человек) (к главе 3)

3. Придумать и сформулировать задачу, относящуюся к специальности, решение которой возможно с помощью логики предикатов (возможно выполнение группами численностью не более 3-х человек) (к главе 3).

Оформление: Работа выполняется на листах формата А4.

Цель работы: расширить знания о методах и способах решения логических задач

Требования к курсовой работе:

1. Курсовая работа выполняется по следующему плану:

1) Титульный лист;

2) Содержание;

3) Пояснительная записка;

4) Глава 1. Основные понятия алгебры предикатов.

5) Глава 2. Предикат и его область истинности.

6) Глава 3. Применение предикатов.

7) Заключение;

8) Список используемой литературы.

2. Пояснительная записка содержит краткое пояснение к каждой из глав курсовой работы.

3. Первая глава содержит основные понятия и определения теории предикатов.

4. Вторая глава содержит решение задач с пояснениями.

5. Третья глава содержит словесную формулировку выбранного утверждения, его формализацию в виде предиката, соответствующую базу данных. На защиту предоставляется презентация по 3-й главе.

6. Оформление: объем работы – не менее 15 страниц; работа сдается на проверку в распечатанном виде (формат А4; шрифт Arial, 14; левое поле – 2,5, остальные поля – 1,5; красная строка - 0,75, полуторный интервал, выравнивание по ширине; нумерация страниц).