§ 2. Арифметична реалізація векторної системи аксіом Г. Вейля евклідової геометрії

Похожие главы из других работ:

Реалізація програми за засобом Рунге - Кутта. :

DECLARE SUB KUTT (T!, X!, Y!, A%, B%, C%, E!, H!, N%, T(), X(), Y(), K1X!, K1Y!, K2X!, K2Y!, K3X!, K3Y!, K4X!, K4Y!) DECLARE SUB GRAF (T!, X!, Y!, A%, B%, C%, E!, H!, N%, T(), X(), Y(), K1X!, K1Y!, K2X!, K2Y!, K3X!, K3Y!, K4X!, K4Y!) INPUT "C"; C% E! = C% * 10 ^ (-4) H! = E! ^ (1 / 4) CONST A% = 0: CONST B% = 1 DIM SHARED T!(2000), X!(2000), Y!(2000), K1X!(2000), K1Y!(2000), K2X!(2000), K2Y!(2000), K3X!(2000), K3Y!(2000), K4X!(2000)...

1.9.Реалізація програми за способом Мілна

DECLARE SUB MILN (T!, X!, Y!, A%, B%, H!, N%, E!, C%, X(), Y(), T(), LX3!, LY3!, LX2!, LY2!, LX1!, LY1!, XP!, YP!, XK!, YK!, MPX!, MPY!, MKX!, MKY!, XK1!, YK1!) DECLARE SUB KUTT (T!, X!, Y!, A%, B%, H!, N%, E!, C%, X(), Y(), T(), KX1!, KY1!, KX2!, KY2!, KX3!, KY3!, KX4!, KY4!) DECLARE SUB GRAF (T!, X!, Y!, A%, B%, H!, N%, E!, C%, X(), Y(), T(), LX3!, LY3!, LX2!, LY2!, LX1!, LY1!, XP!, YP!, XK!, YK!, MPX!, MPY!, MKX!, MKY!, XK1!...

§ 1. Декартова реалізація системи аксіом евклідової геометрії (за О.В. Погорєловим)

...

1.1 Несуперечливість системи аксіом евклідової геометрії

Доведення несуперечливості системи аксіом зводиться до побудови хоча б однієї її реалізації (інтерпретації), в якій основні поняття і аксіоми набувають конкретного змісту. Якщо існує хоча б одна така сфера конкретних речей...

1.2 Повнота системи аксіом евклідової геометрії

Питання про повноту системи аксіом тісно повязане з питанням про ізоморфізм всіх її реалізацій. Означення 6. Дві реалізації R і R деякої теорії Т називаються ізоморфними...

2.1 Несуперечливість системи аксіом Г. Вейля евклідової геометрії для простору ТЕ3

Основним поняттям системи аксіом Вейля надамо конкретний зміст за допомогою дійсних чисел, тому така реалізація називається арифметичною. 1. Вектором назвемо будь-яку матрицю стовпець вигляду де - довільні дійсні числи...

2.2 Незалежність системи аксіом Г. Вейля

Як уже зазначалось, несуперечлива система аксіом називається незалежною (мінімальною), якщо кожна аксіома даної системи не є логічним наслідком інших аксіом цієї системи. Нехай - дана система аксіом геометрії. Для доведення, наприклад...

2.3 Повнота системи аксіом Вейля

Як уже зазначалося, для доведення повноти системи аксіом треба показати, що будь-які дві її реалізації ізоморфні між собою. Для доведення повноти системи аксіом Вейля використаємо декартову реалізацію...

3.1 Реалізація Бельтрамі - Клейна

В евклідовій геометрії рівняння прямої в декартових прямокутних координатах виражається лінійно відносно змінних х і у: або (3) де -- довжина перпендикуляра ОР з початку координат на дану пряму, б -- кут між віссю абсцис і перпендикуляром ОР, х...

3.2 Реалізація Пуанкаре

Ідея реалізації геометрій, усвідомлення їх реалізацій на множинах різних обєктів, особливо після завершення аксіоматичної побудови евклідової геометрії, набула широкого розвитку. Наприкінці XIX ст. і на початку XX ст...

1.4 Інші системи аксіом геометрії

Повернемося, однак, до евклідової геометрії. У цей час систему аксіом Гильберта часто заміняють еквівалентної їй системою. Ми приведемо ті групи аксіом однієї такої системи...

1.9 Програмна реалізація

...

2 Програмна реалізація

Реалізація пакетом Maple > ss:=diff(diff(y(x),x),x)+diff(y(x)...

3 ПРОГРАМНА РЕАЛІЗАЦІЯ

3.1 Блок схема прогами 3.2.Програма #include <iostream.h> #include <math.h> double funk1( int z); double ma_x[100][100]; double vol_ch[100]; double matrix1[100][100]; double ma_666x[100][100]; double GL_V_viz; double Viz_d; double otveti[100]; double X; int g...

РОЗДІЛ 2. Порівняльна характеристика різник аксіоматик евклідової геометрії

2.1 Характеристика - Гільберт - Погорєлов Перше, що потрібно сказати, це те, що аксіоми порядку Гільберта повністю еквівалентні аксіомам Погорєлова, що грунтуються на відношенні слідування для пар точок, а аксіоми конгруентності - аксіомам руху...