4-39. Predikatlar haqida tushuncha
Download 440.13 Kb.
|
diskret matem yakuniy
- Bu sahifa navigatsiya:
- Algoritmning determinatsiyalanuvchanligi (aniqlanuvchanligi).
- Algoritmning natijaviyligi.
- Monoton funksiya
- 50.Tyuring mashinasida algoritmni realizatsiya qilish
- 51.Mulohazalar. Mulohazalar ustida amallar
- 52.Mulohazalar algebrasi formulalarining normal shakllari
- 55. Munosabat tushunchasi
Algoritmning diskretligi. Algoritm – miqdorlarni shunday ketma-ket qurish jarayoniki, boshlang‘ich holatda miqdorlarning dastlabki chekli sistemasi berilgan bo‘lib, har bir navbatdagi momentda miqdorlar sistemasi ma’lum aniqlangan qonun (dastur) asosida oldingi holatdagi miqdorlar sistemasidan hosil qilinadi. Algoritmning determinatsiyalanuvchanligi (aniqlanuvchanligi). Boshlang‘ich holatdan farq qiluvchi boshqa holatda aniqlangan miqdorlar sistemasi ilgarigi holatlarda hosil qilingan miqdorlar sistemasi orqali bir qiymatli aniqlanadi. Algoritm qadamlarining elementarligi. Ilgarigi miqdorlar sistemasidan keyingisini hosil qilish qonuni sodda qadamlardan iborat bo‘lishi kerak. Algoritmning ommaviyligi. Boshlang‘ich miqdorlar sistemasini ayrim potensial cheksiz to‘plamdan tanlash mumkin. Algoritmning natijaviyligi. Miqdorlarni topish jarayoni chekli bo‘lishi va natijani (masalaning yechimini) berishi kerak.
49. Chiziqli funksiyalar, monoton funksiyalar Chiziqli funksiya �(�)=��+� formula bilan aniqlanadigan funksiya, bunda � va � — haqiqiy sonlar hisoblanadi. Xossalari: 1. Barcha haqiqiy � sonlar uchun aniqlangan; 2. haqiqiy qiymatlarni qabul qiladi; 3. k > 0 da oshuvchi, k<0 da kamayuvchi, k=0 da o'zgarmas, OY oʻqni (0,b) nuqtada kesib oʻtadi; 4. Ikki y=kx+b chiziqli funksiya parallel boʻlish sharti: k=k; Ikki funksiya ustma-ust tushish parametrlari esa: k=k va b=b boʻladi; 5. Chiziqli funksiyaning orttirmasi argument � orttirmasiga proporsional. Chiziqli funksiyaning grafigi — toʻgʻri chiziqdir. Monoton funksiya - oʻsuvchi yoki kamayuvchi funksiyalar. Berilgan funksiya biror oraliqda monoton boʻlishi uchun uning orttirmasi Af(x)=f(x+Ax)-f(x), Dx>0, oraliqda ishorasini oʻzgartirmasligi lozim. Agar Ax>0 boʻlganda D/(x) noldan qatʼiy katta yoki qatʼiy kichik boʻlsa, u holda f(x) qatʼiy monoton funksiya deyiladi. Biror oraliqda differensiyalanuvchi funksiya shu oraliqda monoton boʻlishi uchun uning hosilasi oʻzgarmas ishorani saqlashi zarur va yetarlidir 50.Tyuring mashinasida algoritmni realizatsiya qilish Tyuring mashinasining ishi butunlayiga uning dasturi bilan aniqlangadi. Agar ikkita Tyuring mashinalarining funksional sxemalari mushtarak bo'lsa, u holda ular bir-birinien farq etmaydi. Har xil Tyuring mashinalari har xil dasturga ega bo'lani. Tyuring mashinasi algoritm tushunchasin aniqlashding bitta yo'lini ko'rsatadiki. 51.Mulohazalar. Mulohazalar ustida amallar Matematik mantiqning boshlang‘ich tushunchalaridan biri mulohaza tushunchasidir. “Mulohaza” deganda biz rost yoki yolg‘onligi haqida fikr yuritishi mumkin bo‘lgan darak gapni tushunamiz. Har qanday mulohaza yo rost yoki yolg‘on bo‘ladi. Hech bir mulohaza bir vaqtning o‘zida ham rost ham yolg‘on bo‘la olmaydi. Mulohazalar ustida amallar kony. Diz. Inkor. Implikat….. 52.Mulohazalar algebrasi formulalarining normal shakllari Elementar konyunksiyalarning dizyunksiyasiga diz’yunktiv normal shakli (DNSh) deyiladi. Bizga formula berilgan bo’lsa uning DNSh sini quyidagi ko’rinishda yozish mumkin: ,bunda , To’g’ri elementar konyunksiyada formulaning har bir o’zgaruvchisi(yoki o’zi, yoki inkori) ishtirok etsa, bunday elementar konyunksiya o’zgaruvchilarga nisbattan to’liq elementar konyunksiya deyiladi. DNSh ifodasida barcha elementar konyunksiyalar o’zgaruvchilarga nisbattan to’liq va to’g’ri bo’lib, takrorlanuvchilari bo’lmasa mukammal diz’yunktiv normal shakl (MDNSh) deyiladi. Elementar dizyunksiyalarni konyunksiya amali orqali bog’lanishidan hosil bo’lgan ifodaga kon’yunktiv normal shakli (KNSh) deyiladi. KNSh ifodasida barcha elementar dizyunksiyalar o’zgaruvchilarga nisbattan to’liq va to’g’ri bo’lib, takrorlanuvchilari bo’lmasa mukammal kon’yunktiv normal shakl (MKNSh) deyiladi. 55. Munosabat tushunchasi 0> Download 440.13 Kb. Do'stlaringiz bilan baham: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling