Logika disebut juga “the calculus of computer science” alasannya ialah logika memegang peranan yang sangat penting di bidang ilmu komputer. Peran kalkulus (matematika) sama pentingnya untuk ilmu-ilmu bidang sains, contohnya ilmu fisika, ilmu elektronika, ilmu kimia, dan sebagainya. Oleh alasannya ialah itu, biasanya pelajar, mahasiswa, guru, dan dosen oke bahwa logika memainkan peranan penting dalam banyak sekali bidang keilmuan, bahkan dalam kehidupan insan sehari-hari.
Logika, komputasi numerik, dan matematika diskrit mempunyai tugas penting dalam ilmu komputer alasannya ialah tiruananya berperan dalam pemrograman. Logika merupakan dasar-dasar matemtis suatu perangkat lunak, dipakai untuk memformalkan semantik bahasa pemrograman dan spesifikasi program, serta menguji ketepatan suatu program. Hal ini mengatakan betapa pentingnya logika matematika alasannya ialah banyak ilmu, khususnya dalam bidang ilmu komputer, yang memerlukan logika untuk berkembang.
Logika dalam ilmu komputer dalam ilmu komputer dipakai sebagai dasar dalam berguru 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 teladan yang terkenal adlah sistem digital, yaitu bidang ilmu yang didasari oleh logika untuk menciptakan gerbang logika (logic gates) dan arsitektur komputer sebagai inti mikroprosesor, otak komputer atau central processing unit.
Logika matematika (mathematical logic) ialah cabang ilmu di bidang matematika yang memperdalam persoalan logika, atau ludang keringh 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 ialah logika fuzzy, atau di Indonesia
Dari klarifikasi diatas sanggup disimpulkan mengenai tugas penting logika dalam ilmu komputer. Jika seseorang ingin mempelajari ilmu komputer, maka ia tidak sanggup terlepas dari persoalan logika. Oleh alasannya ialah itu, logika matematika dipelajari secara formal di akademi tinggi, khususnya dalam ilmu komputer sebagai matakuliah wajib selama 1 semester. Di indonesia sendiri ilmu komputer ludang keringh terkenal 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.
Advertisement