Mantiq algebrasining asosiy tushunchalari reja: I. Kirish II. Nazariy qism III. Amaliy qism IV. Mavzu bo'yisha 5 ta test

Download 86.51 Kb.
bet	1/3
Sana	07.01.2024
Hajmi	86.51 Kb.
	#131430

Bog'liq
Mantiq algebrasining asosiy tushunchalari reja I. Kirish II. Na-fayllar.org
Elektron kundalik milliy ta`lim platformasida dars jadvali ko`rsatkichi, Malumotnoma 17 sentabr, Документ Microsoft Word, 110, Анкета для физ лиц, Shoxaydarova Naz mex, 2022 ФАЛСАФА Мажмуа1 11(1) — копия, Bobomurod kurs ish, Документ Microsoft Word, My Writing task 1, BAXTISHOD, bowlan matem, 1. Mantiqiy elementlar va ularning parametrlari. “Va” “Yoki” va , fayllarga kiritish

Bu sahifa navigatsiya:

• IV. MAVZU BOYISHA 5 TA TEST V. XULOSA VI. FOYDALANILGAN INTERNET SAYTLARI VA ADABIYOTLAR. I. KIRISH

Mantiq algebrasining asosiy tushunchalari reja: I. Kirish II. Nazariy qism III. Amaliy qism IV. Mavzu bo'yisha 5 ta test MANTIQ ALGEBRASINING ASOSIY TUSHUNCHALARI REJA: I. KIRISH II. NAZARIY QISM III. AMALIY QISM IV. MAVZU BO'YISHA 5 TA TEST V. XULOSA VI. FOYDALANILGAN INTERNET SAYTLARI VA ADABIYOTLAR. I. KIRISH: Mantiq – mantiqiy tafakkur shakli va qonunlari haqidagi fan. Mantiq fanining obyekti – tafakkur qonunlari, shakllari, uslublari va amallaridir. Mantiq fani u o’rganadigan predmet sohasining turi bo’yicha ikki bolimdan iborat: formal mantiq va dialektik mantiq. Formal mantiq statik borliqqa, dialektik mantiq dinamik borliqqa oiddir. Formal mantiq ilmi asoslari eramizdan avvalgi IV asrda buyuk yunon olimi Arastu (Aristotel) tomonidan yaratilgan. IX asrda yashab o’tgan Markaziy Osiyolik alloma Abu Nasr Forobiy Arastuning umumiy formal mantiq tizimini uning boshqa asarlari asosida toldirib, o’z zamonasi uchun eng muhim mantiq fanini shakllantirib bergan. yo rost, yo yolg’on bo’lishi mumkin, qiymatlari ikkilik sanoq tizimiga xos fikrlar, ya’ni hukmlar ustida matematik tahlil va deduktiv fikrlashni (birinchi mavzuda ta’kidlab o’tilganidek) birinchi bo’lib XIX asrda ingliz matematigi (irlandiyalik) Jorj Bui qo’llagan. Bu Bui algebrasi deb ataluvchi mantiq algebrasi nazariyasi rivojlanishiga va oxir-oqibatda XX asr o’rtalarida elektron hisoblash mashinalarining yaratilishiga olib kelgan. Chunki zamonaviy kompyuterlar faqat 0 va 1 qiymatlarni tushunadi va shularga asoslanib mantiqiy bog’liqlik asosida ishlaydi. Mulohazalar sodda va murakkab bo’hshi mumkin. Biror shart yoki usul bilan boglanmagan hamda faqat bir holatni ifodalovchi mulohazalar sodda mulohazalar deyiladi. Sodda mulohazalar ustida amallar bajarib, murakkab mulohazalarni hosil qihsh mumkin. Odatda, murakkab mulohazalar sodda mulohazalardan “VA”, “YOKI” kabi boglovchilar, “EMAS” shaklidagi ko’makchilar yordamida tuziladi. Mulohazalarni lotin alifbosi harflari bilan belgilash (masalan, A=“Bugun havo issiq”) qabul qilingan. Har bir mulohaza faqat ikkita: ‘‘rost” yoki ‘‘yolg’on” mantiqiy qiymatga ega bolishi mumkin. Qulaylik uchun “rost” qiymatni 1 raqami bilan, “yolg’on” qiymatni esa 0 raqami bilan belgilab olamiz. Download 86.51 Kb.

Download 86.51 Kb.