MODUL 1 PENGANTAR LOGIKA INFORMATIKA

Ukuran: px
Mulai penontonan dengan halaman:

Download "MODUL 1 PENGANTAR LOGIKA INFORMATIKA"

Transkripsi

1 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

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

3 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

4 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 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.

5 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.

6 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.

Pengenalan Logika Informatika. Pertemuan 1 Viska Armalina, ST.,M.Eng

Pengenalan Logika Informatika. Pertemuan 1 Viska Armalina, ST.,M.Eng Pengenalan Logika Informatika Pertemuan 1 Viska Armalina, ST.,M.Eng Pendahuluan Asal kata Logika Logic (Bahasa Inggris) Logos (Yunani) Arti : dalam bahasa Inggris : Word, Speech, what is spoken, thought,

Lebih terperinci

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 Himpunan Relasi & Fungsi Bagian Aljabar Boolean UAs LOGIKA INFORMATIKA Silabus Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS Himpunan Relasi & Fungsi Bagian Aljabar Boolean UAs Referensi Buku Teks. Edmund Burke and Eric Foxley, 1996

Lebih terperinci

Silabus. Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS

Silabus. Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS Logika Informatika Silabus Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS Silabus (2) Himpunan Relasi dan Fungsi Bagian Aljabar Boolean UAS Referensi Nolt, John, 1990, Schaum's Outline

Lebih terperinci

PENGENALAN LOGIKA MATEMATIKA

PENGENALAN LOGIKA MATEMATIKA LOGIKA MATEMATIKA By Faradillah dillafarrahakim@gmail.com Sumber : Logika Matematika untuk Ilmu Komputer, F. Soesianto dan Djoni Dwijono, Penerbit Andi ofset PENGENALAN LOGIKA MATEMATIKA Pendahuluan Logika

Lebih terperinci

: SRI ESTI TRISNO SAMI

: SRI ESTI TRISNO SAMI By : SRI ESTI TRISNO SAMI 082334051324 E-mail : sriestits2@gmail.com Bahan Bacaan / Refferensi : 1. F. Soesianto dan Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit Andi Yogyakarta. 2. Ery

Lebih terperinci

PENGENALAN LOGIKA INFORMATIKA

PENGENALAN LOGIKA INFORMATIKA 1 PENGENALAN LOGIKA INFORMATIKA PENDAHULUAN STMIK Banjarbaru 2 Logika(logic) berasal dari kata bahasa Yunani logos yaitu ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran

Lebih terperinci

PENGANTAR LOGIKA INFORMATIKA

PENGANTAR LOGIKA INFORMATIKA P a g e 1 PENGANTAR LOGIKA INFORMATIKA 1. Pendahuluan a. Definisi logika Logika berasal dari bahasa Yunani logos. Logika adalah: ilmu untuk berpikir dan menalar dengan benar ilmu pengetahuan yang mempelajari

Lebih terperinci

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

untuk mempelajari matematika lebih lanjut. Untuk menunjang kemampuankemampuan tersebut diharapkan Anda dapat menguasai beberapa kompetensi khusus ix S Tinjauan Mata Kuliah elamat bertemu, selamat belajar, dan selamat berdiskusi dalam mata kuliah Matematika Dasar 1. Mata kuliah PEMA4102/Matematika Dasar 1 dengan bobot 3 sks ini sering pula dinamakan

Lebih terperinci

MODUL 3 OPERATOR LOGIKA

MODUL 3 OPERATOR LOGIKA STMIK STIKOM BALIKPAPAN 1 MODUL 3 OPERATOR LOGIKA 1. TEMA DAN TUJUAN KEGIATAN PEMBELAJARAN 1. Tema : Operator Logika 2. Fokus Pembahasan Materi Pokok : 1. Operator Logika Konjungsi 2. Operator Logika Disjungsi

Lebih terperinci

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

DASAR-DASAR LOGIKA. Ruang Lingkup Logika. Sujanti, M.Ikom. Modul ke: Fakultas ILMU KOMUNIKASI. Program Studi Hubungan Masyarakat Modul ke: 01 Ety Fakultas ILMU KOMUNIKASI DASAR-DASAR LOGIKA Ruang Lingkup Logika Sujanti, M.Ikom. Program Studi Hubungan Masyarakat Dasar-dasar Logika Ruang Lingkup Logika 1. Pengantar 2. Pengertian Logika

Lebih terperinci

PERTEMUAN II PENGENALAN LOGIKA

PERTEMUAN II PENGENALAN LOGIKA PERTEMUAN II PENGENALAN LOGIKA Pengantar Definisi tidak pernah dapat menampilkan dengan sempurna pengertian sesuatu yang dikandungnya. Logika mengantarkan kita ke arah pemahaman garis besar tentang suatu

Lebih terperinci

Logika Deduktif & Sylogisme

Logika Deduktif & Sylogisme Metode Inferensi Logika Deduktif & Sylogisme Pertemuan 10 Umum Salah satu dari banyak metode yang paling sering digunakan untuk menggambarkan inferensi adalah deduktive logic (logika deduktif), yang digunakan

