منطق گزاره‌ها، جدول درستی و روش‌های اثبات

عملیات مجموعه‌ها، روابط، توابع و ماتریس‌های بولی

تحلیل پاست‌ها، مشبکه‌ها و ساده‌سازی جبر بول

تحلیل گراف‌ها، مسیرها، رنگ‌آمیزی و کوتاه‌ترین مسیر

ساخت و پیمایش درخت‌ها و الگوریتم‌های درخت پوشای کمینه

روش‌های شمارش، روابط بازگشتی و توابع مولد