«Diskret matematika va matematik mantiq» fanining o’quv predmetiga kirish. |
|
|
1.1.
|
Fanga kirish, uning dolzarbligi, maqsad va vazifalari, uni o’zlashtirishga qo’yiladigan talablar.
|
|
|
1.2.
|
Fanning hajmi va mazmuni.
|
|
|
1.3.
|
Fanni o’qitish jarayonini tashkil etish va o’tkazish bo’yicha tavsiyalar.
|
|
|
1.4.
|
Taqvim mavzuiy reja.
|
|
|
1.5.
|
Mustaqil o’rganish va referatlar tayyorlash uchun tavsiya etiladigan namunaviy mavzular.
|
|
|
1.6.
|
Nazorat turlari bo’yicha namunaviy savollari.
|
|
|
1.7.
|
Reyting baholash mezonlari.
|
|
|
1.8.
|
Tavsiya etiladigan asosiy va qo’shimcha adabiyotlar ro’yxati
|
|
2.
| «Diskret matematika va matematik mantiq» fanining reja-topshiriqlari va o’quv-uslubiy materiallari. |
|
|
2.1. Ma’ruza mashg’ulotlarining reja-topshiriqlari va o’quv-uslubiy materiallari
|
|
|
2.1.1.
|
Diskret matematika va matematik mantiq tarixi va uning asoslari. Tarixiy
ma’lumotlar. Diskret matematika va matematik mantiqning umumiy tushunchalari va
uning zamonaviy amaliy masalalarni yechishdagi o’rni. Mulohaza. Mulohazalar ustida
mantiqiy amallar.
|
|
|
2.1.2.
|
Formulalar. Teng kuchli formulalar. Aynan chin, aynan yolg’on va bajariluvchi
formulalar. Asosiy tengkuchliliklar. Teng kuchli formulalarga doir teoremalar.
|
|
|
2.1.3.
|
Formulalarning normal shakllari. Diz’yunktiv va kon’yunktiv normal shakllar.
Mukammal kon’yunktiv va diz’yunktiv normal shakllar. Formulalarning asosiy
xossalari. Tengkuchlimas formulalar soni. Bul algebrasi.
|
|
|
2.1.4.
|
Mantiq algebrasidagi ikkitaraflamalik qonuni. Mantiq algebrasidagi arifmetik amallar.
Jegalkin ko’phadi. Mantiq algebrasidagi monoton funksiyalar.
|
|
|
2.1.5.
|
Funksiyalar sistemasining to’liqligi. Funksional yopiq sinflar va Post teoremasi.
|
|
|
2.1.6.
|
Matematik mantiqning diskret texnikaga tatbiqlari. Funksional elementlar va ulardan
sxemalar yasash.
|
|
|
2.1.7.
|
Ko’ptaktli sxemalar. Rele – kontaktli sxemalar. Kontaktli sxemalar va ularning
sintezi.Chekli avtomat haqida umumiy tushunchalar. Mili va Mur avtomatlari.
|
|
|
2.1.8.
|
Matematik mantiq funksiyalarini minimallashtirish muammosi. Diz’yunktiv normal
shaklni soddalash-tirish masalasi. Qisqartirilgan diz’yunktiv normal shakl.
Qisqartirilgan diz’yunktiv normal shaklni yasash algoritmi.
|
|
|
2.1.9.
|
Tupikli diz’yunktiv normal shakllarni geometrik asosda yasash usullari. Tupikli
diz’yunktiv normal shakllarni yasash algoritmi. Ayrim yagona tarzda hosil qilinadigan
diz’yunktiv normal shakllar.
|
|
|
2.1.10.
|
Predikat tushunchasi. Predikatlar ustida mantiqiy amallar. Umumiylik va mavjudlik
kvantorlari. Formula tushunchasi. Formulaning qiymatini hisoblash.
|
|
|
2.1.11.
|
Predikatlar mantiqi formulasining nomal shakli.Bajariluvchi va umumqiymatli
formulalar. Yechilish muammosi.
|
|
|
2.1.12.
|
Predikatlar mantiqining matematikaga tadbiqi. Aksiomatik predikatlar hisobi.
|
|
|
2.1.13.
|
Algoritm tushunchasi va uning xarakterli xususiyatlari. Yechiluvchi va sanaluvchi to’plamlar. Algoritm tu-shunchasiga aniqlik kiritish.
|
|
|
2.1.14.
|
Tyuring mashinalari. Tyuring mashinasida algoritmni realizasiya qilish. Tyuring mashinasi ustida amallar.
|
|
|
2.1.15.
|
Algoritmlar nazariyasining asosiy gipotezasi. Markovning normal algoritmlari.
Markov bo’yicha hisoblanuvchi funksiyalar.
|
|
|
|
