4-39. Predikatlar haqida tushuncha

Formulaning chinlik to‘plami tushunchasi. Ma’lumki, berilgan ta o‘zgaruvchi elementar mulohazalar uchun barcha bir-biridan farqli mumkin bo‘lgan qiymatlar satrlari kombinatsiyalari ta Tarkibida n ta o‘zgaruvchilar ishtirok etgan formula shu ta qiymatlar satrlarining bir qismida 1, qolgan qismida esa 0 qiymatni qabul qiladi.
Berilgan formula tarkibidagi elementar mulohazalarning qiymatlaridan qandaydir tartibda tuzilgan va shu formulaning 1 qiymatiga mos keluvchi barcha kortejlar to‘plami formulaning chinlik to‘plami deb ataladi. Tarkibidagi o‘zgaruvchilarning soni qanday bo‘lishidan qat’iy nazar, aynan yolg‘on formulaning chinlik to‘plami bo‘sh () to‘plamdan iboratdir.


_61.L nazariya uchun Gyodelning to‘liqlik haqidagi teoremasi.
Agar quyidagi shartlar bajarilsa, u holda formal (aksiomatik) nazariya aniqlangan xisoblanadi:

1. 
   Sanoqli simvollar to‘plami- nazariyaning simvollari berilgan bo‘lsa nazariyaning chekli simvollari ketma-ketligi ning ifodasi deyiladi.
   
2. 
   nazariyaning formulalari deb ataluvchi ning ifodalari to‘plami berilgan bo‘lsa. (odatda, berilgan ifodaning formula bo‘lish bo‘lmasligini aniqlovchi effektiv jarayon beriladi).
   
3. 
   nazariyaning aksiomalari deb ataluvchi formulalar majmuasi to‘plami ajratilgan bo‘lsa. (ko‘pgina hollarda nazariyaning berilgan formulasi aksioma bo‘lish yoki bo‘lmasligini effektiv aniqlash mumkin bo‘ladi; bu holda ni effektiv aksiomalashtirilgan yoki aksiomatik nazariya deyiladi).
   

62. Lokal va global o`zgaruvchilar
O‘zgaruvchilar funksiya tanasida yoki undan tashqarida e’lon qilinishi mumkin. Funksiya ichida e’lon qilingan o‘zgaruvchilarga lokal o‘zgaruvchilar deyiladi. Bunday o‘zgaruvchilar xotiradagi dastur stekida joylashadi va faqat o‘zi e’lon qilingan funksiya tanasida amal qiladi. Boshqaruv asosiy funksiyaga qaytishi bilan lokal o‘zgaruvchilar uchun ajratilgan xotira bo‘shatiladi (o‘chiriladi). Har bir o‘zgaruvchi o‘zining amal qilish sohasi va yashash vaqti xususiyatlari bilan xarakterlanadi. Lokal o‘zgaruvchilar o‘zlari e’lon qilingan funksiya yoki blok chegarasida ko‘rinish sohasiga ega. Blokdagi ichki bloklarda xuddi shu nomdagi o‘zgaruvchi e’lon qilingan bo‘lsa, ichki bloklarda bu lokal o‘zgaruvchi ham amal qilmay qoladi.
64.C++ dasturlash tilida standart kutubxonalar
C ++ standart kutubxonasi bir nechta umumiy konteynerlar, ushbu konteynerlardan foydalanish va ularni boshqarish funktsiyalari, funktsiyalar ob'ektlari, umumiy satrlar va oqimlar (shu jumladan interaktiv va fayl kiritish-chiqarish), ba'zi til xususiyatlarini qo'llab-quvvatlash va kundalik vazifalarni topish kabi funktsiyalarni taqdim etadi. C++tilida bir qancha kutubxonalar bo’lib ular: Faylning joylashuvi:
fgetpos oqimning joriy holatini aniqlash.
fseek oqimning holatini aniqlovchi indekator.
fsetpos oqimlar to‘plarining joylashuvini aniqlovchi indekator.
ftell oqimning joriy holatini aniqlash.
rewind oqimlarning boshlang‘ich holatini aniqlash.
Xatolarga ishlov berish:
clearerr xatolik indekatorini o‘chirish.
feof fayl oxiri indekatorini tekshirish.
ferror xatolik indekatorini tekshirish.
perror bosmalashdagi xatolik xabari.