Logika Proposisi, Kuantor, Metode Pembuktian dan Counting, Teori Himpunan, Fungsi dan Relasi, Graph dan Automata