Lebih terperinci

METODE INFERENSI (1)

METODE INFERENSI (1) METODE INFERENSI (1) Tree (Pohon) dan Graph - Tree (pohon) adalah suatu hierarki struktur yang terdiri dari Node (simpul/veteks) yang menyimpan informasi atau pengetahuan dan cabang (link/edge) yang menghubungkan

Lebih terperinci

BAGIAN I ARTI PENTING LOGIKA

BAGIAN I ARTI PENTING LOGIKA Pertemuan ke-1 BAGIAN I ARTI PENTING LOGIKA Apakah arti penting Logika? Mengapa kita perlu belajar Logika? Logika (logike; logos; manifestasi pikiran manusia) adalah Ilmu yang mempelajari sistematika berpikir

Lebih terperinci

DASAR-DASAR LOGIKA 1

DASAR-DASAR LOGIKA 1 DASAR-DASAR LOGIKA 1 PENGERTIAN UMUM LOGIKA Filsafat dan matematika adalah bidang pengetahuan rasional yang ada sejak dahulu. Jauh sebelum matematika berkembang seperti sekarang ini dan penerapannya menyentuh

Lebih terperinci

BAB 3 TABEL KEBENARAN

BAB 3 TABEL KEBENARAN BAB 3 TABEL KEBENARAN 1. Pendahuluan Logika adalah ilmu tentang penalaran (reasoning). Penalaran berarti mencari bukti validitas dari suatu argumen, mencari konsistensi dan pernyataan-pernyataan, dan membahas

Lebih terperinci

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit DASAR-DASAR LOGIKA Pertemuan 2 Matematika Diskrit 25-2-2013 Materi Pembelajaran 1. Kalimat Deklaratif 2. Penghubung kalimat 3. Tautologi dan Kontradiksi 4. Konvers, Invers, dan Kontraposisi 5. Inferensi

Lebih terperinci

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

Sistem Pakar Metode Inferensi 1. Kelas A & B Jonh Fredrik Ulysses, ST Sistem Pakar Metode Inferensi 1 Kelas A & B Jonh Fredrik Ulysses, ST jonh.fredrik.u@gmail.com Pengantar Bab ini akan mendiskusikan berbagai macam metode penalaran atau inferensi. Topik ini merupakan topik

Lebih terperinci

MATEMATIKA DISKRIT LOGIKA

MATEMATIKA DISKRIT LOGIKA MATEMATIKA DISKRIT LOGIKA Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika.

Lebih terperinci

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

BAB I PENDAHULUAN. dari proses berpikir. Berpikir merupakan suatu proses mempertimbangkan, BAB I PENDAHULUAN A. Latar Belakang Dalam setiap rangkaian kehidupan manusia pastilah tidak akan lepas dari proses berpikir. Berpikir merupakan suatu proses mempertimbangkan, merenungkan, menganalisis,

Lebih terperinci

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

FILSAFAT ILMU DAN PENGERTIAN LOGIKA. Dr. H. SyahrialSyarbaini, MA. Psikologi  Modul ke: 12Fakultas PSIKOLOGI. FILSAFAT ILMU DAN LOGIKA Modul ke: 12Fakultas PSIKOLOGI PENGERTIAN LOGIKA Dr. H. SyahrialSyarbaini, MA. Program Studi Psikologi www.mercubuana.ac.id Pendahuluan Standar Kompetensi Setelah perkuliahan ini

Lebih terperinci

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

PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321. SEMESTER : GANJIL (5) DOSEN : MAULANA, S.Pd., M.Pd. Doc Logika Matematika PGSD Maulana 1 PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321 BOBOT SKS : 2 (DUA) TAHUN AKADEMIK : 2007/2008 PROGRAM : PGSD S-1 KELAS SEMESTER : GANJIL

Lebih terperinci

Program Studi Teknik Informatika STMIK Tasikmalaya

Program Studi Teknik Informatika STMIK Tasikmalaya Materi Kuliah Logika Matematika Oleh: Dadang Mulyana Program Studi Teknik Informatika STMIK Tasikmalaya 1 Info Dosen Nama : Dadang Mulyana Alamat : Ciamis HP. :- E-mail tugas : dadangstmik@gmail.com Web

Lebih terperinci

: SRI ESTI TRISNO SAMI

: SRI ESTI TRISNO SAMI By : SRI ESTI TRISNO SAMI 08125218506 / 082334051324 E-mail : sriestits2@gmail.com Bahan Bacaan / Refferensi : 1. F. Soesianto dan Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit Andi Yogyakarta.

Lebih terperinci

METODE INFERENSI. Level 2. Level 3. Level 4

METODE INFERENSI. Level 2. Level 3. Level 4 METODE INFERENSI Tree (Pohon) dan Graph - Tree (pohon) adalah suatu hierarki struktur yang terdiri dari Node (simpul/veteks) yang menyimpan informasi atau pengetahuan dan cabang (link/edge) yang menghubungkan

