Bilişim ve Matematik

• Önermeler ve Mantık
• Kümeler
• Bağıntılar ve Fonksiyonlar
• Boole Cebir ve Modern Mantık
• Bulanık Mantık
• Sayılar Teorisi
• Olasılık Teorisi
• Ağaçlar ve Hiyerarşi
• Matrisler
• Graf Teorisi ve Uygulamaları
• Algoritma Analizi