Эҳтимоллар назармяси ва Математик статистика . Дискрет Математика сонли усуллар ва Дастурлаш фани бўйича услубий қўлланма

Ushbu qo'llanma "Diskret matematika" fanining mulohazalar algebrasi bo'limini Electronics Workbench (EWB) dasturi orqali o'qitish uslubiyotiga bag'ishlangan. Qo'llanma talabalarning ma'ruza va amaliy mashg'ulotlarda olgan bilimlarini chuqurroq egallashlari uchun xizmat qiladi hamda o'qituvchilarga dars jarayonida yordam beradi.

Asosiy mavzular

Mulohazalar algebrasi: Mulohazalar algebrasi matematik mantiqning bir bo'limi bo'lib, gaplar ustida amallar bajarishni o'rganadi. Asosiy tushunchalar: mulohaza, chinlik qiymati, mantiqiy amallar (inkor, kon'yunksiya, diz'yunksiya, implikatsiya, ekvivalentlik, Sheffer amali).
Formulalar. Teng kuchli formulalar: Murakkab mulohazalarni ifodalash va soddalashtirish uchun formulalardan foydalanish. Formulalarning chinlik jadvali, teng kuchli formulalar, aynan chin va aynan yolg'on formulalar.
Formula normal shakllari: Formulalarni normal shaklga keltirish usullari: dizyunktiv normal shakl (DNS) va kon'yunktiv normal shakl (KNS).
Boul funksiyalari va kontakt zanjirlar: Mantiqiy sxemalarni Boul funksiyalari bilan ifodalash va aksincha, Boul funksiyalari yordamida kontakt zanjirlarni loyihalash.
Graflar: Graflar, graflar haqida asosiy tushunchalar, multigraflar, daraxtlar va Eyler graflari.
Boul funksiyalari va elektrotexnikaning asoslari: Boul funksiyalari va mantiqiy elementlarning elektrotexnik xususiyatlari