Автор работы: Пользователь скрыл имя, 23 Апреля 2013 в 15:40, курсовая работа
Предмет дослідження: пошук оптимальних розв’язків задач формалізованої аксіоматичної теорії натуральних чисел.
Завдання дослідження:
Вивчити наукову, психолого-педагогічну та навчальну літературу з предмету дослідження.
Розкрити теоретичні основи формалізованої аксіоматичної теорії натуральних чисел.
Систематизувати теоретичні відомості, розкрити елементи формалізованої аксіоматичної теорії натуральних чисел
ВСТУП……………………………………………………………………………….
3
РОЗДІЛ І. ТЕОРЕТИЧНІ ОСНОВИ ФОРМАЛІЗОВАНОЇ АКСІОМАТИЧНОЇ ТЕОРІЇ НАТУРАЛЬНИХ ЧИСЕЛ ………………………………………………...
5
Основні відомості про аксіоматичну теорію натуральних чисел…………
5
Поняття про формалізовану аксіоматичну теорію натуральних чисел…………………………………………………………………………
10
Можливості і межі формалізації ……………………………………………
16
Висновки до першого розділу……………………………………………………...
19
РОЗДІЛ ІІ. ЗАСТОСУВАННЯ ФОРМАЛІЗОВАНОЇ АКСІОМАТИЧНОЇ ТЕОРІЇ НАТУРАЛЬНИХ ЧИСЕЛ НА ПРАКТИЦІ………………………………
20
2.1. Приклади застосування формалізованої аксіоматичної теорії натуральних чисел на практиці…………………………………………………………………...
20
ВИСНОВКИ…………………………………………………………………………
26
СПИСОК ВИКОРИСТАНИХ ДЖЕРЕЛ……………………………………
математики.—М.; Л., 1951.— Т. 1.—С. 77—255.
16. Проскуряков И. В. Числа и многочлены.— М. : Просвещение,
1965.— 284 с.
17. Феферман С. Числовые системы. Основания алгебры и анализа.—
М. : Наука, 1971.— 440 с.
18. Кантор Я. Л., Солодовников А. С. Гиперкомплексные числа.—
М. : Наука, 1973.— 144 с.
19. Клини С, Математическая логика,— М, : Мир, 1973,— 480 с.
20. Молодший В. Н. Основы учения о числе в XVIII и начале XIX века.—
М. : Учпедгиз, 1963.— 262 с.
21. Нагель Э., Ньюмен Д. Теорема Геделя.— М. : Знание, 1970.—
63 с.— (Сер. Математика и кибернетика).
22. Новиков П. С. Элементы
математической логики.— 2-е
M. : Наука, 1973.— 400 с.
23. Расева Е., Сикорский
Р. Математика метаматематики.—
1972.— 591 с.
24. Ружа Имре. Основания математики.— К. : Вища шк. Головное
изд-во, 1981.— 350 с.
25. Столл Роберт Р. Множества. Логика. Аксиоматические теории.—
М. : Изд-во иноетр, лит., 1968.— 231 с.
26. Успенский В. Л. Теорема Геделя о неполноте: Популярные лекции
по математике.— М. : Наука, 1982.— 111 с.
27. Френкель А., Бар-Хиллел
А. Основания теории множества,
М. : Изд-во иностр. лит., 1966,— 555 с,
Информация о работе Формалізована аксіоматична теорія натуральних чисел