MODUL 1 PENGANTAR LOGIKA INFORMATIKA

dokumen-dokumen yang mirip
Pengenalan Logika Informatika. Pertemuan 1 Viska Armalina, ST.,M.Eng

Silabus. Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS Himpunan Relasi & Fungsi Bagian Aljabar Boolean UAs

Silabus. Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS

PENGENALAN LOGIKA MATEMATIKA

: SRI ESTI TRISNO SAMI

PENGENALAN LOGIKA INFORMATIKA

PENGANTAR LOGIKA INFORMATIKA

untuk mempelajari matematika lebih lanjut. Untuk menunjang kemampuankemampuan tersebut diharapkan Anda dapat menguasai beberapa kompetensi khusus

MODUL 3 OPERATOR LOGIKA

DASAR-DASAR LOGIKA. Ruang Lingkup Logika. Sujanti, M.Ikom. Modul ke: Fakultas ILMU KOMUNIKASI. Program Studi Hubungan Masyarakat

PERTEMUAN II PENGENALAN LOGIKA

Logika Deduktif & Sylogisme

METODE INFERENSI (1)

BAGIAN I ARTI PENTING LOGIKA

DASAR-DASAR LOGIKA 1

BAB 3 TABEL KEBENARAN

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

Sistem Pakar Metode Inferensi 1. Kelas A & B Jonh Fredrik Ulysses, ST

MATEMATIKA DISKRIT LOGIKA

BAB I PENDAHULUAN. dari proses berpikir. Berpikir merupakan suatu proses mempertimbangkan,

FILSAFAT ILMU DAN PENGERTIAN LOGIKA. Dr. H. SyahrialSyarbaini, MA. Psikologi Modul ke: 12Fakultas PSIKOLOGI.

PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321. SEMESTER : GANJIL (5) DOSEN : MAULANA, S.Pd., M.Pd.

Program Studi Teknik Informatika STMIK Tasikmalaya

: SRI ESTI TRISNO SAMI

METODE INFERENSI. Level 2. Level 3. Level 4

PENALARAN INDUKTIF DAN DEDUKTIF

SIL/PKP241/01 Revisi : 00 Hal. 1 dari 5 Gasal Judul praktek: - Jam: SILABUS. Menjelaskan epistemologi sebagai bagian dari cabangcabang

DASAR-DASAR LOGIKA. Pemetaan Dasar. Sujanti, M.Ikom. Modul ke: Fakultas ILMU KOMUNIKASI. Program Studi Hubungan Masyarakat

MATEMATIKA DISKRIT. Logika

Algoritma & Pemrograman 2C Halaman 1 dari 7 ALJABAR BOOLEAN

ARGUMEN DAN METODE DEDUKSI. Cece Kustiawan, FPMIPA, UPI

Logika Informatika. Bambang Pujiarto

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?

FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA SILABUS LOGIKA

Aljabar Boolean dan Sintesis Fungsi. Logika

Backward Chaining & Forward Chaining UTHIE

Organisasi & Arsitektur Komputer

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic)

Dasar Dasar Logika. Oleh: Novy Setya Yunas. Pertemuan 1 dan 2

O L E H : H I DAYAT J U R U SA N TEKNIK KO M P U TER U N I KO M 2012

BAB 1 PENDAHULUAN. 1.1 Latar Belakang

Definisi Aljabar Boolean

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed

Sebuah Pengantar Populer Karangan Jujun S. Sumantri Tentang Matematika Dan Statistika

ALJABAR BOLEAN. Hukum hukum ALjabar Boolean. 1. Hukum Komutatif

LOGIKA INFORMATIKA. Bahan Ajar

BAB I PENDAHULUAN. 1.1 Latar Belakang

Kuliah#3 TSK205 Sistem Digital - TA 2011/2012. Eko Didik Widianto

Artificial Intelegence. Representasi Logica Knowledge

ARGUMEN DAN METODE PENARIKAN KESIMPULAN

Logika Matematika. Rukmono Budi Utomo Pengampu: Prof. Dr. Taufiq Hidayat. March 16, 2016

BAB I PERKEMBANGAN LOGIKA FUZZY

MATEMATIKA DASAR (Validitas Pembuktian)

Tabel kebenaran untuk dua masukan (input) Y = AB + AB A B Y

Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya.

BAB I PENDAHULUAN. Logika merupakan ilmu yang mempelajari metode-metode dan hukumhukum

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika

Argumen premis konklusi jika dan hanya jika Tautolog

SATUAN ACARA PERKULIAHAN JURUSAN TEKNIK INFORMATIKA ITP