Lebih terperinci

PENALARAN INDUKTIF DAN DEDUKTIF

PENALARAN INDUKTIF DAN DEDUKTIF Unit 6 PENALARAN INDUKTIF DAN DEDUKTIF Wahyudi Pendahuluan U nit ini membahas tentang penalaran induktif dan deduktif yang berisi penarikan kesimpulan dan penalaran indukti deduktif. Dalam penalaran induktif

Lebih terperinci

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

SIL/PKP241/01 Revisi : 00 Hal. 1 dari 5 Gasal Judul praktek: - Jam: SILABUS. Menjelaskan epistemologi sebagai bagian dari cabangcabang SIL/PKP241/01 Revisi : 00 Hal. 1 dari 5 SILABUS Nama Mata Kuliah : EPISTEMOLOGI & LOGIKA PENDIDIKAN Kode Mata Kuliah : IPF 203 SKS : 2 (Teori) Dosen : Priyoyuwono Program Studi : Semua Program Studi di

Lebih terperinci

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

DASAR-DASAR LOGIKA. Pemetaan Dasar. Sujanti, M.Ikom. Modul ke: Fakultas ILMU KOMUNIKASI. Program Studi Hubungan Masyarakat Modul ke: 05 Ety Fakultas ILMU KOMUNIKASI DASAR-DASAR LOGIKA Pemetaan Dasar Sujanti, M.Ikom. Program Studi Hubungan Masyarakat Dasar-dasar Logika Pemetaan Dasar 1. Argumentasi 2. Menguji Suatu Penalaran

Lebih terperinci

MATEMATIKA DISKRIT. Logika

MATEMATIKA DISKRIT. Logika MATEMATIKA DISKRIT Logika SILABUS KULIAH 1. Logika 2. Himpunan 3. Matriks, Relasi dan Fungsi 4. Induksi Matematika 5. Algoritma dan Bilangan Bulat 6. Aljabar Boolean 7. Graf 8. Pohon REFERENSI Rinaldi

Lebih terperinci

Algoritma & Pemrograman 2C Halaman 1 dari 7 ALJABAR BOOLEAN

Algoritma & Pemrograman 2C Halaman 1 dari 7 ALJABAR BOOLEAN Algoritma & Pemrograman 2C Halaman 1 dari 7 ALJAAR OOLEAN Aljabar boolean merupakan aljabar yang berhubungan dengan variabel-variabel biner dan operasi-operasi logik. Variabel-variabel diperlihatkan dengan

Lebih terperinci

ARGUMEN DAN METODE DEDUKSI. Cece Kustiawan, FPMIPA, UPI

ARGUMEN DAN METODE DEDUKSI. Cece Kustiawan, FPMIPA, UPI ARGUMEN DAN METODE DEDUKSI Pengertian Argumen Argumen merupakan serangkaian pernyataan yang mempunyai ungkapan pernyataan penarikan kesimpulan. Dalam argumen terdapat kata-kata seperti : Jadi, maka, oleh

Lebih terperinci

Logika Informatika. Bambang Pujiarto

Logika Informatika. Bambang Pujiarto Logika Informatika Bambang Pujiarto LOGIKA mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argument yang valid studi tentang kriteria-kriteria untuk mengevaluasi argumenargumen dengan

Lebih terperinci

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

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat? BAB I PENDAHULUAN 1.1 LATAR BELAKANG Secara etimologi, istilah Logika berasal dari bahasa Yunani, yaitu logos yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga ilmu pengetahuan. Dalam arti

Lebih terperinci

FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA SILABUS LOGIKA

FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA SILABUS LOGIKA No. SIL/EKA/PTI 206/01 Revisi : 00 Tgl : 1 April 2008 Hal 1 dari 5 MATA KULIAH : Logika KODE MATA KULIAH : PTI 206 SEMESTER : 1 PROGRAM STUDI : Pendidikan Teknik Informatika DOSEN PENGAMPU : Ratna Wardani,

Lebih terperinci

Aljabar Boolean dan Sintesis Fungsi. Logika

Aljabar Boolean dan Sintesis Fungsi. Logika dan Sintesis Fungsi dan Sintesis Fungsi Kuliah#3 TKC205 Sistem Digital - TA 2013/2014 Eko Didik Sistem Komputer - Universitas Diponegoro http://didik.blog.undip.ac.id 1 Pengantar dan Sintesis Fungsi Dalam

Lebih terperinci

Backward Chaining & Forward Chaining UTHIE

Backward Chaining & Forward Chaining UTHIE Backward Chaining & Forward Chaining UTHIE Inferensi merupakan proses untuk menghasilkan informasi dari fakta yang diketahui atau diasumsikan. Inferensi adalah konklusi logis (logical conclusion) atau

Lebih terperinci

Organisasi & Arsitektur Komputer

Organisasi & Arsitektur Komputer Organisasi & Arsitektur Komputer 1 Logika Digital Eko Budi Setiawan, S.Kom., M.T. Eko Budi Setiawan mail@ekobudisetiawan.com www.ekobudisetiawan.com Teknik Informatika - UNIKOM 2013 Pendahuluan Gerbang

