Қўқон университети хабарномаси (2023) · 1268-1269-betlar
KOMPYUTERNING MANTIQIY ISHLASH PRINSIPI
Abdullajonov Davronjon Shokirjon o‘g‘li, Tursunaliyeva Mohinurxon SHerqo’ziyevna
Annotatsiya
Mantiq ilmining alohida fan sifatida shakillanishi miloddan avvalgi IV asrda yashab o’tgan buyuk yunon olimi Arastu bilan bog’liq.U birinchi bo’lib mantiq ilmi o’rganadigan masalalar doirasini aniqlagan. Olim birinchi martda mantiqiy tafakkur shakllarini uning mazmunidan ajratib mantiq va matematikani uyg’unlashtirishga harakat qildi va dalillar nazariyasiga asos soldi. Formal mantiq: statik voqealikka oid bo’lib, tafakkur strukturasini fikrning aniq mazmuni va taraqqiyotidan chetlashgan holda, nisbatan mustaqil ravishda o’ranadi.Uning diqqat markazida muhokamani to’g’ri qurish bilan bog’liq qoida va mantiqiy amallar yotadi. Matematik mantiq: tafakkurni matematik usullar yordamida tadqiq etadi. U hozirgi zamon matematikasing muhim yo’nalishlaridan biri hisoblanadi.
mantiq, kompyuter, diskret qurilmalar, argument, konyunktor, dizyunktor, inventor.
Metadata manbasi: jurnal OAI-PMH arxivi · Sindex toʻliq matnni saqlamaydi, manbaga havola beradi.