STMIK STIKOM BALIKPAPAN 1 MODUL 1 PENGANTAR LOGIKA INFORMATIKA A. TEMA DAN TUJUAN KEGIATAN PEMBELAJARAN 1. Tema 2. Fokus Pembahasan Materi Pokok : : Pengantar Logika Informatika 1. Sejarah Logika Informatika 2. Arti Logika Informatika 3. Manfaat Logika Informatika 3. Tujuan Kegiatan Pembelajaran : 1. Mahasiswa mengetahui sejarah Logika Informatika. 2. Mahasiswa memahami pengertian dari Logika Informatika. 3. Mahasiswa mengetahui manfaat Logika Informatika. B.URAIAN MATERI POKOK Dalam bidang informatika, logika informatika merupakan matakuliah yang wajib dikuasai sebelum anda 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, sistem digital dan mata kuliah yang lain khususnya berhubungan dengan pemrograman. 1. SEJARAH LOGIKA INFORMATIKA Logika merupakan sebuah ilmu pengetahuan di mana obyek materialnya adalah berpikir (khususnya penalaran/proses penalaran) dan obyek formal logika adalah berpikir/penalaran yang ditinjau dari segi ketepatannya. Logika digunakan untuk melakukan pembuktian. Logika mengatakan yang bentuk inferensi yang berlaku dan yang tidak. Logika lahir bersama-sama dengan lahirnya filsafat di Yunani. Dalam usaha untuk memasarkan pikiran-pikirannya serta pendapat-pendapatnya, filsuf-filsuf Yunani kuno tidak jarang mencoba membantah pikiran yang lain dengan menunjukkan kesesatan penalarannya. Logika pertama kali dikemukakan oleh Firmansyah, S.Kom. Logika Informatika STMIK STIKOM BALIKPAPAN 2 Aristoteles, pada abad 4 SM. Ia merumuskan logika dengan cara menuliskan argumen/pendapat yang akan bisa dibuktikan kebenarannya. 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 yaitu: No. Nama/ Tahun Pemikiran 1. Augustus De Morgan(1806-1871) 2. George Boole(1815-1871) 3. Giuseppe Peano(1858-1932) 4. Emil L Post(1897-1954) 5. 6. Ludwig JJ Wittgenstein(18891951) John Venn(1834-1923) 7. Henry M Sheffer(1882-1964) Induksi Matematika, Hukum Ekuivalensi Logika De Morgan Aljabar Boole Penemu istilah logika matematika dan teori himpunan Tabel Kebenaran Tabel Kebenaran Diagram Venn NAND, NOR 2. ARTI LOGIKA INFORMATIKA 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. Firmansyah, S.Kom. Logika Informatika STMIK STIKOM BALIKPAPAN 3 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. Argumen dan Silogisme Argumen Adalah usaha untuk mencari kebenaran dari suatu pernyataan berupa kesimpulan dengan berdasarkan pada kebenaran dari satu kumpulan pernyataan yang disebut premis-premis. Silogisme Logika berawal dari pertanyaan-pertanyaan yang paling mendasar di kehidupan ini. Silogisme Aristoteles, menurutnya, adalah suatu argumen yang terbentuk dari pernyataan-pernyataan dengan salah satu atau keempat bentuk berikut: 1. Semua A adalah B. (universal affirmative) 2. Tidak A adalah B. (universal negative) 3. Beberapa A adalah B. (particular affirmative) 4. Beberapa A adalah tidak B. (particular negative) Huruf A dan B diatas menggantikan suatu kata benda, misalnya ‘manusia’, ‘cuaca’, dan sebagainya yang disebut terms of syllogism atau pokok dari silogisme. Suatu silogisme yang berbentuk sempurna (well-formed syllogism) adalah silogisme yang memiliki dua buah premis dan satu kesimpulan, dimana setiap premis memiliki Firmansyah, S.Kom. Logika Informatika STMIK STIKOM BALIKPAPAN 4 satu pokok (term) bersama dengan kesimpulan dan satu lagi pokok bersama dengan premis lainnya. Contoh sebuah silogisme sempurna: Premis : Semua A adalah B. Premis : Semua B adalah C. Konklusi : Semua A adalah C. (Pada premis pertama, A sama dengan A pada kesimpulan, dan ia juga memiliki B yang sama dengan B pada premis kedua.) 3. 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 STIKOM angkatan 2008 yang memiliki nilai IPK 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. Firmansyah, S.Kom. Logika Informatika STMIK STIKOM BALIKPAPAN 5 Search engine google menggunakan prinsip logika dalam pencariannya. Contoh: 1. Menggunakan operator AND. Diwakili dengan tanda + . Pencarian akan ’teknik+informatika’ di Google akan menghasilkan data yang terdiri dari teknik dan informatika. 2. Menggunakan operator OR Pencarian dengan ketentuan ’teknik OR informatika’. Hasil pencarian akan menampilkan kata teknik saja atau informatika saja. Firmansyah, S.Kom. Logika Informatika STMIK STIKOM BALIKPAPAN 6 3. Menggunakan operator NOT Pencarian dengan ketentuan teknik NOT informatika, dilambangkan dengan ’teknik – informatika’ akan menghasilkan pencarian akan kata ’teknik’ saja, yang tidak mengandung kata ’informatika’. Firmansyah, S.Kom. Logika Informatika