Lebih terperinci

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

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisi Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisional Tujuan pembicaraan kali ini adalah untuk menampilkan suatu bahasa daripada kalimat abstrak

Lebih terperinci

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

Dasar Dasar Logika. Oleh: Novy Setya Yunas. Pertemuan 1 dan 2 Pertemuan 1 dan 2 Dasar Dasar Logika Oleh: Novy Setya Yunas Phone: [+62 8564 9967 841] Email: novysetiayunas@gmail.com Online Course: https://independent.academia.edu/yunaszone Konsep.. Konsep bentuk logis

Lebih terperinci

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

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 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 Outline Penjelasan tiga operasi logika dasar dalam sistem digital. Penjelasan Operasi dan Tabel Kebenaran logika AND, OR, NAND, NOR

Lebih terperinci

BAB 1 PENDAHULUAN. 1.1 Latar Belakang

BAB 1 PENDAHULUAN. 1.1 Latar Belakang BAB 1 PENDAHULUAN 1.1 Latar Belakang Perkembangan teknologi komputer telah membuat ruang batas perangkat lunak dan perangkat keras semakin sempit. Komputer sebagai sistem tidak dapat dipahami tanpa memahami

Lebih terperinci

Definisi Aljabar Boolean

Definisi Aljabar Boolean 1 UNTUK DOWNLOAD LEBIH BANYAK EBOOKS TENTANG KOMPUTER KUNJUNGI http://wirednotes.blogspot.com Definisi Aljabar Boolean Misalkan terdapat - Dua operator biner: + dan - Sebuah operator uner: - B : himpunan

Lebih terperinci

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

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Logika Klasik Matematika Diskret (TKE132107) - Program Studi Teknik

Lebih terperinci

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

Sebuah Pengantar Populer Karangan Jujun S. Sumantri Tentang Matematika Dan Statistika Sebuah Pengantar Populer Karangan Jujun S. Sumantri Tentang Matematika Dan Statistika A. MATEMATIKA Matematika Sebagai Bahasa Untuk mengatasi kekurangan yang terdapat pada bahasa maka kita berpaling kepada

Lebih terperinci

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

ALJABAR BOLEAN. Hukum hukum ALjabar Boolean. 1. Hukum Komutatif LJBR BOLEN Diktat Elektronika Digital ljabar Boolean Dalam matematika dan ilmu komputer, ljabar Boolean adalah struktur aljabar yang "mencakup intisari" operasi logika DN, TU dan TIDK dan juga teori himpunan

Lebih terperinci

LOGIKA INFORMATIKA. Bahan Ajar

LOGIKA INFORMATIKA. Bahan Ajar LOGIKA INFORMATIKA Bahan Ajar Digunakan sebagai salah satu bahan ajar mata kuliah Logika Informatika Oleh Achmad Fauzan TEKNIK INFORMATIKA POLITEKNIK HARAPAN BERSAMA TEGAL 2016 Daftar Isi Daftar Isi ii

Lebih terperinci

BAB I PENDAHULUAN. 1.1 Latar Belakang

