Китобда тўпламлар ҳақида асосий тушунчалар, муносабатлар, мулоҳазалар алгебраси, мулоҳазалар ҳисоби, предикатлар мантиқи, математик назариялар, алгоритмлар, математик мантиқнинг техникага татбиқи, математик мантиқ функцияларини минималлаштириш муаммоси, графлар назариясининг элементлари, тўрлар ва тўрдаги оқимлар баён қилинади.