Мустақил таълим учун тавсия этиладиган мавзулар


Mulohazalar hisobining asosiy tushunchalari



Download 126,32 Kb.
bet8/10
Sana16.07.2021
Hajmi126,32 Kb.
#120904
1   2   3   4   5   6   7   8   9   10
Bog'liq
DiskretMustaqilish

Mulohazalar hisobining asosiy tushunchalari

Bu bobda olingan natijalarni bayon qilishda zarur bo’lgan asosiy tushunchalar: mulohazalar hisobi formulasi tushunchasi, isbotlanuvchi formula ta’rifi, mulohazalar hisobining aksiomalar tizimi, keltirib chiqarish qoidalari va uning natijalari, formulalar majmuasidan formulani keltirib chiqarish qoidasi mulohazalar algebrasi va mulohazalar hisobi o’rtasidagi munosabatlar bayon qilingan.



Mulohazalar hisobi aksiomatik mantiqiy sistema bo’lib, mulohazalar algebrasi esa uning interpretasiyasidir (talqinidir).

Berilgan aksiomalar sistemasi negizida (bazasida) qurilgan aksiomatik nazariya deb shu aksiomalar sistemasiga tayanib isbotlanuvchi hamma teoremalar majmuasiga aytiladi.

Aksiomatik nazariya formal va formalmas nazariyalarga bo’linadi.

Formalmas aksiomatik nazariya nazariy-to’plamiy mazmun bilan to’ldirilgan bo’lib, keltirib chiqarish tushunchasi aniq berilmagan va bu nazariya asosan fikr mazmuniga tayanadi.

Qaralayotgan aksiomatik nazariya uchun quyidagi shartlar bajarilgan bo’lsa, ya’ni:

1) nazariyaning tili berilgan;

2) formula tushunchasi aniqlangan;

3) aksiomalar deb ataladigan formulalar to’plami berilgan;

4) bu nazariyada keltirib chiqarish qoidasi aniqlangan bo’lsa, formal aksiomatik nazariya aniqlangan deb hisoblanadi.

Quyida mulohazalar hisobining simvollari, formulasi, aksiomalar sistemasi, keltirib chiqarish qoidalari, formulalar majmuasidan formulani keltirib chiqarish qoidasi, deduksiya va umumlashgan deduksiya teoremalari, ayrim mantiq qonunlarining isboti, mulohazalar algebrasi va mulohazalar hisobi o’rtasidagi munosabatlar, mulohazalar hisobida yechilish, zidsizlik, to’liqlilik va erkinlik muammolari kabi masalalar bayon etiladi



Download 126,32 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8   9   10




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish