Mantiqiy dasturlash xususiyatlari

Birinchi tartibli mantiq

Bu taxminiy mantiqning bir yo'nalishi. Ob'ektlar domen deb nomlangan qisman dunyo nuqtai nazaridan haqiqiy yoki yolg'on ekanligini ko'rib chiqing. Mantiqiy dasturlash birinchi darajali mantiqni umumlashtirishga asoslanadi.
Ushbu mantiq sintaksis va semantikadan iborat. Sintaksis - tushunchalarni ifodalash uchun ishlatiladigan rasmiy til. Boshqa tomondan, birinchi darajali mantiqiy formulalarning semantikasi har qanday formulaning haqiqiy qiymatini qanday aniqlashni ko'rsatadi.
Ushbu mantiq alifbo va birinchi tartibli tilga, shuningdek aksiomalar va xulosalar qoidalariga asoslangan. Birinchi tartibli mantiq oid misollar:
1-misol
- Fakt: Rubi mushuk.
- Qoida: barcha mushuklarning tishlari bor.
- Maslahat: Rubining tishlari bormi?
- Xulosa: ha.
"Barcha mushuklarning tishlari bor" qoidasini Rubiga nisbatan qo'llash mumkin, chunki "Rubi - mushuk" degan haqiqat bor. Ushbu misol haqiqiy dasturlash tili uchun hech qanday sintaksis bilan yozilmagan.
2-misol
Ushbu misolni Prologda yozilgan holda ko'rish mumkin, chunki u eng mashhur mantiqiy dasturlash tillaridan biri hisoblanadi:
- ayol (alissa).
- erkak (bobbi).
- erkaklar (karlos).
- ayol (doris).
- son_of (doris, karlos).
- son_of (karlos, bobbi).
- son_of (doris, alissa).
- otasi (F, P): - erkak (F), o'g'li (P, F).
Ushbu dasturni o'qish qiyinlashadi, chunki Prolog boshqa tillardan farq qiladi. "Ayol (alissa)" ga o'xshash har qanday kod komponenti. bu haqiqat.
Bitta qoida - "father_of (F, P): - erkak (F), son_of (P, F)". ": -" belgisini "agar rost bo'lsa" deb o'qish mumkin. Katta harflar o'zgaruvchilarni har qanday ob'ektga qo'llash mumkinligini anglatadi, shuning uchun F karlos, doris, alissa yoki bobbi uchun ishlatilishi mumkin. Ushbu kodni quyidagicha tarjima qilish mumkin:
- Alissa ayol.
- Bobbi erkak.
- Karlos erkak.
- Doris ayol.
- Doris Karlosning qizi.
- Karlos Bobbining o'g'li.
- Doris - Alissaning qizi.
- "F - P ning otasi", agar F erkak bo'lsa va P F ning o'g'li bo'lsa, haqiqatdir.
Xulosa.
Mantiqiy dasturlash bu faktlar va qoidalar qanday bayon qilinishini boshqarish uchun faqat matematik funktsiyalardan ko'ra mantiqiy davrlardan foydalanadigan dasturiy paradigmadir. Haqiqat va mantiqiy ajratish Mantiqiy dasturlarni ikkita muhim tushunchalar orqali hal qilish mumkin: haqiqat va mantiqiy deduksiya. Haqiqat dasturdagi hisob-kitoblarning to'g'riligiga yoki yo'qligiga, dastur belgilarining bajarilishi ostida chiqar ekan. Ushbu mantiq alifbo va birinchi tartibli tilga, shuningdek aksiomalar va xulosalar qoidalariga asoslangan ekan.


Foydalanilgan adabiyolar

1. Davlеtshin M.G. Zamonaviy maktab o’qituvchisining psixologiyasi. “Pеdagogika va psixologiya” (ilmiy ommabop sеriya). T., Nizomiy nomiдaгi TDPU, 1999/1.

2.Зимняя И.А. Педагогическая психология: Учебник для вузов. Изд. второе, доп., испр. и перераб. - М.: Логос, 2002.- 384 с.
3.Кан-Калик В.А. Учителю о педагогическом общении.– М.1987.С.155-176. 10.Karimova V.M., Sunnatova R.I., Tojibaеva R.N. Mustaqil fikrlash. - T.: Sharq. 2000. - 111