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.
Bitte wählen Sie Ihr Anliegen aus.
Rechnungen
Retourenschein anfordern
Bestellstatus
Storno







