
Materi ini membahas secara komprehensif konsep-konsep dasar yang menjadi fondasi dalam logika, pembuktian matematika, dan representasi graf pada permasalahan diskrit. Topik pertama yang akan dipelajari adalah Logika Proposisi dan Logika serta Kuantor, yang berperan penting dalam memahami struktur pernyataan serta cara menilai kebenarannya. Selanjutnya, peserta akan mempelajari Metode Pembuktian untuk menguji validitas suatu pernyataan matematika, dilanjutkan dengan Metode Counting yang mengajarkan teknik-teknik menghitung jumlah kemungkinan dalam suatu masalah.
Materi Teori Himpunan dan Fungsi serta Himpunan Fuzzy memberikan dasar dalam pengelompokan objek dan pemetaan relasi, termasuk penerapan pada data yang tidak pasti. Konsep Relasi dan POSET membantu memahami hubungan antar elemen dalam suatu himpunan secara terstruktur. Selanjutnya, Graph dan Tree akan dibahas untuk merepresentasikan hubungan antar objek, yang sering digunakan dalam jaringan, algoritma, dan pemodelan data.
Di bagian akhir, peserta akan mempelajari Finite Automata sebagai model matematika untuk mengenali pola atau bahasa formal. Dengan mempelajari seluruh modul ini, pelajar diharapkan memiliki kemampuan analisis yang tajam, berpikir logis, serta mampu menerapkan konsep matematika diskrit pada pemecahan masalah di bidang matematika, ilmu komputer, dan logika pemrograman. Materi ini juga menekankan pengembangan keterampilan problem solving, pemikiran kritis, dan kemampuan menerjemahkan konsep teoretis ke aplikasi praktis pada proyek teknologi dan penelitian secara multidisipliner serta kolaboratif.