PERANAN HIMPUNAN SEBAGAI FONDASI MATEMATIKA DISKRIT DAN IMPLIKASINYA TERHADAP PENGEMBANGAN SISTEM KOMPUTASI
DOI:
https://doi.org/10.70248/jcsit.v3i1.3465Abstract
Artikel ini membahas peranan teori himpunan sebagai komponen dasar dalam matematika diskrit dan implikasinya terhadap pengembangan sistem komputasi modern. Konsep himpunan seperti keanggotaan, himpunan bagian, operasi himpunan, dan hasil kali Kartesius menjadi bahasa dasar untuk mendefinisikan struktur data, relasi, fungsi, graf, dan bahasa formal yang banyak digunakan dalam ilmu komputer. Kajian ini menggunakan pendekatan deskriptif kualitatif melalui studi literatur mengenai pemanfaatan teori himpunan dalam perancangan basis data, perumusan algoritma, serta pemodelan struktur diskrit dalam komputasi. Hasil kajian menunjukkan bahwa representasi berbasis himpunan mendukung spesifikasi formal, verifikasi, dan optimasi sistem komputasi, khususnya pada ranah basis data relasional, automata hingga, dan model jaringan berbasis graf. Temuan ini menegaskan bahwa penguasaan teori himpunan yang kuat sangat penting bagi mahasiswa dan praktisi ilmu komputer untuk merancang sistem komputasi yang andal, efisien, dan konsisten secara logis.
References
Konsep Himpunan dalam Matematika: Definisi, Penyajian, Jenis dan Sifat Operasi (Maskhuliah,2025)DOI:https://doi.org/10.62383/aljabar.v6i3.677
Pembelajaran Matematika Diskrit Mengacu pada Teori Himpunan dan Aplikasinya (Sari, 2024)DOI: https://doi.org/10.53299/diksi.v5i1.370
Matematika Diskrit: Konsep dan Aplikasi (Wibowo, 2023)
Anderson, B. (2018). Set Theory and Computer Science. https://cklixx.people.wm.edu/teaching/Computer.pdf
Bondy, J. A., & Murty, U. S. R. (2008). Graph Theory. Springer. https://link.springer.com/book/10.1007/978-1-84628-970-5
Cantone, D., Omodeo, E., & Policriti, A. (2001). Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets. Springer. https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/set-theory-for-computing-from-decision-procedures-to-declarative-programming-with-sets-by-domenico-cantone-eugenio-omodeo-and-alberto-policriti-springerverlag-2001-ha
Chartrand, G., Polimeni, A. D., & Zhang, P. (2013). Discrete Mathematics: An Introduction to Graph Theory and Combinatorics. McGraw-Hill. https://www2.cs.uh.edu/~arjun/courses/ds/DiscMaths4CompSc.pdf
Cowen, R. (1993). Some Connections Between Set Theory and Computer Science. Lecture Notes in Computer Science, 713. https://rml.tcs.uj.edu.pl/rml-35/35-Cowen.pdf
Davis, M., & Putnam, H. (1960). A Computing Procedure for Quantification Theory. Journal of the ACM. https://dl.acm.org/doi/10.1145/321978.321989
Elmasri, R., & Navathe, S. B. (2016). Fundamentals of Database Systems. Pearson. https://www.mheducation.com/highered/product/fundamentals-database-systems-elmasri-navathe/M9780133970777.html
Epp, S. S. (2011). Discrete Mathematics with Applications. Cengage. https://www2.cs.uh.edu/~arjun/courses/ds/DiscMaths4CompSc.pdf
Kawarabayashi, K. (2012). Theoretical Computer Science and Discrete Mathematics (Guest Editorial). Progress in Informatics. https://www.nii.ac.jp/pi/n9/9_1.pdf
Liu, C., & Stolee, K. T. (2020). Discrete Mathematics for Computer Science. https://www2.cs.uh.edu/~arjun/courses/ds/DiscMaths4CompSc.pdf
Liu, Y. A., & Castellana, M. (2020). Discrete Math with Programming: A Principled Approach. https://arxiv.org/abs/2011.14059
Maskhuliah. (2025). Konsep Himpunan dalam Matematika: Definisi, Penyajian, Jenis dan Sifat Operasi. Aljabar: Jurnal Pendidikan Matematika. https://doi.org/10.62383/aljabar.v6i3.677
Moreira, N. (2013). The Roles of Mathematics in Computer Science. Communications of the ACM. https://dl.acm.org/doi/10.1145/2537753.2537777
Rosen, K. H. (2019). Discrete Mathematics and Its Applications. McGraw-Hill. https://cs22.io/assets/files/Discrete Mathematics and Its Applications by Kenneth Rosen.pdf
Sandhu, R. S., Coyne, E. J., Feinstein, H. L., & Youman, C. E. (1996). Role-Based Access Control Models. Computer, 29(2), 38–47. https://ieeexplore.ieee.org/document/485845
Sari. (2024). Pembelajaran Matematika Diskrit Mengacu pada Teori Himpunan dan Aplikasinya. Diksi. https://doi.org/10.53299/diksi.v5i1.370
Tomlinson, C. A., & Imbeau, M. B. (2010). A Differentiated Classroom. In Assessment and Student Sucess in a differentiated classroom.
Wibowo, A. (2023). Matematika Diskrit: Konsep Dasar dan Aplikasi Praktis. https://polman-babel.ac.id/in/press/matematika-diskrit-konsep-dasar-dan-aplikasi-praktis
