4-39. Predikatlar haqida tushuncha

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