Dasturlash paradigmasining asosiy tushunchalari Reja

Mantiqiy dasturlash
Mantiqiy dasturlash metodikasi - bu yondashuv, unga ko'ra dastur muammoning tavsifini faktlar va mantiqiy formulalar nuqtai nazaridan o'z ichiga oladi va tizim xulosa chiqarish mexanizmlari yordamida muammoni hal qiladi.
Mantiqiy dasturlash XX asrning 60-yillari oxiriga to'g'ri keladi, o'shanda Kordell Grin piksellar sonini mantiqiy dasturlashning asosi sifatida ishlatishni taklif qiladi. Alan Kolmero 1971 yilda Prolog mantiqiy dasturlash tilini yaratdi. Mantiqiy dasturlash mashhurlikning eng yuqori cho'qqisini XX asrning 80-yillari o'rtalarida boshlagan, u beshinchi avlod hisoblash tizimlari uchun dasturiy ta'minotni ishlab chiqarish loyihasi uchun asos bo'lgan.
Ushbu yondashuvning muhim afzalligi - bu mashina mustaqilligining etarlicha yuqori darajasi, shuningdek, echim topish jarayonida variantlardan birini tahlil qilishning salbiy natijasi bo'lsa, oldingi subgoalga qaytish.
Kontseptual ravishda mantiqiy yondashuvning kamchiliklaridan biri bu echilayotgan vazifalar sinfining o'ziga xosligi.
Yana bir amaliy kamchilik - hayotni qo'llab-quvvatlash tizimlari uchun real vaqtda qaror qabul qilish uchun samarali amalga oshirish qiyinligi.
Dastur tuzilishining notekisligi deklarativ yondashuvning o'ziga xos xususiyati bo'lib, aniq aytganda, ob'ektiv nuqson emas, o'ziga xos xususiyatdir.
Yondashuvlar va usullar
Bundan tashqari, dasturlash paradigmasining yondashuvlari va texnikasi batafsilroq taqdim etiladi:

• 
  Tarkibiy dasturlash
  
• 
  Protseduraviy dasturlash
  
• 
  Umumlashtirilgan dasturlash
  
• 
  Dalillarga asoslangan dasturlash
  
• 
  Generativ dasturlash
  
• 
  Aspektga yo'naltirilgan dasturlash
  
• 
  Rekursiya
  
• 
  Avtomatlashtirilgan dasturlash
  
• 
  Hodisalarga asoslangan dasturlash
  
• 
  Komponentga yo'naltirilgan dasturlash
  
• 
  Savodxon dasturlash