1. Agar funktsiya a ni b ga turli qiymatli akslantirish bo‘lsa, u holda funktsiya a va b to‘plamlarning o‘zaro bir qiymatli mosligi


Download 0.85 Mb.
bet23/53
Sana10.08.2023
Hajmi0.85 Mb.
#1666230
1   ...   19   20   21   22   23   24   25   26   ...   53
Bog'liq
disker sessiya

2) Funksiyalar teng kuchliligi. Mulohazalar algebrasida teng kuchli formulalar tushunchasi kiritilgan edi. Bu yerda ham argumentli funksiyalar teng kuchliligi tushunchasini kiritish mumkin.3-ta’rif. va funksiyalar mulohazalar algebrasining funksiyalari, o‘zgaruvchilar esa ularning hech bo‘lmaganda bittasining argumentlari bo‘lsin. Agar argumentlarning barcha qiymatlar satrlari uchun f va g funksiyalarning mos qiymatlari bir xil bo‘lsa, u holda va funksiyalar teng kuchli funksiyalar deb ataladi.Agar berilgan funksiyalar teng kuchli bo‘lmasa, u holda ular teng kuchlimas funksiyalar deb yuritiladi.Berilgan va funksiyalarning teng kuchliligi shaklda yoziladi. Agar va funksiyalar teng kuchlimas funksiyalar bo‘lsa, u holda yozuvdan foydalaniladi.4-ta’rif. Agar funksiyaning qandaydir argumenti uchun sahart qolgan argumentlarning mumkin bo‘gan ixtiyoriy qiymatlarida bajarilsa, u holda uning soxta argumenti, argumentlarning mumkin bo‘gan qiymatlaridan hech bo‘lmasa bittasi uchun
shart bajarilganda esa uning muhim argumenti deb ataladi.
soxta argumentlarni kiritish va bu safdan istalgancha soxta argumentlarni olib tashlash mumkin.
3.Funksional yopiq sinflar.Mantiq algebrasining   {φ1,...,φ n } funksiyalar sistemasi berilgan bo‘lsin.1.Ta`rif. Agar mantiq algebrasining istalgan funksiyasini   {φ1,...,φ n } sistemadagi funksiyalar superpozitsiyasi orqali ifodalash mumkin bo‘lsa, u holda Ф sistema to‘liq funksiyalar sistemasi deb ataladi. Istalgan funksiyani MKNSh yoki MDNSh ko‘rinishida ifodalash mumkinligidan

{xy, x y, x}
funksiyalar sistemasining to‘liqligi kelib chiqadi
{xy, x y, 1}
funksiyalar sistemasi

ham to‘liq bo‘ladi, chunki istalgan funksiyani Jegalkin ko‘phadi ko‘rinishiga keltirish mumkin.

Download 0.85 Mb.

Do'stlaringiz bilan baham:
1   ...   19   20   21   22   23   24   25   26   ...   53




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