8
чиқадиган баъзи натижалар.
10-MOДУЛЬ. ЛОБАЧЕВСКИЙ ГЕОМЕТРИЯСИ ЭЛЕМЕНТЛАРИ
41- Мавзу. Текисликдаги Лобачевский аксиомалар системаси
Текисликдаги Лобачевский аксиомалар
системаси ва ундан келиб
чиқадиган натижалар. Параллел тўғри чизиқлар ва уларнинг хоссалари.
42- Мавзу. Узоқлашувчи тўғри чизиқлар ва уларнинг хоссалари.
Учбурчак, тўртбурчак. Узоқлашувчи тўғри
чизиқлар ва уларнинг
хоссалари. Параллеллик бурчаги. Лобачевский функцияси.
43- Мавзу. Лобачевский текислигида эгри чизиқлар
Айлана, эквидистанта ва орицикл.
44- Мавзу. Лобачевский текислигининг турли моделлари.
Лобачевский текислигининг турли моделлари. Доимий манфий эгриликка
эга бўлган сиртда Лобачевский геометриясининг ўринли бўлиши.
11-MOДУЛЬ.
АКСИОМАЛАРНИНГ БОШКА СИСТЕМАЛАРИ,
АКСИОМАЛАР СИСТЕМАСИНИ ТЕКШИРИШ
45- Мавзу. Аксиомалар системасини изоҳлаш
Аксиомалар системасини изоҳлаш ҳақида (интерпретатсиялаш).
Гилберт
аксиомалар системасига бериладиган аналитик интерпретация.
46- Мавзу. Погорелов аксиомалари. Вейл аксиомалар системаси.
Погорелов аксиомалари. Уч ўлчовли
Евклид фазосининг Вейл
аксиомалар системаси.
47- Мавзу. Аксиомалар системасига қўйиладиган талаблар.
Аксиомалар системасининг зидсизлиги, эркинлиги ва тўлиқлиги.
Лобачевский
текислигининг
турли
моделлари.
Лобачевский
геометриясининг зидсизлиги.
Достарыңызбен бөлісу: