MATEMATIKA DISKRIT ATURAN DAN SISTEM KOMPUTASIONAL

Buku Matematika Diskrit: Aturan dan Sistem Komputasional membahas konsep-konsep fundamental matematika diskrit melalui keterkaitannya dengan cara berpikir logis, struktur data, algoritma, dan sistem komputasional. Pembahasan diawali dengan aturan formal, logika, pembuktian, dan penalaran untuk memahami bagaimana suatu kesimpulan dapat ditetapkan secara tepat, kemudian dilanjutkan dengan himpunan, relasi, kelas ekuivalensi, perbandingan, dan transformasi sebagai dasar untuk memahami struktur data. Selanjutnya, buku ini menguraikan algoritma, penelusuran proses, analisis kompleksitas, serta pemilihan prosedur berdasarkan struktur permasalahan, termasuk konsep rekursi dan relasi rekurensi yang menjelaskan proses yang dibangun dari keadaan sebelumnya. Aspek aritmetika diskrit juga dibahas melalui pembagian, faktor persekutuan terbesar, aritmetika modular, invers modular, dan penerapannya dalam membangun mekanisme validasi. Pada bagian akhir, konsep logika Boolean, representasi biner, fungsi keputusan, rangkaian logika, serta sistem yang memiliki kemampuan menyimpan keadaan digunakan untuk memperlihatkan bagaimana aturan matematis dapat diwujudkan menjadi sistem komputasional. Dengan alur tersebut, buku ini menyajikan matematika diskrit bukan sekadar sebagai kumpulan konsep dan simbol, melainkan sebagai fondasi untuk memahami bagaimana aturan dirumuskan, struktur dibentuk, prosedur dirancang, dan sistem komputasional bekerja secara logis dan terukur.