Mantiqiy bogʻlovchilar, qismiy formula, isbotlanuvchi formula tushunchalarini oʻrganib, mulohazalar hisobining aksiomalar sistemasi asosida bir nechta formulani isbotlash va taqdimot tayyorlash
Ko'rgazmada ishning dastlabki 8 ta slayd ko'rsatilgan, yana 10 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 tushunchalarini oʻrganib, mulohazalar hisobining aksiomalar sistemasi asosida bir nechta formulani isbotlash va taqdimot tayyorlash» — tayyor taqdimot. Ish 18 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
- Mantiqiy bog'lovchilar: Ma'no va Vazifasi
- Formulalar: Turlari va Tuzilishi
- Aksiomalar sistemasi: Asosiy Tamoyillar
- Formulalarni Isbotlash Bosqichlari
- Isbotlash Misollari: Birinchi Formula
- Isbotlash Misollari: Ikkinchi Formula
- Qismiy va Isbotlanuvchi Formulalar Taqdimoti
- Mantiqiy Bog'lovchilar va Hisoblash
- Aksiomalar Sistemasining Afzalliklari
- Amaliy Mantiq va Hisoblash
- Hozirgi Zamonda Mantiqiy Tizimlar
- Kelajak istiqbollari
- Qisqacha Xulosa
Ishdan parcha
Ushbu taqdimotda biz mantiqiy mulohazalar dunyosiga sho'ng'iymiz. Mantiqiy bog'lovchilar, qismiy va isbotlanuvchi formulalar kabi asosiy tushunchalarni o'rganib, ularning aksiomalar sistemasidagi o'rnini va amaliy isbotlash usullarini ko'rib chiqamiz.
O'xshash ishlar
