Сборник задач по дискретной математике. Учебное пособие. Москва: Наука

9-MAVZU

AYNAN CHIN, AYNAN YOLG’ON VA BAJARILUVCHI FORMULALAR. FUNKSIYALARNI FORMULA KO’RINISHIDA IFODALASH.

Reja:

1. 
   

2. 
   Formulalar. Teng kuchli formulalar.
   
3. 
   Aynan chin, aynan yolg‘on va bajariluvchi formulalar.
   
4. 
   Funksiyalarni formula ko’rinishida ifodalash.
   

Tayanch iboralar: Formula. Elementar formula. Chinlik jadvali. Teng kuchli va teng kuchlimas formulalar. Teng kuchlilik. Teng kuchlimaslik. Ekvivalentlik. Ekvivalentmaslik. Tenglik. Tenglama. Ayniyat. Formula. Aynan chin, aynan yolg‘on formulalar. Tavtologiya. Bajariluvchi formula. Bajarilmaydigan formula. Asosiy teng kuchliliklar. Kommutativlik, assotsiativlik va distributivlik qonunlari.

Foydalanilgan adabiyotlar:
1.Тўраев Ҳ.Т., Математик мантиқ ва дискрет математика, Тошкент: Ўқитувчи
нашриёти, 2003, 378 б.
2.Лихтарников Л.М., Сукачева Т.Г., Математическая логика. Курс лекций.
Задачник-практикум и решения, Санк-Петербург: ЛАНЬ, 1999, 286 с.
3. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике.
Учебное пособие. Москва: Наука.
4. Искандаров Р.И., Математик логика элементлари, Самарқанд: СамДУ, 1970, 324 б.


Pinbord (inglizchadan: pin- mahkamlash, board – yozuv taxtasi) munozara usullari yoki o’quv suhbatini amaliy usul bilan moslashdan iborat.


Ta`lim beruvchi:
→ Taklif etilgan muammoni yechishga o`z nuqtai nazarini bayon qiladi.
→ Ommaviy to`g`ri aqliy hujumni tashkillashtiradi.
Ta`lim oluvchilar quyidagi g`oyalarni:
→ Taklif etadilar, muhokama qiladilar, baholaydilar eng ko`p maqbul (samarali va boshqa g`oyalarni tanlaydilar va ularni qog`oz varag`iga asosiy so`zlar ko`rinishida (2 so`zdan ko`p bo`lmagan) yozadilar va yozuv taxtasiga biriktiradilar (o`rgatuvchi tizimlar, oddiy va murakkab tizimlar, bir pog`onali va ko`p pog`onali tizimlar, hal kiiluvchi qoida).
→ Guruh a`zolari (ta`lim beruvchi tomonidan belgilangan 2-3 talaba yozuv taxtasiga chiqadilar va boshqalar bilan maslahatlashib:

• 
  aniq xato yoki qaytariluvchi g`oyalarni saralaydilar (ATTlаr, sohа, tаshqi fаktor, аxborot - tаnuvchi аvtomаtik hisoblаsh qurilmаsi, murаkkаb ATT, murаkkаb dinаmik tizimlаr)
  
• 
  tortishuvlarni aniqlaydilar (аprior аlfаviti, sinflаshtirish, bir pog`аnаli, ko`p pog`onаli tizimlаr va farqlari);
  
• 
  g`oyalarni tizimlashtirish mumkin bo`lgan belgilar bo`yicha aniqlaydilar;
  
• 
  shu belgilar bo`yicha hamma g`oyalarni yozuv taxtasida guruhlaydilar (kartochka/ varaqlar).
  

Ta`lim beruvchi:
→Umumlashtiradi va ish natijalarini baholaydi.