"The calculus of computer science" merupakan sebutan lain dari logika informatika, sebab lagi logika yang memegang peranan yang cukup penting di bidang ilmu komputer.
Logika adalah sebuah ilmu pengetahuan di mana objek formal adalah penawaran atau berpikir. Logika bisa pula dikelompokkan ke dalam matematika murni yang memakai simbol-simbol matematika.
Sedangkan informatika adalah sebuah ilmu tentang klasifikasi, pengumpulan, penyimpanan, pengeluaran dan penyebaran, pengetahuan yang berkesinambungan dengan informasi.
Ketepatan ilmu informatika mencakup ilmu komputer, sistem informasi serta teknik komputer. mempelajari logika informatika tujuannya guna meningkatkan kemampuan berpikir secara rasional.
Selain itu juga kita akan dituntut berpikir kritis serta mempelajari dasar pemerasan data dalam komputer. Logika informatika juga dikenal dengan logika matematika.
Peran kalkulus atau matematika sebenarnya sama pentingnya untuk berbagai ilmu di bidang sains, contohnya seperti ilmu elektronika, ilmu fisika, ilmu kimia, dan lain sebagainya.
Oleh karena itulah, pada umumnya pelajar, siswa, guru, bahkan dosen setuju bahwa logika yang memegang peranan penting dalam berbagai bidang keilmuan.
Dalam ilmu komputer, kehidupan logika, komputasi numerik, serta matematika diskrit mempunyai peran penting. sebab keseluruhannya berperan dalam pemrograman.
Baca juga : Pengertian tentang domain dan hosting
Logika adalah landasan matematis dari suatu perangkat lunak yang digunakan untuk membakukan semantik bahasa pemrograman serta spesifikasi program.
Selain itu, logika juga menguji ketepatan suatu program. Hal tersebutlah yang membuktikan bahwa betapa pentingnya logika matematika atau logika informatika
Sebab berbagai ilmu terutama dalam bidang ilmu komputer yang membutuhkan logika untuk terus berkembang.
Di dalam ilmu komputer, logika dipakai sebagai dasar pada saat mempelajari bahasa pemrograman, struktur data, kecerdasan buatan, teori komputasi rekayasa, dan lain-lain yang membutuhkan logika secara intensif.
Sistem digital merupakan salah satu contoh yang populer di bidang ilmu yang didasari oleh logika untuk membuat gerbang logika atau logika gates serta arsitektur komputer sebagai inti mikroprosesor CPU.
Mathematical logic atau logika matematika merupakan cabang ilmu di bidang matematika yang khusus mendalami masalah logika atau tepatnya dalam operasi logika dengan kaidah-kaidah matematika.
Logika matematika tak pernah berhenti berkembang, baik itu dari logika proposisional, logika predikat, pemrograman logika, serta yang lainnya.
Logika fuzzy merupakan perkembangan dari ilmu logika, ke Indonesia logika tersebut disebut logika kabur atau logika samar.
Penerapan logika fuzzy bisa ditemui pada pengatur suhu udara atau AC, mesin cuci, kulkas, dan barang-barang elektronik lainnya.
Logikasecara umum dibedakan menjadi dua, yaitu:
1. Logika pasti
Logika pasti mencakup logika pernyataan atau proportional logic, logika predikat atau predicate logic, logika hubungan atau relasi logik serta logika himpunan.
Lagika pernyataan mencakup dengan sebuah pernyataan tunggal serta kata hubungannya jadi diraih kalimat majemuk yang berupa kalimat deklaratif.
Logika predikat mendalami variabel dalam sebuah kalimat, kuantitas serta validitas sebuah argumen. sedangkan lagika hubungan lebih mendalami materi hubungan antara refleksi, antisimetris, relasi simetris, pernyataan dan lainnya.
Kemudian lagika himpunan berhubungan mengenai berbagai unsur himpunan dan berbagai hukum yang berlaku di dalamnya.
2. Logika tidak pasti
Baju ketika kasti ini mencakup logika samar atau kabur, yang biasanya dikenal dengan fuzzy logic atau logika fuzzy. Biasanya logika samar sering dimanfaatkan untuk kecerdasan buatan, atau mesin pintar.
Biasanya logika samar juga terdapat pada alat-alat elektronik. Kelebihannya, pemakaian serta penerapan loguka samar pada program komputer ini mempunyai kapasitas penyimpanan yang lebih kecil.
Namun logika samar ini lebih cepat apabila dibandingkan dengan logika biner.
Demikianlah penjelasan mengenai logika informatika. Semoga bermanfaat!