Mantiqiy bog'lovchilar, qismiy formula, isbotlanuvchi formula tushunchalarni o'rganib, mulohazalar hisobining aksiomalari sistemasi asosida bir nechta formulani isbotlash va taqdimot tayyorlash
Ko'rgazmada ishning dastlabki 8 ta slayd ko'rsatilgan, yana 6 tasi to'liq faylda. Shtampsiz, tahrirlash mumkin bo'lgan to'liq PPTX fayl to'lovdan so'ng botda yuboriladi.
Ish haqida
«Mantiqiy bog'lovchilar, qismiy formula, isbotlanuvchi formula tushunchalarni o'rganib, mulohazalar hisobining aksiomalari sistemasi asosida bir nechta formulani isbotlash va taqdimot tayyorlash» — tayyor zamonaviy taqdimot. Ish 14 ta slayddan iborat, PPTX formatida, o'zbek tilida; uni PowerPoint dasturida ochib tahrirlash mumkin. Ish turi: taqdimot, prezentatsiya, slayd (PowerPoint, PPTX). Mavzu kirill yozuvida: «Мантиқий боғловчилар, қисмий формула, исботланувчи формула тушунчаларни ўрганиб, мулоҳазалар ҳисобининг аксиомалари системаси асосида бир нечта формулани исботлаш ва тақдимот тайёрлаш». Ko'rgazmada dastlabki 8 ta slayd bepul ko'rsatilgan. Kerakli mavzu topilmasa, Edufayl yangi ishni bir necha daqiqada tayyorlab beradi.
Taqdimot rejasi
- INTUITSIYA ISBOT UCHUN YETARLI EMAS
- Mantiqiy bog'lovchilar tarkibi
- FORMULA VA QISMIY FORMULA
- Mulohazalar hisobi alifbosi
- Aksioma sxemalari
- ISBOTLANUVCHI FORMULA NIMA?
- Modus ponens qoidasi
- Isbot qurish qadamlari
- A→A isboti
- Hisob tarkibi raqamlarda
- FORMAL ISBOTNING AMALIY AHAMIYATI
- Xulosa: isbot aniq qoidalarga tayanadi
Ishdan parcha
¬, ∧, ∨, →, ↔ belgilari oddiy mulohazalardan murakkab formulalar quradi: inkor bittasini o'zgartiradi, qolganlari ikkitasini bog'laydi. Masalan, «yomg'ir yog'adi» va «yer ho'l» mulohazalaridan ∧ yordamida yangi, murakkabroq ifoda hosil bo'ladi.
O'xshash ishlar
