1. Dasturiy ta’minot va uning turlari

P ost teoremasi. E. L. Post tomonidan funksiyalar sistemasi to‘liqligining yetarli va zarur shartlari topilgan.
P o s t t e o r e m a s i . funksiyalar sistemasi to‘liq bo‘lishi uchun bu sistemada maksimal funksional yopiq sinflarning har biriga kirmaydigan kamida bitta funksiya mavjud bo‘lishi.
Amalda berilgan funksiyalar sistemasining to‘liq yoki to‘liq emasligini aniqlash uchun Post jadvali deb ataluvchi jadvaldan foydalaniladi. Post jadvali quyida keltirilgan.


275. Post teoremasi va uning tadbiqi.( Yopiq sinflar. Xususiy funksional, maksimal funksional yopiq sinf. Post teoremasi. To‘plam yopig‘i. Post jadvali.)
Funksiyalarning bunday xususiyatlarini tekshirish uchun odatda funksional yopiq sinf tushunchasidan foydalaniladi.

2. 
   t a ’ r i f . Agar A sistemadagi funksiyalar superpozitsiyasidan hosil bo‘lgan funksiya ham shu sistemaning elementi bo‘lsa, u holda bunday sistema superpozitsiyaga nisbatan yopiq sistema deb ataladi.
   
3. 
   t a ’ r i f . Mantiq algebrasining superpozitsiyaga nisbatan yopiq bo‘lgan har qanday funksiyalar sistemasi funksional yopiq sinf deb ataladi.
   
4. 
   t a ’ r i f . Bo‘sh sinfdan va mantiq algebrasining hamma funksiyalari to‘plamidan farq qiluvchi funksional yopiq sinf xususiy funksional yopiq sinf deb ataladi.
   

Shunday qilib, funksiyalar sistemasining to‘liq bo‘lishi uchun bu sistemada har qanday xususiy funksional yopiq sinfga kirmaydigan funksiya topilishi yetarli va zarurdir.

2.