boshqa aksiomatik nazariyalar

PPTX 14 стр. 1,1 МБ Бесплатная загрузка

Предварительный просмотр (5 стр.)

Прокрутите вниз 👇
1 / 14
prezentatsiya powerpoint mavzu: boshqa aksiomatik nazariyalar reja: aksiomatik nazariyaga kirish. mashhur aksiomatik tizimlar amaliy ahamiyati. aksiomatik nazariyalar – bu matematik tizimlarni asoslash uchun ishlatiladigan formal yondashuv bo’lib, unda nazariya bir qator aksiomalar (asosiy, isbotsiz qabul qilinadigan tushunchalar) va ulardan kelib chiqadigan qonunlar asosoida quriladi. aksiomatik yondashuv matematik tushunchalarni qat’iy va mantiqiy asoslashda muhim ahamiyatga ega. aksiomatik tizimning asoslari aksiomalar: isbotsiz qabul qilinadigan boshlang’ich tushunchalar yoki qoidalar. masalan, evklid geometriyasidagi “ikki nuqta orqali faqat bitta to’g’ri chiziq o’tadi”. qoidalar: aksiomalardan foydalangan holda yangi teoremalarni chiqarish uchun ishlatiladigan mantiqiy qoidalar. nazariya : aksiomalardan mantiqan chiqarilgan teoremalar va xulosalar to’plami. mashhur aksiomatik nazariyalar evklid geometriyasi: evklid tomonidan asoslangan bo’lib, beshta asosiy aksiomaga asoslanandi. masalan, uchburchak burchaklarining yig’indisi 180ga teng. evklid (mil .avv.300) “elementlar” nomli kitobida geometriyani birinchi marta aksiomalarga asoslanib tushuntirdi. 2. to’plamlar nazariyasi (zarmelo-fraenkel tizimi zf ): zamonaviy matematikaning poydevori. to’plamlar va ularning o’zaro munosabatlarini o’rganadi. qo’shimcha aksioma: tanlash aksiomasi (axiom of …
2 / 14
– 1978) matematik tizimlarning noaniqlik va chegaralarini aniqlash. boshqa aksiomatik nazariyalarning qo’llanilishi mantiq va informatika: formal tizimlar, algoritmlar va dasturlash tillarining asoslari aksiomatik tizimlar yordamida quriladi. fizika: fizik qonunlar va tamoyillarni mantiqiy asoslash uchun aksiomatik yondashuv ishlatiladi. qtisodiyot va o’yin nazariyasi: strategiyalar va qaror qabul qilish modellarida aksiomatik yondashuvdan foydalaniladi. aksiomatik tizimning ahamiyati matematik va ilmiy tushunchalarning izchilligini ta’minlaydi. murakkab tizimlarni tushunish va ularni asoslashga yordam beradi. o’zaro bog’liq nazariyalarning mantiqiy mustahkamligini tekshiradi. aksiomatik tizimlarning asosiy xususiyatlari mustahkamlik (consistency): aksiomatik tizim ichida birorta qarama – qarshi (mantiqiy ziddiyatli) xulosa chiqmasligi kerak. to’liqlik completeness): har qanday to’g’ri yoki noto’g’ri bayonot tizimdagi aksiomalar va qoidalar orqali hal qilinishi kerak. mustaqillik (independence): har bir aksioma qolgan aksiomalardan kelib chiqmasligi kerak. bu aksiomaning o’zi mustaqil ekanini bildiradi. zamonaviy aksiomalar tizimi zermelo –fraenkel to’plamlar nazariyasi(zf): zamonaviy matematikaning poydevori. to’plamlar va ularning o’zaro munosabatlarini o’rganadi. qo’shimcha aksioma: tanlash aksiomasi: tanlash aksiomasi (axiom of choice, zfc tizimi). …
3 / 14
ing formalizatsiyasi va algoritmlar ishonchliligini tekshirish. iqtisodiyot: o’yin nazariyasi va qaror qabul qilish modellarini matematik asoslash. tabiiy fanlar: fizik qonunlarni matematik asoslash (masalan, nyuton mexanikasi). e’tiboringiz uchun raxmat ! image1.png image3.png image4.png mashhur aksiomatik nazariyalar 1. evklid geometriyasi: evklid tomonidan asoslangan bo’lib, beshta asosiy aksiomaga asoslanandi. masalan, uchburchak burchaklarining yig’indisi 180°ga teng. evklid (mil .avv.300) “elementlar” nomli kitobida geometriyani birinchi marta aksiomalarga asoslanib tushuntirdi. /docprops/thumbnail.jpeg
4 / 14
boshqa aksiomatik nazariyalar - Page 4
5 / 14
boshqa aksiomatik nazariyalar - Page 5

Хотите читать дальше?

Скачайте все 14 страниц бесплатно через Telegram.

Скачать полный файл

О "boshqa aksiomatik nazariyalar"

prezentatsiya powerpoint mavzu: boshqa aksiomatik nazariyalar reja: aksiomatik nazariyaga kirish. mashhur aksiomatik tizimlar amaliy ahamiyati. aksiomatik nazariyalar – bu matematik tizimlarni asoslash uchun ishlatiladigan formal yondashuv bo’lib, unda nazariya bir qator aksiomalar (asosiy, isbotsiz qabul qilinadigan tushunchalar) va ulardan kelib chiqadigan qonunlar asosoida quriladi. aksiomatik yondashuv matematik tushunchalarni qat’iy va mantiqiy asoslashda muhim ahamiyatga ega. aksiomatik tizimning asoslari aksiomalar: isbotsiz qabul qilinadigan boshlang’ich tushunchalar yoki qoidalar. masalan, evklid geometriyasidagi “ikki nuqta orqali faqat bitta to’g’ri chiziq o’tadi”. qoidalar: aksiomalardan foydalangan holda yangi teoremalarni chiqarish uchun ishlatiladigan mantiqiy qoidalar. naza...

Этот файл содержит 14 стр. в формате PPTX (1,1 МБ). Чтобы скачать "boshqa aksiomatik nazariyalar", нажмите кнопку Telegram слева.

Теги: boshqa aksiomatik nazariyalar PPTX 14 стр. Бесплатная загрузка Telegram