BAB I PENDAHULUAN. 1.1 Latar Belakang BAB I PENDAHULUAN 1.1 Latar Belakang Proposisi adalah pernyataan yang dapat ditentukan nilai kebenarannya, bernilai benar atau salah tetapi tidak keduanya. Sedangkan, Kalkulus Proposisi (Propositional

Lebih terperinci

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

Kuliah#3 TSK205 Sistem Digital - TA 2011/2012. Eko Didik Widianto ,, Kuliah#3 TSK205 Sistem Digital - TA 2011/2012 Eko Didik Teknik Sistem Komputer - Universitas Diponegoro , Sebelumnya dibahas tentang konsep rangkaian logika: Representasi biner dan saklar sebagai elemen

Lebih terperinci

Artificial Intelegence. Representasi Logica Knowledge

Artificial Intelegence. Representasi Logica Knowledge Artificial Intelegence Representasi Logica Knowledge Outline 1. Logika dan Set Jaringan 2. Logika Proposisi 3. Logika Predikat Order Pertama 4. Quantifier Universal 5. Quantifier Existensial 6. Quantifier

Lebih terperinci

ARGUMEN DAN METODE PENARIKAN KESIMPULAN

ARGUMEN DAN METODE PENARIKAN KESIMPULAN 1 RGUMEN DN METODE PENRIKN KESIMPULN rgumen adalah rangkaian pernyataan-pernyataan yang mempunyai ungkapan pernyataan penarikan kesimpulan (inferensi). rgumen terdiri dari pernyataanpernyataan yang terdiri

Lebih terperinci

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

Logika Matematika. Rukmono Budi Utomo Pengampu: Prof. Dr. Taufiq Hidayat. March 16, 2016 Logika Matematika Rukmono Budi Utomo 30115301 Pengampu: Prof. Dr. Taufiq Hidayat March 16, 2016 1 Logika Logika berasal dari kata Yunani kuno (logos) yang berarti hasil pertimbangan akal pikiran yang diutarakan

Lebih terperinci

BAB I PERKEMBANGAN LOGIKA FUZZY

BAB I PERKEMBANGAN LOGIKA FUZZY BAB I PERKEMBANGAN LOGIKA FUZZY 1.1. Apakah Logika Fuzzy? Dalam kehidupan sehari-hari kita sering menjumpai suatu kondisi yang tidak dapat ditentukan batas-batasnya secara tepat. Pemberian batasan secara

Lebih terperinci

MATEMATIKA DASAR (Validitas Pembuktian)

MATEMATIKA DASAR (Validitas Pembuktian) MATEMATIKA DASAR (Validitas Pembuktian) Antonius Cahya Prihandoko Universitas Jember Indonesia Jember, 2015 Antonius Cahya Prihandoko (UNEJ) MDAS - Validitas Pembuktian Jember, 2015 1 / 22 Outline 1 Premis

Lebih terperinci

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

Tabel kebenaran untuk dua masukan (input) Y = AB + AB A B Y G.Gerbang X-OR dan Gerbang X-NOR 1. Gerbang X-OR dalah komponen logika yang keluarannya bernilai 1 bila terminal masukannya tidak sama, atau dengan persamaan ditulis : Y = + Simbol gerbang X-OR untuk dua

Lebih terperinci

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

Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya. 1 Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya. Setiap kalimat atau pernyataan tetap dapat dianggap satu buah proposisi.

Lebih terperinci

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

BAB I PENDAHULUAN. Logika merupakan ilmu yang mempelajari metode-metode dan hukumhukum BAB I PENDAHULUAN A. Latar Belakang Masalah Logika merupakan ilmu yang mempelajari metode-metode dan hukumhukum yang digunakan untuk membedakan antara penalaran yang benar dan penalaran yang salah (Copi,

Lebih terperinci

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

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika Pengantar Logika 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika. Tetapi,

Lebih terperinci

Argumen premis konklusi jika dan hanya jika Tautolog

Argumen premis konklusi jika dan hanya jika Tautolog INFERENSI LOGIKA Argumen adalah suatu pernyataan tegas yang diberikan oleh sekumpulan proposisi P 1, P 2,...,P n yang disebut premis (hipotesa/asumsi) dan menghasilkan proposisi Q yang lain yang disebut

Lebih terperinci

SATUAN ACARA PERKULIAHAN JURUSAN TEKNIK INFORMATIKA ITP

SATUAN ACARA PERKULIAHAN JURUSAN TEKNIK INFORMATIKA ITP SATUAN ACARA PERKULIAHAN JURUSAN TEKNIK INFORMATIKA ITP Mata kuliah : Algoritma dan Pemrograman Kode Mata Kuliah : TIS2223 SKS : 3 Waktu Pertemuan : 16 kali Pertemuan Deskripsi : Mata kuliah algoritma

Lebih terperinci

I. Judul Percobaan Rangkaian Gerbang Logika dan Aljabar Boolean

I. Judul Percobaan Rangkaian Gerbang Logika dan Aljabar Boolean I. Judul Percobaan Rangkaian Gerbang Logika dan Aljabar Boolean II. Tujuan Percobaan 1. Praktikan memahami antara input dan output pada rangkaian logika AND, OR, NOT, XOR, NAND, NOR dan XNOR. 2. Praktikan

Lebih terperinci

BAB III GERBANG LOGIKA DAN ALJABAR BOOLEAN

BAB III GERBANG LOGIKA DAN ALJABAR BOOLEAN A III GERANG LOGIKA DAN ALJAAR OOLEAN 3. Pendahuluan Komputer, kalkulator, dan peralatan digital lainnya kadang-kadang dianggap oleh orang awam sebagai sesuatu yang ajaib. Sebenarnya peralatan elektronika

Lebih terperinci

Logika Proposisi. Adri Priadana ilkomadri.com

Logika Proposisi. Adri Priadana ilkomadri.com Logika Proposisi Adri Priadana ilkomadri.com Matematika Diskrit Apa? Cabang matematika yg mempelajari tentang obyek diskrit. Apa yang dimaksud dengan kata diskrit (discrete)? Objek disebut diskrit jika:

Lebih terperinci

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM Pengantar Logika Didin Astriani Prasetyowati, M.Stat UIGM 1 BAB I PENGANTAR LOGIKA Konsep Logika Apakah logika itu? Seringkali Logika didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar

Lebih terperinci

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

Unit 7 PENALARAN INDUKTIF DAN DEDUKTIF. Clara Ika Sari Budhayanti. Pendahuluan. Selamat belajar dan tetap bersemangat, semoga Anda sukses. Unit 7 PENALARAN INDUKTIF DAN DEDUKTIF Pendahuluan Clara Ika Sari Budhayanti U nit penalaran induktif dan deduktif ini akan membahas mengenai penarikan kesimpulan dan penalaran indukti deduktif. Dalam

Lebih terperinci

KATA PENGANTAR. Assalamu alaikum Wr. Wb.

KATA PENGANTAR. Assalamu alaikum Wr. Wb. KATA PENGANTAR Assalamu alaikum Wr. Wb. Alhamdulillah.. Puji syukur kehadirat Allah SWT. atas segala rahmat dan hidayah-nya. Segala pujian hanya layak kita aturkan kepada Allah SWT. Tuhan seru sekalian

Lebih terperinci

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

BAB 7 LOGIKA. Agung Suharyanto,M.Si PSIKOLOGI UMA 2017 BAB 7 LOGIKA Agung Suharyanto,M.Si PSIKOLOGI UMA 2017 LOGIKA Logika berasal dari kata Yunani Kuno yaitu λσγσς (Logos) yang artinya hasil pertimbangan akal pikiran yang diutarakan lewat kata dan dinyatakan

Lebih terperinci

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

SISTEM PAKAR ANALISIS PENYAKIT LUPUS ERITEMATOSIS SISTEMIK PADA IBU HAMIL MENGGUNAKAN METODE FORWARD CHAINING SISTEM PAKAR ANALISIS PENYAKIT LUPUS ERITEMATOSIS SISTEMIK PADA IBU HAMIL MENGGUNAKAN METODE FORWARD CHAINING Sry Yunarti Program Studi Sistem Informasi STMIK Profesional Makassar yeye_rumbu@yahoo.co.id

Lebih terperinci

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

Aljabar Boolean. IF2120 Matematika Diskrit. Oleh: Rinaldi Munir Program Studi Informatika, STEI-ITB. Rinaldi Munir - IF2120 Matematika Diskrit Aljabar Boolean IF22 Matematika Diskrit Oleh: Rinaldi Munir Program Studi Informatika, STEI-ITB Rinaldi Munir - IF22 Matematika Diskrit Pengantar Aljabar Boolean ditemukan oleh George Boole, pada tahun

Lebih terperinci

Pertemuan 1. Pendahuluan Proposisi Jenis-Jenis Proposisi

Pertemuan 1. Pendahuluan Proposisi Jenis-Jenis Proposisi Pertemuan 1 Pendahuluan Proposisi Jenis-Jenis Proposisi Sejarah Pekembangan Logika Logika dalam ilmu komputer digunakan sebagai dasar dalam belajar bahasa pemrograman, struktur data, kecerdasan buatan,

Lebih terperinci

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

Himpunan Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Himpunan Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Obyek-obyek diskret ada di sekitar kita. Matematika Diskret (TKE132107)

Lebih terperinci

kusnawi.s.kom, M.Eng version

kusnawi.s.kom, M.Eng version Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.1.0.2009 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi -

Lebih terperinci

PERANAN DOMAIN PENAFSIRAN DALAM MENENTUKAN JENIS KUANTOR 1)

PERANAN DOMAIN PENAFSIRAN DALAM MENENTUKAN JENIS KUANTOR 1) PERANAN DOMAIN PENAFSIRAN DALAM MENENTUKAN JENIS KUANTOR 1) Septilia Arfida 2) Jurusan Teknik Informatika, Informatics & Business Institute Darmajaya Jl. Z.A Pagar Alam No.93 Bandar Lampung Indonesia 35142Telp:

