Placeholder text

Go to cart

MATEMATIK MANTIQ

By Matrosov, V. L.

MATEMATIK MANTIQ

By Matrosov, V. L.

0 - Default Title
Description
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.
Product details
Binding:
Paperback
Number of Pages:
236
Release Date:
2025-09-19
Publication Date:
2025-09-19
Publisher:
GlobeEdit
Languages:
Original: Uzbek
ISBN10:
6139757452
ISBN13:
9786139757459
GPSR Manufacturer Reference:
[email protected]
Weight:
369 g
Height:
150 cm
Width:
220 cm
Thickness:
15 cm
Buy on Amazon
Currently sold out