Logika Informatika

Dalam bidang informatika, logika informatika merupakan matakuliah yang wajib dikuasai sebelum mendalami mata kuliah yang lain. Hal itu dikarenakan materi yang dipelajari dalam logika informatika akan digunakan penerapannya pada mata kuliah yang lain seperti algoritma pemrograman dan mata kuliah yang lain khususnya berhubungan dengan pemrograman.

Logika pertama kali dikemukakan oleh Aristoteles, pada abad 4 SM. Ia merumuskan logika dengan cara menuliskan argumen/pendapat yang akan bisa dibuktikan kebenarannya yang disebut dengan silogisme. Sejak itu, banyak pemikir yang menemukan konsep-konsep lain tentang logika tetapi masih berkisar pada pemikiran Aristoteles, sampai pada paruh terakhir abad 19 dengan tokoh-tokoh baru dengan pemikiran-pemikiran baru.

Pada masa Aristoteles, logika merupakan satu bahasan dalam ilmu tertua di dunia, yaitu Filsafat. Baru pada masa-masa berikutnya logika masuk ke berbagai bidang ilmu yang lebih muda seperti ilmu hitung/matematika, dan kini komputer/informatika.

Dari arti katanya dalam bahasa Yunani, yaitu logike/logos yang berarti ilmu/pikiran, logika bisa diartikan sebagai perkataan sebagai manifestasi dari pikiran manusia. Atau, logika adalah ilmu yang mempelajari (jalan) pikiran yang diungkapkan dalam bahasa. Arti logika menurut bahasan logika modern, terdapat banyak versi. Dua versi dari definisi logika adalah:

1. Ilmu pengetahuan yang berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid.
2. Studi tentang kriteria-kriteria untuk mengevaluasi argumen-argumen dengan menentukan mana yang valid dan tidak valid, dan membedakan antara argumen yang baik dan tidak baik.

Sedangkan logika informatika sendiri, dapat diartikan sebagai:

1. Aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam informatika yang dipergunakan untuk membuktikan validitas suatu argumen.
2. Aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam matematika yang dipergunakan untuk membuktikan validitas suatu argumen dalam bidang informatika.

Manfaat Logika Informatika
Logika informatika digunakan dalam semua bidang pada ilmu informatika. Dari pembuatan konsep, penulisan software hingga cara kerja hardware. Contoh beberapa manfaat logika informatika:
1. Membuat program.
Contoh, struktur IF-THEN…ELSE dalam bahasa Pascal
IF kondisi THEN
Statemen1
ELSE
Statemen2;
2. Database.
Contoh, mencari daftar mahasiswa Teknik Informatika STMIK STIKOM INDONESIA angkatan 2011 yang nilai IPK  nya 4.
3. Cara kerja komputer(mesin).
Level logika pada komputer. Masing-masing level komputer menggunakan level logika yang berbeda(dari logika elektronik 0 dan 1 hingga logika manusia dalam bahasa pemrograman tingkat tinggi) tetapi semua bekerja berdasar prinsip-prinsip logika.

[ Sumber: http://www.brigidaarie.com/ ]