Logika disebut juga “the calculus of computer science” karena logika memegang peranan
yang sangat penting di bidang ilmu komputer. Peran kalkulus (matematika) sama
pentingnya untuk ilmu-ilmu bidang sains, misalnya ilmu fisika, ilmu
elektronika, ilmu kimia, dan sebagainya. Oleh karena itu, biasanya pelajar,
mahasiswa, guru, dan dosen setuju bahwa logika memainkan peranan penting dalam
berbagai bidang keilmuan, bahkan dalam kehidupan manusia sehari-hari.
Logika,
komputasi numerik, dan matematika diskrit memiliki peran penting dalam ilmu
komputer karena semuanya berperan dalam pemrograman. Logika merupakan
dasar-dasar matemtis suatu perangkat lunak, digunakan untuk memformalkan
semantik bahasa pemrograman dan spesifikasi program, serta menguji ketepatan
suatu program. Hal ini menunjukkan betapa pentingnya logika matematika karena
banyak ilmu, khususnya dalam bidang ilmu komputer, yang memerlukan logika untuk
berkembang.
Tidak ada komentar:
Posting Komentar