Grammatik aksiomalar

Aksiomatik metod - ilmiy nazariyaning shunday qurilishiki, unda bu nazariya asosida shunday boshlang‘ich postulat va aksiomalar qo‘yiladiki, qolgan barcha qoidalar (teoremalar) undan kelib chiqadi.

• Aksiomatik metod - ilmiy nazariyaning shunday qurilishiki, unda bu nazariya asosida shunday boshlang‘ich postulat va aksiomalar qo‘yiladiki, qolgan barcha qoidalar (teoremalar) undan kelib chiqadi.

Aksiomalar isbot talab qilmaydi, deymiz, lekin uning isboti uzoq asrlik kuzatishlar natijasida yuzaga kelgan va shuning uchun ham isbot shart emas. Aksiomatik nazariya masalalar modelini tuzishdagi universal til hisoblanadi. Bundan tashqari, mazkur til kompyuter tilidir. Formal nazariyada har bir formula umumiy ma’no nuqtayi nazaridan alohida tekshiriladi, aksiomatik nazariyada esa ko'rib chiqilayotgan formulaning umumiy ma’nosini tekshirishda isbot qilingan formulalarning barchasidan foydalanish mumkin boiadi. Aynan shuning uchun mazkur metod samarali hisoblanadi.

• Aksiomalar isbot talab qilmaydi, deymiz, lekin uning isboti uzoq asrlik kuzatishlar natijasida yuzaga kelgan va shuning uchun ham isbot shart emas. Aksiomatik nazariya masalalar modelini tuzishdagi universal til hisoblanadi. Bundan tashqari, mazkur til kompyuter tilidir. Formal nazariyada har bir formula umumiy ma’no nuqtayi nazaridan alohida tekshiriladi, aksiomatik nazariyada esa ko'rib chiqilayotgan formulaning umumiy ma’nosini tekshirishda isbot qilingan formulalarning barchasidan foydalanish mumkin boiadi. Aynan shuning uchun mazkur metod samarali hisoblanadi.

Aksiomatik nazariyada dastlabki boshlang‘ich tushunchalar, postulat, aksiomalar, teoremalar, keltirib chiqarish qoidalari asosiy o‘rin tutadi. Masalan: Aksioma: so‘zda nechta unli boisa, shuncha bo‘g‘in bo‘ladi. Teorema:

• Aksiomatik nazariyada dastlabki boshlang‘ich tushunchalar, postulat, aksiomalar, teoremalar, keltirib chiqarish qoidalari asosiy o‘rin tutadi. Masalan: Aksioma: so‘zda nechta unli boisa, shuncha bo‘g‘in bo‘ladi. Teorema:
• Agar ixtiyoriy X gap inversiyaga uchramasa, NSP - Normal Sen­tence Pattern (normal gap qurilishi)ga mos kelsa, u holda ega doim kesimdan oldin keladi.