Ravshanov Amirning Ma’lumotlar tuzulmasi algoritimi fanidan

Muhammad al-Xorazmiy nomidagi
Toshkent Axborot texnologiyalari Universiteti
Samarqand filiali
“Telekammunikatsiya texnologiyalari va kasb
ta’limi” fakulteti
“RI” 21-09 guruh 2-bosqich talabasi
Ravshanov Amirning
Ma’lumotlar tuzulmasi algoritimi fanidan

amALIY ishi






Mavzu: Post teoremasi

Reja:

1.Funksiyaning nol saqlovchi yoki bir saqlovchiligini tekshirish.
2.L- chiziqli funksiyalar sinfiga tegishli yoki tegishli emasligini tekshirish.
3.Funksiyalarning S-o‘z-o‘ziga qo‘shma funksiyalar sinfiga kirishini tekshirish.
4.Funksiyalar sistemasidagi funksiyalarni monotonligini tekshiramiz.


1-ta’rif. Superpozitsiyaga nisbatan yopiq bulgan har qanday mantiq algebrasining funksiyalar sistemasiga funksional yopiq sinf deb aytiladi.
Ravshanki, ma’lum bir xil xususiyatga ega bulgan funksiyalar sistemasi funksional yopiq sinfni tashkil etadi va, aksincha, ma’lum funksional yopiq sinfga kiruvchi funksiyalar bir xil xususiyatga ega bulgan funksiyalardir. Quyidagi funksiyalar sistemasi funksional yopiq sinflarga misol bula oladi:
a) bir argumentli funksiyalar;
b) xamma mantiq algebrasining funksiyalari;
v) - chizikli funksiyalar;
g) - uz-uziga ikkitaraflama funksiyalar;
d) - monoton funksiyalar;
ye) - nol qiymatni saqlovchi funksiyalar;
j) - bir qiymatni saqlovchi funksiyalar.
2-ta’rif. Bo’sh sinfdan va mantiq algebrasining xamma funksiyalari tuplamidan farq qiluvchi funksional yopiq sinfga xususiy funksional yopiq sinf deb aytiladi.
Shunday qilib, funksiyalar sistemasining tuliqligi uchun bu sistemada har qanday xususiy funksional yopiq sinfga kirmovchi funksiya topilishi yetarli va zarurdir.
3-ta’rif. Uz-uzidan va mantiq algebrasining hamma funksiyalari sinfi dan farq qiluvchi funksional yopiq sinflarga kirmovchi xususiy funksional yopiq sinfga maksimal funksional yopiq sinf deb aytiladi.
Mantiq algebrasida hammasi bo’lib beshta maksimal funksional yopiq sinf mavjud:
- nol saqlovchi funksiyalar sinfi, - bir saqlovchi funksiyalar sinfi, - uz-uziga ikkitaraflama funksiyalar sinfi, - chiziqli funksiyalar sinfi.