Mavzu: mulohazalar hisobida yechilish, zidsizlik, to’liqlilik va erkinlik muomolari


A isbotlanmaydigan tasdiq boiganidan A



Download 244,39 Kb.
bet9/11
Sana14.05.2020
Hajmi244,39 Kb.
#51555
1   2   3   4   5   6   7   8   9   10   11
Bog'liq
BAHADIROVA SABOHAN Mulohazalar hisobida yechilish , zidsizlik, to’liqlilik va erkinlik muomolari

A isbotlanmaydigan tasdiq boiganidan A isbotlanadigan tasdiq bo’ladi.

Shunday qilib, yangi nazariyada A va A isbotlanuvchi boidi, ya’ni qarama-qarshilikka keldik. Demak, farazimiz noto‘g‘ri va har qanday absolyut to’liq nazariya tor ma’noda ham to’liq bo’lar ekan.



2.4 NAZARIYANING YECHILISH VA ERKINLIK MUAMMOLARI

YECHILISH MUAMMOSI

Yechilish muammosi. Yechilish muammosi algoritmik muammo bo’lib, unda berilgan A to'plam uchun shunday algoritm (uni bilan belgilaymiz) tuzish kerakki, bu algoritm A ni boshqa В to‘plamga nisbatan (A cz B) yechuvchi (hal etuvchi) boisin, ya’ni bu U algoritm В ning har bir elementiga tatbiq etiladi hamda x e A lar uchun £/(*) = 1, x e В \ A lar uchun esa U ( x ) —0 deb hisoblanadi.

Yechilish muammosiga oddiy misol sifatida mulohazalar algebrasidagi yechilish muammosini ko'rsatish mumkin, u shunday algoritmni topishdan iboratki, bu algoritm vositasi bilan mulohazalar algebrasidagi har bir formulaning yo aynan chin, yo aynan yolg‘on, yoki bajariluvchi ekanligini aniqlash mumkin. Algoritmik muammoning muhim sinfi formal nazariyalar uchun yechilish muammosidir, ya’ni hamma isbotlanuvchi formulalar to‘plami uchun formulalar nazariyasidagi ( A to‘plam) nazariyaning hamma formulalar to‘plamiga ( В to‘plam) nisbatan yechilish muammosidir. Biz uni mulohazalar hisobining aksiomatik nazariyasi uchun ko‘rgan edik.


Download 244,39 Kb.

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




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