1-mavzu: Kirish uslubmetdiReja

Funktsional dasturlash
Dasturni kirish ma'lumotlari asosida natijalar beradigan sof funktsiyalar to'plami ko'rinishida aks ettirish.
Hisoblash modeli - b-hisob
Boshqarish / ajralish mexanizmlari:

• 
  Birinchi sinf ob'ekti sifatida sof funktsiya
  
• 
  Funktsional qo'ng'iroq (shu jumladan, rekursiv)
  
• 
  Leksik kontekst, yopilish
  

Modullikning elementar birliklari:

• 
  Funktsiya (shu jumladan yuqori darajadagi, umumiy va boshqalar)
  

Asosiy tushunchalar:
Ob'ektlarning statsionar holati
Identifikatorni (o'zgaruvchini) ishga tushirishda unga ba'zi bir qiymat (ob'ekt) beriladi, uni o'zgartirish mumkin emas. Bunday holda, xuddi shu nomga ega bo'lgan identifikatorni boshqa ma'noga ega bo'lgan boshqa leksik kontekstda aniqlash mumkin.
Sof funktsiya - bu nojo'ya ta'sirlarga ega bo'lmagan funktsiya, ya'ni. uning yagona samarasi faqat dalillarga bog'liq bo'lgan natija berishdir.
Mantiqiy dasturlash
Mantiqiy dasturlash metodikasi - bu yondashuv, unga ko'ra dastur muammoning tavsifini so’ 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.