Автор работы: Пользователь скрыл имя, 23 Апреля 2013 в 15:40, курсовая работа
Предмет дослідження: пошук оптимальних розв’язків задач формалізованої аксіоматичної теорії натуральних чисел.
Завдання дослідження:
Вивчити наукову, психолого-педагогічну та навчальну літературу з предмету дослідження.
Розкрити теоретичні основи формалізованої аксіоматичної теорії натуральних чисел.
Систематизувати теоретичні відомості, розкрити елементи формалізованої аксіоматичної теорії натуральних чисел
ВСТУП……………………………………………………………………………….
3
РОЗДІЛ І. ТЕОРЕТИЧНІ ОСНОВИ ФОРМАЛІЗОВАНОЇ АКСІОМАТИЧНОЇ ТЕОРІЇ НАТУРАЛЬНИХ ЧИСЕЛ ………………………………………………...
5
Основні відомості про аксіоматичну теорію натуральних чисел…………
5
Поняття про формалізовану аксіоматичну теорію натуральних чисел…………………………………………………………………………
10
Можливості і межі формалізації ……………………………………………
16
Висновки до першого розділу……………………………………………………...
19
РОЗДІЛ ІІ. ЗАСТОСУВАННЯ ФОРМАЛІЗОВАНОЇ АКСІОМАТИЧНОЇ ТЕОРІЇ НАТУРАЛЬНИХ ЧИСЕЛ НА ПРАКТИЦІ………………………………
20
2.1. Приклади застосування формалізованої аксіоматичної теорії натуральних чисел на практиці…………………………………………………………………...
20
ВИСНОВКИ…………………………………………………………………………
26
СПИСОК ВИКОРИСТАНИХ ДЖЕРЕЛ……………………………………