Lebih terperinci

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

INFERENSI DAN PENALARAN. PERTEMUAN 8 Oleh : Diema Hernyka Satyareni, M.Kom INFERENSI DAN PENALARAN PERTEMUAN 8 Oleh : Diema Hernyka Satyareni, M.Kom Strategi Penalaran Runut Maju / Forward Chaining Runut Balik / Backward Chaining Forward Chaining Penalaran dimulai dari keadaan

Lebih terperinci

Representasi Pengetahuan : LOGIKA

Representasi Pengetahuan : LOGIKA Representasi Pengetahuan : LOGIKA Representasi Pengetahuan : LOGIKA 1/16 Outline Logika dan Set Jaringan Logika Proposisi Logika Predikat Order Pertama Quantifier Universal Quantifier Existensial Quantifier

Lebih terperinci

LAPORAN PRAKTIKUM SISTEM DIGITAL PEMBUKTIAN DALIL-DALIL ALJABAR BOOLEAN

LAPORAN PRAKTIKUM SISTEM DIGITAL PEMBUKTIAN DALIL-DALIL ALJABAR BOOLEAN LAPORAN PRAKTIKUM SISTEM DIGITAL PEMBUKTIAN DALIL-DALIL ALJABAR BOOLEAN Dosen Pengampu : Shoffin Nahwa Utama, M.T. Disusun Oleh: MUHAMMAD IBRAHIM NIM : 362015611040 FAKULTAS SAINS DAN TEKNOLOGI TEKNIK

Lebih terperinci

MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC

MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA Nama : NURHIDAYAT NIM : DC 113 055 JURUAN TEKNIK INFORMATIKA FAKULTA TEKNIK UNIVERITA PALANGKA RAYA 2013 A I PENGERTIAN Logika adalah dasar dan alat berpikir

