1. Dasturiy ta’minot va uning turlari

T a ’ r i f . Agar munosabatdan tengsizlikning bajarilishi kelib chiqsa, u holda funksiya monoton funksiya deb ataladi.
T a ’ r i f . Agar munosabatdan tengsizlikning
bajarilishi kelib chiqsa, u holda nomonoton funksiya deb ataladi.
1- t e o r ema . Monoton funksiyalarning superpozitsiyasidan hosil qilingan funksiya ham monoton funksiya bo‘ladi.
2- t e o r ema . Agar bo‘lsa, u holda undan argumentlari o‘rniga 0, 1 va x funksiyani qo‘yish usuli bilan funksiyani hosil qilish mumkin.
T a ’ r i f . Agar funksiya uchun bo’lsa, u holda u 0 saqlovchi funksiya, bo’lganda esa 1 saqlovchi funksiya deb ataladi.
278. Mulohazalar algebrasida chiziqli funksiyalar sinfi.(Chiziqli funksiyalar sinfi, Jigalkin ko’phadi)
1- ta’rif. ko‘rinishdagi ko‘phad Jegalkin ko‘phadi deb ataladi, bu yerda hamma o‘zgaruvchilar birinchi darajada qatnashadi, qiymatlar satrida hamma lar har xil bo‘ladi, .
2- ta’rif. ko‘rinishdagi funksiya chiziqli funksiya deb ataladi, bu yerda . Chiziqli funksiyaning ifodasidan ko‘rinib turibdiki, ta argumentli chiziqli funksiyalar soni ga teng va bir argumentli funksiyalar doimo chiziqli funksiya bo‘ladi.
279. Predikatlar va ular ustida mantiqiy amallar bajarish.(Kvantor amallari. Teng kuchli formulalar)
Predikatlar ustida mantiqiy amallar Predikatlar ham mulohazalar singari faqatgina chin yoki yolg'on (1 yoki 0) qiymat qabul gilganliklari tufayli ular ustida mulohazalar mantiqidagi hamma mantiqiy amallami bajarish mumkin.
T a' ri f. Berilgan M to plamda aniqlangan P(x) va Q(x) predikatlarning kon 'yunksiyasi deb, faqat va faqat qiymatlarda aniqlangan hamda P(x) va Q(x) lar bir vaqtda chin qiymat qabul qilgandagina chin qivmat qabul qilib, qolgan barcha hollarda yolg'on qiymat qabul qiluvchi yangi predikatga aytiladi va u kabi belgilanadi.