1-Mavzu: mulohazalar hisobi uchun aksiomalar sistemasi reja
Reja:
Formal aksiomatik nazariya.
Teorema tushunchasi. Keltirib chiqaeish.
Mulohazalar sistemasi uchun aksiomalar sistemasi.
Asosiy darsliklar va o’quv qo’llanmalar
Do'stlaringiz bilan baham: |