Farg’ona davlat universiteti fizika-matematika fakulteti informatika o’qitish metodikasi yo’nalishi talabasining Informatikani o’qitish texnologiyalari va loyihalashtirish fanidan Mustaqil ish Tayyorladi: 17. 05-guruh talabasi

8. Bilimlarni tasvirlash uchun mantiqni qo’llashga doir misollar.

Predikatlar mantiqi sintaksisini bir qancha o’zbek tilidagi jumlalar bilan taqqoslab, ularning tarjimasini formal mantiq tiliga qo’yib illyustratsiya qilamiz.

- O’zbek tili bo’yicha: Axmad Toshmatga kitobni yuborayapti.
- Mantiq bo’yicha: Jo’natma (Axmad-2, Toshmat-4, Kitob-22).
- O’zbek tilida: Har bir inson dam oladi.
- Mantiqda: V x (Inson (x) Dam oladi (x)).
-O’zbek tilida: Qaysidir insonlar dam olishadi.
- Mantiqda x (Inson (x) Dam olishadi (x)). 
Oxirgi ikkita misolni taqqoslab «Har bir» so’zining «qaysidir» so’ziga almashshishi nafaqat ni kvantorga almashtiradi, bog’liqlikni bog’liqlikka almashtiradi. Bu shunday faktni keltirib chiqaradiki, tabiiy tildagi jumlalarni mantiqiy tilga tarjima qilish, trafaret operatsiya hisoblanmaydi.
- O’zbek tilida: Hech bir odam dam olmaydi.
- Mantiqda: ( X (Inson (x) Dam olmaydi (x))).

XULOSA

Xulosa qilib aytganda, elektron ta’lim tizimi sifatini baholash mezonlari va usullari o‘qitish jarayoni sifatini boshqarishni amalga oshirishga imkon beruvchi tizimni ishlab chiqish, joriy etish va foydalanish muhim ahamiyatga molikdir. Ixtisoslik fanlarini o’qitishning intellektual tizimi talabaning individual xususiyatlarini hisobga olgan holda, yopiq tizimda, avtomatlashtirilgan boshqaruv vositasida, mustaqil, individual, jamoaviy va masofaviy shakllarda shaxsning kamolotiga yo’naltirilgan, aniq maqsadlarga qaratilgan ta’lim jarayonini amalga oshirish imkonini beradi.

FOYDALANILGAN ADABIYOTLAR

1. 
   Dilshod Mirzayev “Sharh va fikr-mulohazalar”
   
2. 
   Nazrulla Muslimov, Nasiba Gaipova “Texnologiya” 2009-yil
   
3. 
   Дюк В.А., Самойленко А.П Data Mining: учебный курс.// СПб.: 2001.
   

4. 
   Бекмуратов Т.Ф., Бобомуродов О. Ж. Интеллектуал ўқитиш тизимларида БО модели асосида ўқитишни ташкил этиш//Совместный выпуск Узбекский журнал "Проблемы информатики и энергетики". – Ташкент.
   
5. 
   WWW.ziyonet.uz