Informatika va programmalash


§1.3. Matematik mantiqning informatikadagi roli



Download 1,53 Mb.
bet8/74
Sana13.07.2022
Hajmi1,53 Mb.
#786339
1   ...   4   5   6   7   8   9   10   11   ...   74
Bog'liq
Informatika va programmalash

§1.3. Matematik mantiqning informatikadagi roli


1954 yilda ingliz matematigi Djorj Bul o‘zining «Fikrlash qonunlari» nomli kitobini chop etdi. U mantiqiy algebraning asosini tashkil etadi. Bul algebrasi EHM ning rivojlanishida katta rol o‘ynaydi. EHM yaratish mumkinligining asosiy g‘oyasi bul algebrasiga asosangan. Bu fikrni tushunish uchun matematik mantiqning asosiy sodda tushunchalarini eslaylik. Oddiy hodisalar yoki mantiqiy fikr elementlarini A,V,S ... va mantiqiy fikrning rost yoki yolg‘onligini esa mos ravishda 1 va 0 bilan belgilash mumkin.


Bu esa o‘z navbatida ikkilik sanoq sistemasiga mos keladi. Agar bir hodisaning yuz berishi, ikkinchi hodisaga bog‘liq bo‘lmasa, bu hodisa sodda, aks holda murakkab deyiladi. Bul algebrasiga muvofiq, har qanday murakkab hodisa sodda hodisalarning mantiqiy funksiyasidan iborat. Mantiqiy elementlar ustida quyidagi mantiqiy amallarni bajarish mumkin:
Mantiqiy ko‘paytma. Ikkita oddiy mulohazani «and»-«va» bog‘lovchisi bilan birlashtirishga mantiqiy ko‘paytma yoki kon’yunksiya deyiladi va « » belgisi bilan yoziladi. Mantiqiy ko‘paytma «A B» - A va B mulohazalar bir vaktda rost bo‘lgandagina rost bo‘ladi. Bu fikrlarni ikkilik sonlar mantiqiy ko‘paytmasi misolida ko‘rishimiz mumkin.

Mantiqiy yig‘indi (diz’yunksiya) .Ikkita sodda mulohazani «or»-«yoki» bog‘lovchisi bilan biriktirishga aytiladi. Mantiq tilida «or» bog‘lovchisi « » belgisi bilan belgilanadi. Agar A,V mulohazalardan kamida bittasi rost bo‘lsa, mantiqiy yig‘indi, «A V» rost bo‘ladi.

Mantiqiy inkor. Oddiy A mulohazasi oxiriga «not» «emas» qo‘shimchasini qo‘shishga A mulohazasini inkori deyiladi. Yolg‘on mulohaza A ning inkori rost bo‘ladi. Bul algebrasida inkor «»- belgisi bilan belgilanadi va mulohazaning oldiga qo‘yiladi: A.
Quyida mulohazalarning rostlik jadvali keltirilgan:

A

V

A & V

AVB

A

0

0

0

0

1

0

1

0

1

1

1

0

0

1

0

1

1

1

1

0

Bul algebrasining asosiy tasdiqlaridan biri ixtiyoriy mantiqiy funksiyani mantiqiy amallar asosida chekli sondagi mantiqiy mulohazalar ko‘rinishida yozish mumkinligidadir. Bundan esa ixtiyoriy mantiqiy fikrni rost (1) va yolg‘onlarning (0) chekli sondagi kombinatsiyalari ko‘rinishida yozib olish mumkinligi kelib chiqadi. Bu esa, o‘z navbatida 1 (signal bor) va 0 (signal yo‘q) raqamlarining kombinatsiyalariga asoslangan va ixtiyoriy fikrni ifodalash imkoniga ega bo‘lgan maxsus elektron qurilmalar-EHM larni yaratish mumkinligi haqidagi fikrni yuzaga keltiradi.



Download 1,53 Mb.

Do'stlaringiz bilan baham:
1   ...   4   5   6   7   8   9   10   11   ...   74




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish