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