Автор работы: Пользователь скрыл имя, 11 Апреля 2013 в 10:59, курсовая работа
Целью курсовой работы является рассмотрение высказываний и предикатов в начальном курсе математики.
Задачами курсовой работы является:
- рассмотрение языка кванторов и оснований математической логики;
- анализ понятия предиката.
ВВЕДЕНИЕ 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