Matematika Diskrit – A memberikan paparan yang rinci terkait struktur diskrit dan sifat-sifatnya yang relevan untuk ilmu komputer. Kuliah ini mendukung materi struktur diskrit yang digunakan pada struktur data dan fondari relevan lain dalam algoritma. Ada empat topik utama dalam kuliah ini yang berkaitan dengan empat capaian pembelajaran (course learning outcome). Topik pertama membahas relasi, fungsi, dan relasi rekurensi homogen sederhana. Mahasiswa mempelajari definisi relasi dan fungsi beserta representasi dan karakteristik matematisnya. Selain itu mahasiswa juga mempelajari relasi rekurensi yang akan digunakan selanjutnya dalam analisis algoritma. Topik kedua terkait matematika kombinatorika. Mahasiswa mempelajari dasar teknik berhitung, prinsip sarang merpati, serta permutasi dan kombinasi beserta perumumannya. Topik ketiga terkait graf dan pohon. Pada topik ini mahasiswa akan mengkaji definisi formal graf, sifat-sifat graf, dan beberapa algoritma graf elementer (pewarnaan simpul, pencarian lintasan terpendek, dan konstruksi pohon perentang minimum). Terakhir, pada topik ke empat mahasiswa mengkaji teori bilangan elementer, yang meliputi keterbagian, faktor persekutuan terbesar dan kelipatan persekutuan terkecil beserta aplikasinya, dan aritmetika modular elementer, serta algoritma yang terkait dengan hal-hal tersebut.