Darslikning II jildida predikatlar mantiqi, matematik nazariyalar, algoritmlar, matematik mantiqning texnikaga tatbiqi, matematik mantiq funksiyalarini minimallaslitirish muammosi, graflar nazariyasining elementlari, tarmoqlar va tarmoqdagi oqimlar bayon qilingan.