Режа: Қатъиймас тўпламлар устида математик амаллар. Қатъиймас тўпламларнинг t ва s нормалари

Shnayder қатъиймасmantiqiy ifodalarni tasvirlash uchun xuddi shu tildan foydalanishni taklif qildi.Quyida iqlim nazorati tizimining tavsifiga misol keltirilgan:issiq, nam havo qulay emas (terlash shakllari); havo sovuq va juda quruq bo'lsa, nafas olish ham qiyin. Eng qulay vaziyat havo issiq va quruq yoki sovuq va nam bo'lganda. Bu formulalarni қатъиймасmantiq uchun narvon diagrammalari tilida tasvirlash mumkin (8-rasm):Konfor = (Past Harorat VA Yuqori Namlik) YOKI (Yuqori Harorat VA Past Namlik).Bu mantiqiy ifoda, majburiy havo aylanishi bo'lmagan xonada odamning his-tuyg'ularini tasvirlaydi.

Shnayder қатъиймасmantiqiy ifodalarni tasvirlash uchun xuddi shu tildan foydalanishni taklif qildi.Quyida iqlim nazorati tizimining tavsifiga misol keltirilgan:issiq, nam havo qulay emas (terlash shakllari); havo sovuq va juda quruq bo'lsa, nafas olish ham qiyin. Eng qulay vaziyat havo issiq va quruq yoki sovuq va nam bo'lganda. Bu formulalarni қатъиймасmantiq uchun narvon diagrammalari tilida tasvirlash mumkin (8-rasm):Konfor = (Past Harorat VA Yuqori Namlik) YOKI (Yuqori Harorat VA Past Namlik).Bu mantiqiy ifoda, majburiy havo aylanishi bo'lmagan xonada odamning his-tuyg'ularini tasvirlaydi.

Guruch. 8. қатъиймасmantiq uchun narvon tiliқатъиймасmantiq tasnifiTasniflash odatda ikki qismdan iborat:— tayyorlash: ko‘rib chiqilayotgan sinflarni aniqlash;- ekspluatatsiya paytida: elementlarni sinflarga belgilash.Sinflar va to'plamlar tushunchalari oddiy mantiq bilan bir xil.Natijaga ko'ra, uchta turdagi tayinlash usullari mavjud:- binar: element sinfga tegishli yoki tegishli emas;- ehtimollik: element ikkilik sinfga tegishli bo'lishi mumkin, masalan, bemor sanab o'tgan alomatlar asosida tashxis qo'yish (tashxis qo'yish),- gradatsiya: element sinfga tegishlilik darajasiga ega, masalan, "salat" "yangi ko'katlar" guruhiga tegishli.

Guruch. 8. қатъиймасmantiq uchun narvon tiliқатъиймасmantiq tasnifiTasniflash odatda ikki qismdan iborat:— tayyorlash: ko‘rib chiqilayotgan sinflarni aniqlash;- ekspluatatsiya paytida: elementlarni sinflarga belgilash.Sinflar va to'plamlar tushunchalari oddiy mantiq bilan bir xil.Natijaga ko'ra, uchta turdagi tayinlash usullari mavjud:- binar: element sinfga tegishli yoki tegishli emas;- ehtimollik: element ikkilik sinfga tegishli bo'lishi mumkin, masalan, bemor sanab o'tgan alomatlar asosida tashxis qo'yish (tashxis qo'yish),- gradatsiya: element sinfga tegishlilik darajasiga ega, masalan, "salat" "yangi ko'katlar" guruhiga tegishli.