Lebih terperinci

Program Studi Teknik Informatika STMIK Tasikmalaya

Program Studi Teknik Informatika STMIK Tasikmalaya Materi Kuliah Logika Matematika Oleh: Dadang Mulyana Program Studi Teknik Informatika STMIK Tasikmalaya dadang mulyana 2013 1 Info Dosen Nama : Dadang Mulyana Alamat : Ciamis HP. :- E-mail tugas : dadangstmik@gmail.com

Lebih terperinci

Definisi Aljabar Boolean

Definisi Aljabar Boolean Aljabar Boolean 1 Definisi Aljabar Boolean Aljabar boolean merupakan aljabar yang berhubungan dengan variabel-variabel biner dan operasi-operasi logik. Variabel-variabel diperlihatkan dengan huruf-huruf

Lebih terperinci

TELAAH BAHAN BELAJAR MANDIRI Oleh Sufyani P. Hasil Telaah

TELAAH BAHAN BELAJAR MANDIRI Oleh Sufyani P. Hasil Telaah TELAAH BAHAN BELAJAR MANDIRI Oleh Sufyani P Nama Matakuliah: Logika Matematika. SKS : 2 Semester : 7 Penulis : Drs. Mujono, M.Pd. I. Tinjauan matakuliah: tidak ada Hasil Telaah II. Sajian Materi: a. Relevansi

Lebih terperinci

BERPIKIR (PENALARAN) DEDUKTIF

BERPIKIR (PENALARAN) DEDUKTIF UNIVERSITAS GUNADARMA NAMA : SRI SETIAWATY NPM : 18211261 KELAS : 3EA27 BERPIKIR (PENALARAN) DEDUKTIF A. DEFINISI BERPIKIR (PENALARAN) Berpikir (Penalaran) adalah sebuah pemikiran untuk dapat menghasilkan

Lebih terperinci

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

BAB 1. Logika. Benteng kehidupan yang terkuat adalah kebenaran. (Anonim) BAB 1 Logika Benteng kehidupan yang terkuat adalah kebenaran. (Anonim) Materi Matematika Diskrit di dalam buku ini dimulai dari pokok bahasan logika. Logika merupakan studi penalaran (reasoning). Dalam

Lebih terperinci

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

Logika Matematika. Rukmono Budi Utomo March 14, Prodi S3 Matematika FMIPA-ITB Logika Asal-Usul Logika Manfaat Berfikir Secara Logika Pernyataan Dalam Ekuivale Rukmono Budi Utomo 30115301 Prodi S3 Matematika FMIPA-ITB March 14, 2016 Logika Asal-Usul Logika Manfaat Berfikir Secara

Lebih terperinci

Aljabar Boolean, Sintesis Ekspresi Logika

Aljabar Boolean, Sintesis Ekspresi Logika , Eko Didik Widianto (didik@undip.ac.id) Sistem Komputer - Universitas Diponegoro @2011 eko didik widianto siskom-undip SK205 Sistem Digital 1 / 38 Review Kuliah Sebelumnya konsep rangkaian logika telah

Lebih terperinci

MATERI DASAR-DASAR LOGIKA PERTEMUAN 13

MATERI DASAR-DASAR LOGIKA PERTEMUAN 13 MATERI DASAR-DASAR LOGIKA PERTEMUAN 13 Pengertian Silogisme Silogisme kategorik (disebut juga silogisme saja) adalah suatu bentuk formal dari deduksi yang terdiri atas proposisi-proposisi kategorik. Deduksi

Lebih terperinci

LOGIKA Pendidikan Teknik Informatika

LOGIKA Pendidikan Teknik Informatika LOGIKA Materi Perkuliahan Konsep Logika, Sejarah dan Peranannya Bentuk Formal Logika dan Kaidah-kaidah Dasarnya Logika Proposisi Bentuk Argumen dan validitasnya Variabel dan Konstanta proposional Logical

Lebih terperinci

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

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1 LOGIKA Ratna Wardani Pendidikan Teknik Informatika 2 September 2007 Pertemuan-1-2 1 Materi Perkuliahan Konsep Logika, Sejarah dan Peranannya Bentuk Formal Logika dan Kaidah-kaidah Dasarnya Logika Proposisi

Lebih terperinci

Aljabar Boolean. Bahan Kuliah Matematika Diskrit

Aljabar Boolean. Bahan Kuliah Matematika Diskrit Aljabar Boolean Bahan Kuliah Matematika Diskrit Definisi Aljabar Boolean Misalkan terdapat - Dua operator biner: + dan - Sebuah operator uner:. - B : himpunan yang didefinisikan pada operator +,, dan -

Lebih terperinci

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

SATUAN ACARA PERKULIAHAN. : Mahasiswa memiliki pengetahuan konseptual tentang silabus dan prosedur perkuliahan SATUAN ACARA PERKULIAHAN Topik/ Pokok Bahasan 1 : Penjelasan silabus dan prosedur perkuliahan : Mahasiswa memiliki pengetahuan konseptual tentang silabus dan prosedur perkuliahan 1 Pengantar perkuliahan