I. Judul Percobaan Rangkaian Gerbang Logika dan Aljabar Boolean

BAB III GERBANG LOGIKA DAN ALJABAR BOOLEAN

Logika Proposisi. Adri Priadana ilkomadri.com

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

Unit 7 PENALARAN INDUKTIF DAN DEDUKTIF. Clara Ika Sari Budhayanti. Pendahuluan. Selamat belajar dan tetap bersemangat, semoga Anda sukses.

KATA PENGANTAR. Assalamu alaikum Wr. Wb.

BAB 7 LOGIKA. Agung Suharyanto,M.Si PSIKOLOGI UMA 2017

SISTEM PAKAR ANALISIS PENYAKIT LUPUS ERITEMATOSIS SISTEMIK PADA IBU HAMIL MENGGUNAKAN METODE FORWARD CHAINING

Aljabar Boolean. IF2120 Matematika Diskrit. Oleh: Rinaldi Munir Program Studi Informatika, STEI-ITB. Rinaldi Munir - IF2120 Matematika Diskrit

Pertemuan 1. Pendahuluan Proposisi Jenis-Jenis Proposisi

Himpunan Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed

kusnawi.s.kom, M.Eng version

PERANAN DOMAIN PENAFSIRAN DALAM MENENTUKAN JENIS KUANTOR 1)

INFERENSI DAN PENALARAN. PERTEMUAN 8 Oleh : Diema Hernyka Satyareni, M.Kom

Representasi Pengetahuan : LOGIKA

LAPORAN PRAKTIKUM SISTEM DIGITAL PEMBUKTIAN DALIL-DALIL ALJABAR BOOLEAN

MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC

Program Studi Teknik Informatika STMIK Tasikmalaya

Definisi Aljabar Boolean

TELAAH BAHAN BELAJAR MANDIRI Oleh Sufyani P. Hasil Telaah

BERPIKIR (PENALARAN) DEDUKTIF

BAB 1. Logika. Benteng kehidupan yang terkuat adalah kebenaran. (Anonim)

Logika Matematika. Rukmono Budi Utomo March 14, Prodi S3 Matematika FMIPA-ITB

Aljabar Boolean, Sintesis Ekspresi Logika

MATERI DASAR-DASAR LOGIKA PERTEMUAN 13

LOGIKA Pendidikan Teknik Informatika

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1

Aljabar Boolean. Bahan Kuliah Matematika Diskrit

SATUAN ACARA PERKULIAHAN. : Mahasiswa memiliki pengetahuan konseptual tentang silabus dan prosedur perkuliahan

Algoritma Pemrograman

LAB #1 DASAR RANGKAIAN DIGITAL

Elektronika dan Instrumentasi: Elektronika Digital 2 Gerbang Logika, Aljabar Boolean. Yusron Sugiarto

GARIS-GARIS BESAR PROGRAM PENGAJARAN (GBPP)

Representasi Pengetahuan (Bagian 3) Logika dan Himpunan. Pertemuan 6

Pengetahuan 2.Basis data 3.Mesin Inferensi 4.Antarmuka pemakai (user. (code base skill implemetation), menggunakan teknik-teknik tertentu dengan

Aljabar Boolean, Sintesis Ekspresi Logika

Nama : RHEINHARD NIM : MATEMATIKA DISKRIT

Matematika Industri I

DAFTAR ISI. ABSTRAK... KATA PENGANTAR... DAFTAR TABEL. BAB I PENDAHULUAN.. 1

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali

REPRESENTASI PENGETAHUAN

Transkripsi:

STMIK STIKOM BALIKPAPAN 1 MODUL 1 PENGANTAR LOGIKA INFORMATIKA A. TEMA DAN TUJUAN KEGIATAN PEMBELAJARAN 1. Tema : Pengantar 2. Fokus Pembahasan Materi Pokok : 1. Sejarah 2. Arti 3. Manfaat 3. Tujuan Kegiatan Pembelajaran : 1. Mahasiswa mengetahui sejarah. 2. Mahasiswa memahami pengertian dari Logika Informatika. 3. Mahasiswa mengetahui manfaat. 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

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) Induksi Matematika, Hukum Ekuivalensi Logika De Morgan 2. George Boole(1815-1871) Aljabar Boole 3. Giuseppe Peano(1858-1932) Penemu istilah logika matematika dan teori himpunan 4. Emil L Post(1897-1954) Tabel Kebenaran 5. Ludwig JJ Wittgenstein(1889- Tabel Kebenaran 1951) 6. John Venn(1834-1923) Diagram Venn 7. Henry M Sheffer(1882-1964) 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.

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

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.

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.

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.