Teng kuchli formulalar va asosiy teng kuchliliklar Ta’rif

Xuddi mulohazalar algebrasigidek qavslarni soddalashtirishga kelishib olaylik.

• 
  Xuddi mulohazalar algebrasigidek qavslarni soddalashtirishga kelishib olaylik.
  
• 
  nazariyaning cheksiz aksiomalari to‘plami faqat yuqoridagi 3 ta aksiomalar qolini orqali beriladi.
  
• 
  Har bir formulaning aksioma bo‘lish yoki bo‘lmasligini osongina tekshirish mumkin va shuning uchun effektiv aksiomalashtirilgan nazariyadir.
  
• 
  Bizning maqsadimiz sistemani shunday qurishdan iboratki, unda uning barcha teoremalari sinfi mulohazalar mantiqini barcha tavtologiyalari sinfi bilan ustma-ust tushish.
  

Graflar, izomofizm, tiplar, bog’lanishlik
1736-yilda L. Eyler tomonidan o'sha davrda qiziqarli amaUy masalalardan bin hisoblangan Kyonigsberg¹ ko'priklari haqidagi masalaning qo'yi-lishi va yechilishi graflar nazariyasining paydo bo'lishiga asos bo'ldi.
Kyonigsberg shahridagi Pregel daryosi ustida qurilgan yetti ko'prikning joylashuvi 1-shakldagi qadimiy xaritada tasvirlangan.
Graflar nazariyasi bo'yicha tadqiqotlar natijalari inson faoliyatining turli sohalarida qo'llaniladi. Ulardan ba'zilari quyidagilardir: boshqotirmalarni hal qilish; qiziqarli o'yin-lar; yo'llar, elektr zanjirlari, integral sxe-malari va boshqarish sistemalarini loyiha-lashtirish; avtomatlar, blok-sxemalar va kompyuter uchun programmalarni tadqiq qilish va hokazo.
Algoritm — maʼlum bir turga oid masalalarni yechishda ishlatiladigan amallarning muayyan tartibda bajarilishi haqidagi aniq qoida (dastur). Kibernetika va matematikaning asosiy tushunchalaridan biri. Oʻrta asrlarda sanoqning oʻnli tizimi boʻyicha toʻrt arifmetik amal bajariladigan qoidani A. deb atashgan. "Bu qoidalarni matematikaga IX asrda al-Xorazmiy kiritgan. Yevropada bunday qoidalar uning tugilgan yurtiga nisbatan lotinchalashtirilgan (Algoritmus yoki Algorithmus shaklida „algorizm“ deyilgan), keyinchalik „algoritm“ga aylangan". Fanda „Yevklid algoritmi“, „Gʻiyosiddin Koshiy algoritmi“, „Laure algoritmi“, „Markov algoritmi“ deb ataluvchi algoritmlar maʼlum. Algoritm tushunchasi tobora kengayib borib, kibernetikaning nazariy va mantiqiy asosi hisoblangan algoritmlar nazariyasi paydo boʻldi. Oʻzbekistonda bir necha ilmiy tadqiqot muassasalari va hisoblash markazlarida algoritmdan foydalanish sohasida samarali ishlar olib borilmoqda. Masalan, Oʻzbekiston Fanlar Akademiyasi „Kibernetika“ ilmiy ishlab chiqarish birlashmasida, Oʻzbekistondagi barcha universitetlarda, Toshkent davlat texnika universitetida, Oʻzbekiston Respublikasi Makroiqtisod va statistika vazirligi qoshidagi Hisoblash markazi va boshqa muassasalarda olib borilayotgan ishlar bunga misol boʻla oladi