55,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
28 °P sammeln
  • Broschiertes Buch

Ushbu Darslikda matematik mantiqning asosiy tushunchalari, matematik mantiq tili va vositalari, shu jumladan mantiqiy funksiyalar tizimlari va ularning informatikada qo'llanilishi ko'rsatilgan. Matematik mantiqning asosiy bo'limlari ko'rib chiqiladi: mulohazalar algebrasi; mulohazalar hisobi va predikatlar mantiqi. Aksiomatik nazariyaning teoremalarni isbotlash algoritmik yondashuv yordamida bosqichma-bosqich keltirilgan. Darslikda nazariy va amaliy materiallardan tashqari mustaqil ish uchun topshiriqlar ham berilganDarslikning mazmuni uchinchi avlod oliy ta'lim bo'yicha davlat ta'lim…mehr

Produktbeschreibung
Ushbu Darslikda matematik mantiqning asosiy tushunchalari, matematik mantiq tili va vositalari, shu jumladan mantiqiy funksiyalar tizimlari va ularning informatikada qo'llanilishi ko'rsatilgan. Matematik mantiqning asosiy bo'limlari ko'rib chiqiladi: mulohazalar algebrasi; mulohazalar hisobi va predikatlar mantiqi. Aksiomatik nazariyaning teoremalarni isbotlash algoritmik yondashuv yordamida bosqichma-bosqich keltirilgan. Darslikda nazariy va amaliy materiallardan tashqari mustaqil ish uchun topshiriqlar ham berilganDarslikning mazmuni uchinchi avlod oliy ta'lim bo'yicha davlat ta'lim standarti va o'quv nashrlariga qo'yiladigan uslubiy talablarga mos keladi.Darslik oliy ta'lim muassasalarining "60540100-Matematika", "60540200-Amaliy matematika", "60610300-Kompyuter injiniring bo'yicha pedagogik ta'lim yo'nalishida tahsil olayotgan talabalar uchun mo'ljallangan. Matematik mantiq asoslariga qiziqqan keng kitobxonlar doirasi uchun foydali bo'lishi mumkin.
Autorenporträt
Tuzuvchilar: V. L. Matrosov, M.S. Mirzoev.A. I. Eshniyozov, GulDU "Matematika" kafedrasi dotsenti, (PhD).O. G. Gaimnazarov, GulDU "Matematika" kafedrasi dotsenti, (PhD). G¿. A. Nafasov, GulDU "Matematika" kafedrasi dotsenti, (PhD).