Urganch davlat universiteti fizika-matematika fakulteti matematika yo’nalishi 182-guruh talabasi holbayeva malikaning



Download 351,46 Kb.
bet1/6
Sana31.12.2021
Hajmi351,46 Kb.
#235398
  1   2   3   4   5   6
Bog'liq
2 5361791156046792641 (2)





URGANCH DAVLAT UNIVERSITETI

FIZIKA-MATEMATIKA FAKULTETI MATEMATIKA YO’NALISHI

182-GURUH TALABASI HOLBAYEVA MALIKANING


KURS ISHI
DISKRET MATEMATIKA VA MATEMATIK MANTIQ FANIDAN

MAVZU: TESKARI BOG’LANISHI BO’LGAN FUNKSIONAL ELEMENTLARDAN SXEMALAR YASASH


Topshirdi:___________________

Qabul qildi:__________________
Urganch 2019-2020
REJA:



  1. KIRISH

  2. ASOSIY QISM

    1. Funksional elementlar

    2. Teskari bog’lanishi bo’lmagan avtomatlar

    3. Teskari bog’lanishi bo’lgan funksional elementlardan sxemalar yasash.

    4. Mili va mur avtomatlari

  3. FOYDALANGAN ADABIYOTLAR

  4. XULOSA



1.KIRISH
Matematik mantiqning muhim bo’limlaridan birini tashkil etuvchi mulohazalar algebrasini texnikaga (matematik kibernetikaga) tatbiq etilishini ko’rishga o’tamiz. Ushbu bobda rele-kontaktli sxemalar, kontaktli sxemalar va ularning sintezi, funktsional elementlar va ulardan sxemalar yasash, ko’ptaktli sxemalar, funktsional elementlar sistemasining to’liqligi, sxemalarni minimallashtirish muammosi, teskari bog’lanishi bo’lmagan avtomatlar, chekli avtomat haqida umumiy tushunchalar, Mili va Mur avtomatlari kabi masalalar ko’rib chiqilgan. Mantiq algebrasi funktsiyalarini sxemalar(avtomatlar) orqali realizatsiya etish masalasiga alohida ahamiyat berilgan. Mulohazalar algebrasi va m ulohazalar hisobida formulaning tavtalogiya bo’lishi yoki bo‘lmasligini aniqlashning samarali usullaridan biri chinlik jadvalidir. Ammo predikatlar mantiqida bu holat batamom o’zgaradi. Predikatlar mantiqida ixtiyoriy formulaning umumqiymatli yoki umum qiymatli emasligi haqidagi masalani yechadigan samarali usul mavjud emas. Shuning uchun ham predikat va u bilan bog‘liq kvantor tushunchalaridan foydalanadigan matematik nazariyalarda aksiomatik usullardan foydalanish zarur bo‘lib qoladi. Berilgan aksiomalar sistemasi negizida qurilgan aksiomatik nazariya deb shu aksiomalar sistemasiga tayanib isbotlanuvchi hamma teoremalar majmuasiga aytiladi. Aksiomatik nazariya formal va formalmas nazariyalarga bo‘linadi. Mantiq jarayonini turli matematik belgilar bilan ifodalashga intilish Arastu asarlaridayoq ko‘zga tashlanadi. 16 – 17 asrlarga kelib, mexanika va matematika fani rivojlanishi bilan matematik metodni mantiqqa tadbiq etish imkoniyati kengaya bordi. Nemis faylasufi Leybnits har xil masalalarni yechishga imkon beruvchi mantiqiy matematik metod yaratishga intilib, mantiqni matematiklashtirishga asos soldi. Mantiqiy jarayonni matematik usullar yordamida ifodalash asosan 19 asrlarga kelib rivojlana boshladi. Aksiomatik mantiqiy sistema bo’lib, mulohazalar algebrasi esa uning interpretasiyasidir (talqinidir). Berilgan aksiomalar sistemasi negizida (bazasida) qurilgan aksiomatik nazariya deb shu aksiomalar sistemasiga tayanib isbotlanuvchi hamma teoremalar majmuasiga aytiladi. Aksiomatik nazariya formal va formalmas nazariyalarga bo’linadi.

Download 351,46 Kb.

Do'stlaringiz bilan baham:
  1   2   3   4   5   6




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