- •Глава I 11
- •§1. Формирование числовых систем 11
- •§2. Аксиоматическое обоснование евклидовой геометрии. 27
- •Вводная глава.
- •Назначение знаковых языковых систем
- •1. Язык как инструмент интеллекта
- •2. Функциональные свойства языковых систем
- •Пример 2
- •Пример 5. Система знаков представляющих музыкальные звуки называется нотами и формирует язык музыки.
- •4. Основные языковые понятия
- •3. Определение и примеры языковых систем
- •Рассмотрим некоторые примеры языковых систем. Пример 1
- •5. Предметное назначение языковых систем
- •6. Цели краткого курса математики для гуманитариев
- •7. Вопросы и задания к теме «Назначение знаковых языковых систем»
- •Построение множества рациональных чисел.
- •Вывод 1.
- •Замечание 1.
- •Аксиомы операции умножения.
- •Задача 2.
- •Вывод 2.
- •Аксиоматическое построение множества действительных чисел.
- •Аксиома непрерывности Кантора.
- •Определение 2.
- •О представлении действительных чисел.
- •Задача 3.
- •Языковые свойствах числовых систем.
- •3. Десятичная (и вообще, любая k-ичная) знаковая реализация действительных чисел изоморфна геометрической реализации действительных чисел в виде отрезков прямой.
- •Вопросы и задания к теме «числовые системы».
- •§2. Аксиоматическое обоснование евклидовой геометрии.
- •2.1. О “Началах” Евклида.
- •2.1.1. Структура «Начал» Евклида
- •2.1.2 Историческое значение «Начал» Евклида
- •2.1.3 Историческое развитие дедуктивной схемы «Начал» Евклида
- •2.2 Аксиоматика д. Гильберта(1862-1943)
- •2.2.1 Группа 1. Аксиомы соединения.
- •2.2.3 Группа 3. Аксиомы конгруэнтности.
- •Вывод 2.
- •2.2.4 Группа 4. Аксиомы непрерывности.
- •Замечание 2.
- •Замечание 3.
- •Вывод 3.
- •2.2.5 Группа 5. Аксиома параллельности (евклидовой геометрии).
- •Замечание 4.
- •2.3 Два недостатка аксиоматики д. Гильберта.
- •2.4 Структурный характер аксиоматики д.Гильберта
- •2.5. Вопросы и задания к теме «Аксиоматическое обоснование евклидовой геометрии».
- •§3. Структура векторного пространства.
- •3.1 Модель направленных отрезков.
- •Сложение обладает свойствами:
- •Свойства операции умножения:
- •Определение.
- •3.2 Построение арифметической модели векторного пространства направленных отрезков
- •Теорема размерности.
- •Вывод 1.
- •Вывод 3.
- •Вывод 4.
- •3.3 Определение и примеры абстрактного векторного пространства.
- •Пример 1.
- •Пример 2.
- •Определение абстрактного векторного пространства.
- •Следствие.
- •3.4 Аксиомы скалярного произведения векторов.
- •Следствие.
- •Следствие.
- •Определение n – мерного евклидова векторного пространства.
- •3.5 Вопросы и задания к теме «Структура векторного пространства»
- •§4 Модель Вейля евклидовой геометрии.
- •4.1 Арифметическая модель трехмерного евклидова пространства.
- •Определение.
- •Вывод 1.
- •Вывод 2.
- •4.2 Арифметическая модель многомерного евклидова пространства
- •Вывод 3.
- •Замечание о схеме г.Вейля.
- •4.3. Вопросы и задания к теме «Модель Вейля евклидовой геометрии»
- •§ 5. Модель а. Пуанкаре плоскости Лобачевского.
- •5.1 Основные понятие модели а. Пуанкаре плоскости Лобачевского.
- •V’. Аксиома параллельности Лобачевского.
- •Определение плоскости Лобачевского.
- •С ледствие 2.
- •2. Взаимное расположение прямых в плоскости l2.
- •3. Перпендикуляр к стороне угла.
- •5. Четвертый признак конгруэнтности треугольников.
- •Вывод 2.
- •5.3 Научная значимость открытия геометрии Лобачевского.
- •Вывод 3.
- •5.4 Вопросы и задания к теме «Модель Пуанкаре плоскости Лобачевского»
- •Следствие 2. Задание отношения эквивалентности на некотором множестве равносильно разбиению этого множеств на непересекающиеся подмножества.
- •6.2 Понятие математической структуры.
- •Замечание 1.
- •6.4 Формальная и содержательная аксиоматики, аксиоматические теории и математические структуры.
- •Вывод 1.
- •Вывод 2.
- •Определение.
- •6.5 Изоморфизм.
- •Пример 1.
- •Определение изоморфизма.
- •6.6 Вопросы и задания к теме «Математические структуры и аксиоматические теории».
- •§7 Требования, предъявляемые к системам аксиом.
- •7.1 Непротиворечивость системы аксиом.
- •Вывод 1.
- •7.2 Независимость аксиоматической системы.
- •7.3 Независимость аксиомы параллельности.
- •Замечание 1.
- •7.4 Дедуктивная полнота и категоричность системы аксиом.
- •Определение (дедуктивной полноты).
- •Определение (категоричности).
- •7.5 Историческая роль V постулата Евклида в развитии оснований математики.
- •7.6 Вопросы и задания к теме «Требования, предъявляемые к системе аксиом»
- •§8 Смысловой анализ текстовых продуктов.
- •8.1 Понятие смыслового анализа текстового продукта.
- •8.2 Языковые свойства имен объектов.
- •8.4 Понятие искусственного языка.
- •8.5 Понятие и анализ парадоксов.
- •8.6 “Ахиллес и черепаха”.
- •8.7 Парадокс пустого множества.
- •8.8 Парадокс конечной достижимости в очереди.
- •8.9 Противоречивость в дедуктивных схемах
- •Пример .
- •8.10 Вопросы и задания к теме «Смысловой анализ текстовых продуктов»
- •9.2 Относительная частота и вероятность случайного события.
- •9.3 Классическое определение вероятности.
- •9.4 Вопросы и задания к теме «Понятие вероятности случайного события»
- •Моделирование случайных событий случайными величинами.
- •10.1 Понятие случайной величины.
- •10.2 Геометрические вероятности.
- •1. Игра « Мексиканский ковёр».
- •2. Задача о встрече.
- •10.3 Парадокс Бертрана.
- •10.4 Условия корректного моделирования случайного события
- •10.5 Вопросы и задания к теме «Моделирование случайных событий случайными величинами»
- •Заключение
- •Обозначения.
- •Литература
Построение множества рациональных чисел.
Практическая необходимость перечислять предметы привела к формированию понятия натурального ряда. Одной из известных нам записей натурального ряда является римская знаковая система
I, II, III, …, IХ, Х, ХI, …
Практическая же необходимость арифметических операций над натуральными числами приводит к формированию более широкого класса величин - рациональным числам. Схематично это выглядит так:
Схема 1.2
Натуральный ряд N
|
|
Операция сложения "+"; операция вычитания " " обратная к сложению. |
|
Множество Z целых чисел (положительные, отрицательные и ноль) |
|
|
|
|
|
Множество Z
|
|
Операции: умножения "", обратная операция деление ":", операция сравнения.
|
|
Множество Q рациональных чисел вида
|
Вывод 1.
Множество
чисел, представимых в виде несократимых
дробей m/n,
где: m,
n,
N,
n
0
называется множеством рациональных
чисел и обозначается Q. На этом множестве
определены операции ,
,
:, ≤, и результат действия этих операций
над рациональными числами есть снова
рациональное число.
Мы не будем обсуждать все свойства рациональных чисел, а ограничимся напоминанием свойств систематического представления рациональных чисел, известных из элементарного курса математики.
Наличие операций сложения и умножения позволяет построить представление целых чисел при помощи алфавита, содержащего К знаков, называемых цифрами.
Такое
представление дается записью вида:
a
N
a = anKn+... + a1K+ao (1.4)
и
называется систематической К-ичной
записью по основанию К.
Символы ao,
a1,
... , an
принимают
одно из К
значений 0,1,2,
... , K-1. Если
K
10,
то для обозначения K
цифр используют первые К
цифр десятичной системы 0,1,2,
... , К-1. Для
обозначения степеней оснований
(классов) К1,
К2,
..., Кn
используются
уже введенные числовые обозначения
(классы “тиражируются” медленнее, чем
числа, входящие в эти классы).
Запись целых чисел в K-ичной системе позволяет реализовать арифметические операции над рациональными числами в виде некоторых алгоритмов (известных в элементарной математике как правила «действий столбиком»), то есть правил выполнения последовательности простых операций над цифрами, представляющими рациональные числа.
В школьном курсе изучаются алгоритмы арифметических операций в десятичной системе.
Напомним для примера алгоритм сложения целых чисел.
Пусть а = 247 = 2 . 102 +4 . 10+7, b = 378 = 3 . 102 + 7 . 10 + 8. Требуется найти c = а+b.
Складывая цифры, нумерующие разряды единиц, десятков и сотен, получаем:
7+8 = 10+5 (единицы)
4 .10 + 7 . 10 = 102+10 (десятки)
2 . 102 + 3 . 102 = 5 . 102 (сотни)
Учитывая правила формирования разрядов, составляем десятичную запись числа c = а+в:
c = (102 +5 . 102) + (10+10)+5 = 6 . 102 +2 . 10+5 = 625
Кроме реализации арифметических операций, систематическое представление чисел дает алгоритм сравнения чисел по величине.
Для сравнения целых положительных чисел достаточно сравнить цифры разрядов по старшинству, например: 197<211, так как 197<2.102, а 211 > 2.102.
Алгоритм представления рационального числа в десятичной записи приводит к двум типам записи чисел, известным из школьного курса.
Всякое рациональное число может быть представлено конечной десятичной дробью вида:
=
+
,
(1.5)
либо бесконечной периодической дробью вида:
+
(1.6)
Напомним
также, что алгоритм десятичного
представления рационального числа в
виде (1.5) или (1.6) основан на следующем
свойстве целых чисел:
для любых a,b N, (a > b) существуют m, n N, (m<a, n<b) такие, что
а = bm+n (1.7)

.