Логическое высказывание
Курсовая работа, 11 Апреля 2013, автор: пользователь скрыл имя
Краткое описание
Целью курсовой работы является рассмотрение высказываний и предикатов в начальном курсе математики.
Задачами курсовой работы является:
- рассмотрение языка кванторов и оснований математической логики;
- анализ понятия предиката.
Содержание
ВВЕДЕНИЕ 2
ГЛАВА 1. ЯЗЫК КВАНТОРОВ И ОСНОВАНИЯ МАТЕМАТИЧЕСКОЙ ЛОГИКИ 4
1.1. Алгебра высказываний 4
1.2. Высказывания и булевы функции 9
1.3. Логика высказваний 11
1.4. Логика первого и второго порядка 15
ГЛАВА 2. ПОНЯТИЕ ПРЕДИКАТА 20
2.1. Предикаты и кванторы 20
2.2. Кванторы 25
ЗАКЛЮЧЕНИЕ 30
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ 31