Lebih terperinci

Algoritma Pemrograman

Algoritma Pemrograman Algoritma Pemrograman Pertemuan Ke-1 (Pengantar Algoritma) :: Noor Ifada :: S1 Teknik Informatika-Unijoyo 1 Sub Pokok Bahasan Pendahuluan Arti Penting Algoritma Program Terstruktur dan Algoritma Notasi

Lebih terperinci

LAB #1 DASAR RANGKAIAN DIGITAL

LAB #1 DASAR RANGKAIAN DIGITAL LAB #1 DASAR RANGKAIAN DIGITAL TUJUAN 1. Untuk mempelajari operasi dari gerbang logika dasar. 2. Untuk membangun rangkaian logika dari persamaan Boolean. 3. Untuk memperkenalkan beberapa konsep dasar dan

Lebih terperinci

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

Elektronika dan Instrumentasi: Elektronika Digital 2 Gerbang Logika, Aljabar Boolean. Yusron Sugiarto Elektronika dan Instrumentasi: Elektronika Digital 2 Gerbang Logika, Aljabar Boolean Yusron Sugiarto Materi Kuliah Rangkaian Logika Ada beberapa operasi-operasi dasar pada suatu rangkaian logika dan untuk

Lebih terperinci

GARIS-GARIS BESAR PROGRAM PENGAJARAN (GBPP)

GARIS-GARIS BESAR PROGRAM PENGAJARAN (GBPP) Mata Kuliah : Pemograman C++ Bobot Mata Kuliah : 3 Sks GARIS-GARIS BESAR PROGRAM PENGAJARAN (GBPP) Deskripsi Mata Kuliah : Konsep pemrograman berorientasi obyek, pengenalan program java, struktur kontrol,

Lebih terperinci

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

Representasi Pengetahuan (Bagian 3) Logika dan Himpunan. Pertemuan 6 Representasi Pengetahuan (Bagian 3) Logika dan Himpunan Pertemuan 6 Syllogisme Adalah logika formal pertama yang dikembangkan oleh filsuf Yunani, Aristotle pada abad ke-4 SM. Syllogisme mempunyai dua premises

Lebih terperinci

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

Pengetahuan 2.Basis data 3.Mesin Inferensi 4.Antarmuka pemakai (user. (code base skill implemetation), menggunakan teknik-teknik tertentu dengan Bab II TINJAUAN PUSTAKA 2.1 Pengertian Sistem Pakar Sistem pakar (expert system) adalah sistem yang berusaha mengapdosi pengetahuan manusia ke komputer, agar komputer dapat menyelesaikan masalah seperti

Lebih terperinci

Aljabar Boolean, Sintesis Ekspresi Logika

Aljabar Boolean, Sintesis Ekspresi Logika , Eko Didik Widianto (didik@undip.ac.id) Sistem Komputer - Universitas Diponegoro @2011 eko didik widianto (http://didik.blog.undip.ac.id) TSK205 Sistem Digital - Siskom Undip 1 / 39 Review Kuliah Sebelumnya

Lebih terperinci

Nama : RHEINHARD NIM : MATEMATIKA DISKRIT

Nama : RHEINHARD NIM : MATEMATIKA DISKRIT Nama : RHEINHARD NIM : 41-2010-014 MATEMATIKA DISKRIT PENGERTIAN Matematika dikenal sebagai ilmu dasar. Pembelajaran matematika akan melatih kemampuan berpikir kritis, logis, analitis, dan sistematis.

Lebih terperinci

Matematika Industri I

Matematika Industri I LOGIKA MATEMATIKA TIP FTP - UB Pokok Bahasan Proposisi dan negasinya Nilai kebenaran dari proposisi Tautologi Ekuivalen Kontradiksi Kuantor Validitas pembuktian Pokok Bahasan Proposisi dan negasinya Nilai

Lebih terperinci

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

DAFTAR ISI. ABSTRAK... KATA PENGANTAR... DAFTAR TABEL. BAB I PENDAHULUAN.. 1 DAFTAR ISI ABSTRAK... KATA PENGANTAR... DAFTAR ISI. DAFTAR TABEL. DAFTAR GAMBAR iv v viii x xii BAB I PENDAHULUAN.. 1 1.1 Latar Belakang Masalah. 1 1.2 Rumusan Masalah... 4 1.3 Pembatasan Masalah. 4 1.4

Lebih terperinci

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

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali Materi 4: Logika I Nyoman Kusuma Wardana STMIK STIKOM Bali Logika merupakan dasar dr semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan-pernyataan (statements). Dalam Logika

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Basis Pengetahuan Langkah pertama dalam membuat sistem kecerdasan buatan adalah membangun basis pengetahuan Digunakan oleh motor inferensi dalam menalar dan mengambil kesimpulan

Lebih terperinci