Mantiqiy dasturlash xususiyatlari

Muhammad al-Xorazmiy nomidagi Toshkent axborot texnologiyalari universiteti “Kompyuter injiniring” fakulteti “Multi media va texnologiya” kafedrasi Dasturlash uslublari va paradigmalar fanidan Mustaqil ish Mavzu: Mantiqiy dasturlashning funksional modeli Guruh: 219-21 Bajardi: Erkaboyeva Sanobar Tekshirdi: _______ Toshkent 2023

REJA:

1. 
   Mantiqiy dasturlash xususiyatlari.
   

2. 
   Haqiqat va mantiqiy ajratish.
   

3. Birinchi tartibli mantiq.

4. 
   Xulosa.
   

5. 
   Foydalanilgan adabiyolar.
   

Mantiqiy dasturlash xususiyatlari

Mantiqiy dasturlash bu faktlar va qoidalar qanday bayon qilinishini boshqarish uchun faqat matematik funktsiyalardan ko'ra mantiqiy davrlardan foydalanadigan dasturiy paradigma.Qachon bajarilishini va funktsiya chaqiruvlarini yoki boshqa ko'rsatmalarni qanday baholashni belgilaydigan puxta tuzilgan boshqaruv oqimi o'rniga dasturning mantiqiy qoidalari mantiqiy band yoki predikat sifatida yoziladi. Ko'pincha evolyutsion va genetik dasturlashda qo'llaniladigan ushbu yondashuv, odatda, qanday maqsadga erishish uchun emas, balki modelga qanday maqsadga erishish kerakligini aytadi. Har bir qoida bajariladigan matematik funktsiyani emas, balki sarlavha va rasmiylashtirilgan mantiqga ega tanani o'z ichiga oladi. Masalan, "Va to'g'ri (sarlavha): agar C1, C2 va C3 haqiqiy bo'lsa (tanasi)." Faktlar yoki natijalar "Va haqiqat" kabi tanasiz ifodalanadi. Biroq, ba'zi bir Prolog kabi dasturlash tillari bilan modelga ba'zi muammolarni qanday hal qilishni aytib berish uchun imperativ dasturlash ham kiritilishi mumkin. Masalan, "Y ni yechish uchun C1, C2 va C3 ni qo'shing."