Kitobda to’plamlar haqida asosiy tushunchalar, munosabatlar, mulohazalar algebrasi, mulohazalar hisobi, predikatlar mantiqi, matematik nazariyalar, algoritmlar, matematik mantiq funktsiyalarini minimallashtirish, graflar nazariyasi bayon qilingan.
|
0
|
|