Implementasi Kalkulus di Bidang Informatika

Logika Informatika 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 lainlainnya yang mempergunakan logika secara intensif.

KONTRIBUSI LOGIKA MATEMATIKA DALAM TEKNOLOGI INFORMASI DAN KOMPUTER

Matematika berasal dari Bahasa yunani mathematika- mathematika yang mempunyai arti studi besaran struktur, ruang, relasi, perubahan, dan beraneka topik pola, bentuk dan entitas. Dalam pandangan formalis, matematika adalah pemeriksaan aksioma yang menegaskan struktur abstrak menggunakan logika simbolik dan notasi matematika. Matematika digunakan di seluruh dunia sebagai alat penting dalam berbagai bidang, termasuk ilmu pengetahuan alam, rekayasa medis, dan ilmu pengetahuan sosial, seperti ekonomi dan psikologi.

PENERAPAN LOGIKA MATEMATIKA DALAM TEKNOLOGI INFORMASI & KOMPUTER

Beberapa contoh penerapan Logika matematika dalam teknologi informasi dan computer antara lain :

• Logika Metematika memiliki peran penting dalam bidang elektronika dan computer semisal dalam pembuatan PLC (Programmable Logic Controller) yang merupakan suatu unit khusus dibuat untuk pengontrol berbasis mikroprosesor yang memanfaatkan memori yang dapat diprogram untuk menyimpan instruksi – instruksi dan untuk mengimplementasikan fungsi–fungsi semisal logika, sequencing, pewaktu (Timing), pencacahan (counting) dan aritmatika guna untuk mengontrol mesin – mesin dalam industri
• Penerapan pada sistem digital yang didasari oleh logika matematika 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.
• Penerapan logika matematika 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 lainlainnya yang mempergunakan logika secara intensif. Salah satu contoh yang populer adalah 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 Informatika didalam ilmu teknologi informasi berperan sangan penting dan hampir selalu kita temui dalam pengembangan Hardware maupun Software. Contohnya Dalam pengembangan di bidang software, Hampir setiap bahasa pemrograman menggunakan dan menerapkan prinsip-prinsip logika. Oleh karena itu logika informatika bagi dunia Teknologi Informasi merupakan dasar-dasar bagaimana sebuah Hardware atau Software itu dibuat.
• 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.  .