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.
Logika dalam ilmu komputer dalam ilmu
komputer digunakan sebagai dasar dalam belajar bahasa pemrograman, struktur
data, kecerdasan buatan, teknik/sistem digital, basis data, teori komputasi,
rekayasa perangkat lunak, sistem pakar, jaringan syaraf tiruan, dan
lain-lainnya yang mempergunakan logika secara intensif. Salah satu contoh yang
populer adlah sistem digital, yaitu bidang ilmu yang didasari oleh logika untuk
membuat gerbang logika (logic gates)
dan arsitektur komputer sebagai inti mikroprosesor, otak komputer atau central processing unit.
Logika matematika (mathematical logic) adalah cabang ilmu
di bidang matematika yang memperdalam masalah logika, atau lebih tepatnya
memperjelas logika dengan kaidah-kaidah matematika.
Logika matematika sendiri juga terus
berkembang, mulai dari logika proposional, logika predikat, pemrograman logika,
dan sebaganya. Perkembangan terakhir ilmu logika adalah logika fuzzy, atau di Indonesia disebut logika kabur atau
logika samar. Implementasi logika fuzzy dapat ditemui pada pengatur suhu udara
(AC), mesin pencuci, kulkas, lainnya.
Dari penjelasan
diatas bisa disimpulkan mengenai peran penting logika dalam ilmu komputer. Jika seseorang ingin mempelajari ilmu
komputer, maka ia tidak bisa terlepas dari masalah logika. Oleh karena itu,
logika matematika dipelajari secara
formal di perguruan tinggi, khususnya dalam ilmu komputer sebagai matakuliah wajib selama 1 semester. Di
indonesia sendiri ilmu komputer lebih populer dengan nama Teknik Informatika atau Teknologi Informasi
Dikutip dari
buku “ Logika Matematika Untuk Ilmu Komputer”, oleh F. Soesianto dan Djoni Dwijono, Andi Offset,
Jogjakarta.
Jade
must be carved and polished before it becomes an ornament.
Man must be educated before he can achieve great
things.