LOGIKA INFORMATIKA PROPOSITION LOGIC. Materi 1. Proposition Sentences Notation Interpretation Exercise
|
|
- Ade Chandra
- 7 tahun lalu
- Tontonan:
Transkripsi
1 Materi 1 PROPOSITION LOGIC Proposition Sentences Notation Interpretation Exercise LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta
2 Propositions Komponen dasar pembentuk kalimat logika (sentence) Membentuk kalimat deklaratif~yaitu kalimat yang dapat ditentukan nilai kebenarannya (truth value), true atau false tetapi tidak keduanya Contoh: 1. Jakarta ibu kota negara Indonesia 2. 3 adalah bilangan prima yang pertama >20 Dinyatakan dengan: 1. Truth Value, (misal: true dan false) 2. Propositional Symbols, (misal: p, q, r, s, t,...) 2
3 Sententces Dibangun dari proposisi-proposisi dengan menggunakan propositional connectives, yaitu: not, and, or, if-then, -if and only if-, If-then-else Aturan pembentukan sentences: 1. Proposition, (p) 2. Negation proposisi p, (not p) 3. Conjunction, (p and q) 4. Disjunction, (p or q) 5. Implication, (if p then q) 6. Equivalence, (p if and only if q) 7. Conditional, (if p then q else r) 3
4 Notation Notasi dari 6 connective: Englishlike Konvensional Not ~ And Or If-then If and only if If-then-else- V If-then-else- Contoh penulisan notasi konvensional: if ((p or q) and (if q then r)) then (if (p and q) then not r) adalah: ((p V q) (q r) ((p q) ~r) 4
5 Interpretation Pemberian truth value pada setiap simbol proposisi dari suatu kalimat logika Contoh: not p or q Maka, interpretasi untuk proposisi p dan q adalah: p True p False atau q True q False 5
6 Exercise Soal 1 Diberikan simbol penghubung kalimat logika berikut: Englishlike Konvensional Not ~ And Or V If then If and only if If then else If then else 6
7 Pernyataan: Simbol Pernyataan p Saya suka kuliah logika informatika q SBY presiden Ri ke 7 r 13 adalah bilangan prima ke 6 s Deret fibbonaci ke 4 adalah 3 t Dua garis sejajar memiliki kemiringan yang sama 7
8 Ubahlah kalimat berikut menjadi simbol kalimat logika (simbol englishlike): 1. Saya suka kuliah logika informatika 2. Jika Saya suka kuliah logika informatika maka SBY presiden RI ke bukan bilangan prima ke 6 jika dan hanya jika Deret fibbonaci ke 4 adalah 3 4. Tidak benar bahwa Saya tidak suka kuliah logika informatika 5. Jika 13 adalah bilangan prima ke 6 maka Deret fibbonaci ke 4 adalah 3 atau Jika SBY presiden RI ke 7 dan 13 bilangan prima ke 6 maka 13 bukan bilangan prima ke 6 8
9 Exercise Soal 2 Ubahlah kalimat logika berikut ke dalam simbol konvensional: 1. (if p then q) or (if q then p) 2. (not q) or not[if p then (notq) and p) 3. (if p then (not q)) if and only if not (p and q) 4. (if (p or q) then r] if and only if [(if p then r) and (if q then r)) 5. (p if and only if (q if and only if r)) if and only if ((p if and only if q) if and only if r) 6. (if p then q and r else (not q) and s] if and only if [if q then p and r else (not p) and s) 9
10 Materi 2 PROPOSITION LOGIC Semantic Rule Truth Table Exercise LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta
11 Semantic Rule Suatu aturan yang digunakan untuk menentukan arti atau nilai kebenaran dari suatu kalimat logika Aturan Semantic: 1. Aturan NOT (Negation Rule) 2. Aturan AND (Conjunction Rule) 3. Aturan OR (Disjunction Rule) 4. Aturan IF-THEN (Implication Rule) 5. Aturan IF AND ONLY IF (Equivalence Rule) 6. Aturan IF-THEN-ELSE (Conditional Rule) 2
12 Semantic Rule (cont) 1. Negation Rule p ~p true false False true 2. Conjunction Rule p q p q true true true true false false false true false false false false 3
13 Semantic Rule (cont) 3. Disjunction Rule p q p q true true true true false true false true true false false false 4. Implication Rule p q p q true true true true false false false true true false false true 4
14 Semantic Rule (cont) 5. Equivalence Rule p q p q true true true true false false false true false false false true 5
15 Semantic Rule (cont) 6. Conditional Rule p q r If p then q else r true true true true true true false true true false true false true false false false false true true true false true false false false false true true false false false false 6
16 Truth Table Adalah suatu cara untuk menentukan nilai kebenaran dari suatu kalimat logika Contoh 1. Diberikan kalimat logika berikut: not (p and (not p)) or q Tentukan nilai kebenarannya dengan menggunakan tabel kebenaran! Langkah: Ubahlah menjadi kalimat dengan simbol konvensional Buatlah table dengan menginterpretasi kemungkinan nilai dari setiap proposisinya 7
17 Truth Table (cont) Jawab: Langkah 1. Mengubah ke simbol Konvensional ~(p ~p) q Langkah 2. Membuat Truth Table p q ~p p ~p ~(p ~p) ~(p ~p) q true true false false true true true false false false true true false true true false true true false false true false true true 8
18 Truth Table (cont) Contoh 2. Tentukan truth value dengan menggunakan truth table dari kalimat logika berikut: (if p then q) or (r and (not p)) Jawab: 1. (p q) (r ~p) 2. p q r ~p p q r ~p (p q) (r ~p) true true true false true false true true true false false true false true true false true false false false false true false false false false false false false true true true true true true false true false true true false true false false true true true true true false false false true true false true 9
19 Exercise 1. Diberikan kalimat logika: If (if q then not p) then (not q and p) else not ((p or s) if and only if ( if r then q)) Maka tentukan truth value-nya, jika ; a. Interpretasi p, q, r, dan s true b. Interpretasi p, q, r, dan s false c. Interpretasi p dan q true, r dan s false d. Interpretasi p dan q false, r dan s true 10
20 Exercise (cont) 2. Dengan menggunakan tabel kebenaran (truth value), tentukan nilai kebenaran dari kalimat logika berikut: a. ( p and (if r then s)) if and only if (( if r then s ) and p ) b. ( if not p then not s ) or (( if q then s ) and p ) 3. Dengan mengasumsikan p dan r benar, serta q dan s salah, tentukan nilai kebenaran dari setiap kalimat logika (sentences), berikut a. ( p and ( if r then s )) if and only if ((if r then s) and p) b. ( if not p then not s ) or (( if q then s ) and p) c. (( p or q ) and not r ) if and only if (( if p then r ) and (if q then r) d. if (( if not q then p ) or not q ) then (p if and only if q) else not ( r and q ) 11
21 Exercise (cont) 4. Tentukan, apakah pasangan-pasangan kalimat berikut ekuivalen: a. ((not p or q) and (p or not r)) and (p or not q) dengan not (p or r) b. (r or p) and ((not r or (not r or (p and q)) and (r or q)) dengan p and q c. (p or q) and (not p and (not p and q)) dengan not p and q 12
22 3. Logika Kombinasional (1) Mata Kuliah: Logika Informatika Semester Pendek TA 2009/2010 D3 Teknik Informatika Dosen Pengampu: Heri Sismoro, M.Kom.
23 Logika Biner
24 Operasi Lojik Dasar
25 Gerbang Lojik
26 Aljabar Boolean
27 Aljabar Boolean
28 Identitas Dasar
29 Manipulasi Aljabar
30 Latihan
31 4. Logika Kombinasional (2) Mata Kuliah: Logika Informatika Semester Pendek TA 2009/2010 D3 Teknik Informatika Dosen Pengampu: Heri Sismoro, M.Kom.
32 Minterm dan Maxterm
33 Minterm dan Maxterm
34 Minterm dan Maxterm
35 SOP dan POS
36 K-Map
37 K-Map
38 K-Map
39 K-Map
40 Latihan
41 Latihan
42
LOGIKA INFORMATIKA PROPOSITION LOGIC. Materi-2. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta
Materi-2 PROPOSITION LOGIC LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta STMIK AMIKOM YOGYAKARTA Jl. Ringroad Utara Condong Catur Yogyakarta. Telp. 0274 884201 Fax 0274-884208 Website:
Lebih terperinciTABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8
P a g e 8 TABEL KEBENARAN A. Logika Proposisional dan Predikat Logika proposional adalah logika dasar yang harus dipahami programmer karena logika ini yang menjadi dasar dalam penentuan nilai kebenaran
Lebih terperinciMATERI 1 PROPOSITIONAL LOGIC
MATERI 1 PROPOSITIONAL LOGIC 1.1 Pengantar Beberapa pernyataan (statement) dapat langsung diterima kebenarannya tanpa harus tahu kebenaran pembentuknya Ada kehidupan di Bulan atau tidak ada kehidupan di
Lebih terperinciProposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono
Proposition Logic (Logika Proposisional) Bimo Sunarfri Hantono bimo@te.ugm.ac.id Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,...) yang
Lebih terperinciRefreshing Materi Kuliah Semester Pendek 2010/2011. Logika dan Algoritma. Heri Sismoro, M.Kom.
Refreshing Materi Kuliah Semester Pendek 2010/2011 Logika dan Algoritma Heri Sismoro, M.Kom. STMIK AMIKOM YOGYAKARTA 2011 Materi 1. Logika Informatika Adalah logika dasar dalam pembuatan algoritma pada
Lebih terperinciLogika 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 terperinciLogika Proposisional Ema Utami STMIK AMIKOM Yogyakarta
Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta Logika proposisional merupakan ilmu dasar untuk mempelajari algoritma dan logika yang terkait di dalamnya yang berperanan sangat penting dalam pemrograman.
Lebih terperinciDasar-dasar Logika. (Review)
Dasar-dasar Logika (Review) Intro Logika berhubungan dengan kalimat-kalimat dan hubungan antar kalimat. Tujuan: menentukan apakah suatu kalimat / masalah bernilai benar (TRUE) atau salah (FALSE) Kalimat
Lebih terperinciSoal Ujian Akhir Semester Pendek TA. 2006/2007 D3-Manajemen Informatika
Soal Ujian Akhir Semester Pendek TA. 2006/2007 D3-Manajemen Informatika Mata Ujian : Logika dan Algoritma Dosen : Heri Sismoro, S.Kom., M.Kom. Hari, tanggal : Selasa, 07 Agustus 2007 Waktu : 100 menit
Lebih terperinciBerpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I)
Berpikir Komputasi Sisilia Thya Safitri, MT Citra Wiguna, M.Kom 3 Logika Proposisional (I) Capaian Sub Pembelajaran Mahasiswa dapat memahami logika proposisional sebagai dasar penerapan algoritma. Outline
Lebih terperinciPROPOSITION LOGIC LOGIKA INFORMATIKA. Properties of Sentences Inference Methods Quantifier Sentences. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta
1 PROPOSITION LOGIC Properties of Sentences Inference Methods Quantifier Sentences LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta 2 Properties of Sentences Adalah sifat-sifat yang dimiliki
Lebih terperinciHeri Sismoro, M.Kom. STMIK AMIKOM YOGYAKARTA Jl. Ringroad Utara Condong Catur Yogyakarta. Telp Fax Website:
LOGIKA DAN ALGORITMA Pertemuan 1. LEARNING CONTRACT Heri Sismoro, M.Kom. STMIK AMIKOM YOGYAKARTA Jl. Ringroad Utara Condong Catur Yogyakarta. Telp. 0274 884201 Fax 0274-884208 Website: www.amikom.ac.id
Lebih terperincikusnawi.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 terperinciMODUL 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 terperinciMateri-3 PROPOSITION LOGIC. Properties of Sentences Inference Methods Quantifier Sentences
Materi-3 PROPOSITION LOGIC Properties of Sentences Inference Methods Quantifier Sentences 1 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika Ada 3 sifat, yaitu: 1. Valid 2.
Lebih terperinciDESKRIPSI SINGKAT MATAKULIAH
Nama Matakuliah : LOGIKA INFORMATIKA Kode / SKS : MMS 1901 / 3 Prasyarat : -- Status Matakuliah Pilihan : Pilihan DESKRIPSI SINGKAT MATAKULIAH Matakuliah Logika Informatika mempelajari teori dan konsep
Lebih terperinciBAHAN AJAR LOGIKA INFORMATIKA
BAHAN AJAR LOGIKA INFORMATIKA Universitas Gadjah Mada 1 Bab 1 Logika Proposisional 1.1. Pendahuluan Introduction Banyak pernyataan (statemeni) yang bisa langsung diterima kebenararmya, seperti misalnya
Lebih terperinci2.1. Definisi Logika Proposisi Logika proposisi Atomic proposition compound proposition
2. LOGIKA PROPOSISI 2.1. Definisi Logika Proposisi Logika proposisi adalah logika pernyataan majemuk yang disusun dari pernyataanpernyataan sederhana yang dihubungkan dengan penghubung Boolean (Boolean
Lebih terperinciMatematika diskrit Bagian dari matematika yang mempelajari objek diskrit.
Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit. Banyak masalah yang dapat diatasi dengan menggunakan konsep yang ada di MATDIS, antara lain : 1. Berapa besar kemungkinan kita
Lebih terperinciMata Kuliah Arsitektur Komputer Program Studi Sistem Informasi 2013/2014 STMIK Dumai -- Materi 08 --
Mata Kuliah Arsitektur Komputer Program Studi Sistem Informasi 23/24 STMIK Dumai -- Materi 8 -- Digital Principles and Applications, Leach-Malvino, McGraw-Hill Adhi Yuniarto L.Y. Boolean Algebra. Fasilkom
Lebih terperinciLogika Proposisi 1: Motivasi Pohon Urai (Parse Tree)
Logika Proposisi 1: Motivasi Pohon Urai (Parse Tree) Kuliah Logika Matematika Semester Ganjil 2015-2016 MZI Fakultas Informatika Telkom University FIF Tel-U Agustus 2015 MZI (FIF Tel-U) Logika Proposisi
Lebih terperinciIMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM
IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM Abstrak Pembuktian validitas argumen dengan menggunakan tabel kebenaran memerlukan baris dan kolom
Lebih terperinciMATEMATIKA 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 terperinciLogika 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 terperincikusnawi.s.kom, M.Eng version
Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.0.0.2009 Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi - Satisfiable(Contingent).
Lebih terperinciLOGIKA 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 Bab 1 Pengantar Logika Proposisional
Lebih terperinciPROPOSISI. Novy SetyaYunas. Pertemuan 4
Pertemuan 4 PROPOSISI Novy SetyaYunas Phone: [+62 8564 9967 841] Email: novysetiayunas@gmail.com Online Course: https://independent.academia.edu/yunaszone KAITAN LOGIKA DAN BAHASA Ada dua aspek penting
Lebih terperinciLOGIKA 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 terperinciAljabar Linear dan Matriks. Semester Pendek TA 2010/2011 S1 Teknik Informatika. Dosen Pengampu: Heri Sismoro, M.Kom.
1. Introduction Mata Kuliah: Aljabar Linear dan Matriks Semester Pendek TA 2010/2011 S1 Teknik Informatika Dosen Pengampu: Heri Sismoro, M.Kom. Sistem Persamaan Linear Sistem Linear m kali n : suatu himpunan
Lebih terperinciPertemuan 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 terperinciLogika. 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 terperinciRANGKAIAN KOMBINASIONAL
RANGKAIAN KOMBINASIONAL LUH KESUMA WARDHANI JurusanTIF UIN SUSKA Riau LOGIKA KOMBINASI Merupakan jenis rangkaian logika yang keadaan outputnya hanya tergantung dari kombinasi input nya saja. Aljabar Boolean
Lebih terperinciLOGIKA. /Nurain Suryadinata, M.Pd
Nama Mata Kuliah Kode Mata Kuliah/SKS Program Studi Semester Dosen Pengampu : Matematika Diskrit : MAT-3615/ 3 sks : Pendidikan Matematika : VI (Enam) : Nego Linuhung, M.Pd /Nurain Suryadinata, M.Pd Referensi
Lebih terperinciDefinisi 2.1. : Sebuah pernyataan yang bernilai benar atau salah disebut dengan proposisi (proposition)
Bab II Kalkulus Proposisi Bab pertama ini menyampaikan sejumlah argumen logika. Semua argumen logika meliputi proposisi proposisi atomik (atomic proposition), yang tidak dapat dibagi lagi. Proposisi atomik
Lebih terperinciLOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan
LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan (statements). Proposisi kalimat deklaratif yang bernilai benar (true)
Lebih terperinciBAB I DASAR-DASAR LOGIKA
BAB I DASAR-DASAR LOGIKA 11 Pendahuluan Logika adalah suatu displin yang berhubungan dengan metode berpikir Pada tingkat dasar, logika memberikan aturan-aturan dan teknik-teknik untuk menentukan apakah
Lebih terperinciLogika Matematika Aljabar Boolean
Pertemuan ke-5 Logika Matematika Aljabar Boolean Oleh : Mellia Liyanthy 1 TEKNIK INFORMATIKA UNIVERSITAS PASUNDAN TAHUN AJARAN 2007/2008 Bentuk Kanonik dan Bentuk baku atau standar Fungsi boolean yang
Lebih terperinciElektronika 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 terperinciLOGIKA. 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 Logical Connectives Tabel Kebenaran 2 September 2007 Pertemuan-1-2 2 Arti Kalimat Arti kalimat = nilai
Lebih terperinciSINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI. Matematika Logika Semester Ganjil 2011/2012
SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI Matematika Logika Semester Ganjil 2011/2012 PROPOSISI Proposisi atau kalimat dalam logika proposisi bisa berupa Atom/kalimat sederhana Kalimat kompleks, komposisi
Lebih terperinciDESKRIPSI MATA KULIAH
DESKRIPSI MATA KULIAH Nama Mata Kuliah : Logika Matematika Kode Mata Kuliah : IF33216 (Strata 1) Kredit : 3 SKS (3 x 45 menit) Deskripsi: Mata Kuliah logika matematika ini membahas mengenai himpunan, Aljabar
Lebih terperinci7. Logika dan Algoritma Pemrograman
7. Logika dan Algoritma Pemrograman Logika Informatika Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta STMIK AMIKOM YOGYAKARTA Jl. Ringroad Utara Condong Catur Yogyakarta. Telp. 0274 884201 Fax 0274-884208
Lebih terperinciBAHAN KULIAH LOGIKA MATEMATIKA
BAHAN KULIAH LOGIKA MATEMATIKA O L E H A. Rahman H., S.Si, MT & Muhammad Khaidir STTIKOM Insan unggul Jl. S.A. tirtayasa no. 146 Komp. Istana Cilegon blok B 25-28 Cilegon Banten 42414 http://didir.co.cc
Lebih terperinciRepresentasi Boolean
Aljabar Boolean Boolean Variable dan Tabel Kebenaran Gerbang Logika Aritmatika Boolean Identitas Aljabar Boolean Sifat-sifat Aljabar Boolean Aturan Penyederhanaan Boolean Fungsi Eksklusif OR Teorema De
Lebih terperinciyang paling umum adalah dengan menspesifikasikan unsur unsur pembentuknya (Definisi 2.1 Menurut Lipschutz, Seymour & Marc Lars Lipson dalam
2.1 Definisi Aljabar Boolean Aljabar Boolean dapat didefinisikan secara abstrak dalam beberapa cara. Cara yang paling umum adalah dengan menspesifikasikan unsur unsur pembentuknya dan operasi operasi yang
Lebih terperinciFPMIPA UPI ILMU KOMPUTER I. TEORI HIMPUNAN
I. TEORI HIMPUNAN 1. Definisi Himpunan hingga dan Tak hingga 2. Notasi himpuanan 3. Cara penulisan 4. Macam-macam Himpunan 5. Operasi Himpunan 6. Hukum pada Operasi Himpunan 7. Perkalian Himpunan (Product
Lebih terperinciLOGIKA DAN BUKTI. Drs. C. Jacob, M.Pd
LOGIKA DAN UKTI Drs. C. Jacob, M.Pd Email: cjacob@upi.edu Untuk mampu mengerti matematika dan argumen matematis perlu memiliki suatu pengertian mendalam logika dan cara di mana mengenal fakta-fakta yang
Lebih terperinciPRAKTIKUM TEKNIK DIGITAL
MODUL PRAKTIKUM TEKNIK DIGITAL PROGRAM STUDI S1 TEKNIK INFORMATIKA ST3 TELKOM PURWOKERTO 2015 A. Standar Kompetensi MODUL I ALJABAR BOOLE DAN RANGKAIAN KOMBINASIONAL Mata Kuliah Semester : Praktikum Teknik
Lebih terperinciALJABAR BOOLEAN R I R I I R A W A T I, M. K O M L O G I K A M A T E M A T I K A 3 S K S
ALJABAR BOOLEAN R I R I I R A W A T I, M. K O M L O G I K A M A T E M A T I K A 3 S K S AGENDA SISTEM BILANGAN DESIMAL, BINER, OCTAL, HEXADESIMAL DEFINISI ALJABAR BOOLEAN TABEL KEBENARAN ALJABAR BOOLEAN
Lebih terperinciLogical Agents. Chastine Fatichah. Teknik Informatika Institut Teknologi Sepuluh Nopember November 2012
Kecerdasan Buatan (KI092301) Logical Agents Chastine Fatichah Teknik Informatika Institut Teknologi Sepuluh Nopember November 2012 1 / 62 Pokok Bahasan Knowledge-based agents Contoh: Wumpus world Logic
Lebih terperinciKONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks
KONSEP DASAR LOGIKA MATEMATIKA Riri Irawati, M.Kom Logika Matematika - 3 sks Agenda 2 Pengantar Logika Kalimat pernyataan (deklaratif) Jenis-jenis pernyataan Nilai kebenaran Variabel dan konstanta Kalimat
Lebih terperinciMATERI 2 COMBINATIONAL LOGIC
Pengantar : :. MATERI 2 COMBINATIONAL LOGIC Rangkaian digital adalah mrp komponen perangkat keras (hardware) yang memanipulasi informasi biner. Rangkaian diimplementasikan dengan menggunakan transistor-transistor
Lebih terperinci{Pertemuan 4 Struktur Kondisi IF}
{Pertemuan 4 Struktur Kondisi IF ANALISIS DAN DESAIN ALGORITMA (PG157) Outline Struktur Kondisi IF Struktur Kondisi IF ELSE Struktur Kondisi IF Bertingkat (NestedIF) Penggunaan Struktur Kondisi IF Masih
Lebih terperinciAljabar 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 terperinciRepresentasi Kalimat Logika ke dalam Matriks Trivia
Representasi Kalimat Logika ke dalam Matriks Trivia Rio Chandra Rajagukguk 13514082 Program Studi Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung 40132,
Lebih terperinciTeknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK
Teknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK Fika Hastarita R - UTM 2012 Pengenalan Informal Penghubung Logis (Operator, Functor) Tabel Kebenaran dp Formula.
Lebih terperinciMatematika 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 terperinciPertemuan Ke-5 Penyeleksian Kondisi. Rahmady Liyantanto. liyantanto.wordpress.com. S1 Teknik Informatika-Unijoyo
Algoritma Pemrograman Pertemuan Ke-5 Penyeleksian Kondisi Rahmady Liyantanto liyantanto88@yahoo.com liyantanto.wordpress.com Sub Pokok Bahasan Pendahuluan Penyeleksian Satu Kasus Penyeleksian Dua Kasus
Lebih terperinciLAPORAN AKHIR PRAKTIKUM SISTEM DIGITAL. Nama : ALI FAHRUDDIN NIM : DBC Kelas : K Modul : IV (Minimisasi Fungsi 3 Variabel)
LAPORAN AKHIR PRAKTIKUM SISTEM DIGITAL Nama : ALI FAHRUDDIN NIM : DBC 113 046 Kelas : K Modul : IV (Minimisasi Fungsi 3 Variabel) JURUSAN/PROGRAM STUDI TEKNIK INFORMATIKA FAKULTAS TEKNIK UNIVERSITAS PALANGKA
Lebih terperinciPenyederhanaan Fungsi Logika [Sistem Digital] Eka Maulana, ST, MT, MEng. Universitas Brawijaya
Penyederhanaan Fungsi Logika [Sistem Digital] Eka Maulana, ST, MT, MEng. Universitas Brawijaya Mengapa perlu Penyederhanaan? SEDERHANA Cheaper Smaller Faster Diperlukan MANIPULASI ALJABAR BOOLE Metode:
Lebih terperinciSelamat Datang. MA 2151 Matematika Diskrit. Semester I, 2012/2013. Rinovia Simanjuntak & Edy Tri Baskoro
Selamat Datang di MA 2151 Matematika Diskrit Semester I, 2012/2013 Rinovia Simanjuntak & Edy Tri Baskoro 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 7 th edition, 2007.
Lebih terperinciComparator, Parity Generator, Converter, Decoder
Comparator, Parity Generator, Converter, Decoder Disusun oleh: Tim dosen SLD Diedit ulang oleh: Endro Ariyanto Prodi S1 Teknik Informatika Fakultas Informatika Universitas Telkom Oktober 2015 Bahan Presentasi
Lebih terperinciBAB III ALJABAR BOOLE (BOOLEAN ALGEBRA)
TEKNIK DIGITAL-ALJABAR Boole/HAL. 1 BAB III ALJABAR BOOLE (BOOLEAN ALGEBRA) PRINSIP DASAR ALJABAR BOOLE Aljabar boole adalah suatu teknik matematika yang dipakai untuk menyelesaikan masalah-masalah logika.
Lebih terperinciRangkaian digital yang ekivalen dengan persamaan logika. Misalnya diketahui persamaan logika: x = A.B+C Rangkaiannya:
ALJABAR BOOLEAN Aljabar Boolean Aljabar Boolean adalah aljabar yang menangani persoalan-persoalan logika. Aljabar Boolean menggunakan beberapa hukum yang sama seperti aljabar biasa untuk fungsi OR (Y =
Lebih terperinciLOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3.
LOGIKA PROPOSISI 3.1 Proposisi Proposisi adalah suatu pernyataan yang bernilai benar atau salah, tetapi tidak dapat sekaligus keduanya. Kebenaran atau kesalahan dari sebuah kalimat disebut nilai kebenarannya.
Lebih terperinciDASAR ALJABAR BOOLEAN
DASAR ALJABAR BOOLEAN Dalam mengembangkan sistem Aljabar Boolean Perlu memulainya dengan asumsi asumsi yakni Postulat Boolean dan Teorema Aljabar Boolean. Postulat Boolean :. 0. 0 = 0 2. 0. = 0 di turunkan
Lebih terperinciMETHOD OF PROOF Lecture 7. DR. Herlina Jayadianti, ST.MT
MEHOD OF PROOF Lecture 7 DR. Herlina Jayadianti, S.M Review Sifat Kalimat dan Substitusi 1. Valid sentence / autology 2. Satisfiable sentence 3. Contingent sentence 4. Contradictory sentence / Kontradiksi
Lebih terperinciPengantar 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 terperinciMODUL 3 GERBANG LOGIKA DASAR
MODUL 3 GERBANG LOGIKA DASAR A. TEMA DAN TUJUAN KEGIATAN PEMBELAJARAN. Tema : Gerbang Logika Dasar 2. Fokus Pembahasan Materi Pokok :. Definisi Gerbang Logika Dasar 2. Gerbang-gerbang Logika Dasar 3. Tujuan
Lebih terperinciSelamat Datang. MA 2251 Matematika Diskrit. Semester II, 2016/2017. Rinovia Simanjuntak & Saladin Uttunggadewa
Selamat Datang di MA 2251 Matematika Diskrit Semester II, 2016/2017 Rinovia Simanjuntak & Saladin Uttunggadewa 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 7 th edition,
Lebih terperinciAljabar Boolean dan Gerbang Logika Dasar
Modul 1 : Aljabar Boolean dan Gerbang Logika Dasar 1.1 Tujuan Setelah mengikuti praktek ini mahasiswa diharapkan dapat: 1. Memahami Aksioma dan Teorema Aljabar Boolean. 2. Memahami gerbang logika dasar
Lebih terperinciLAPORAN 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 terperinciUJIAN TENGAH SEMESTER GANJIL TAHUN STMIK AMIKOM YOGYAKARTA
UJIAN TENGAH SEMESTER GANJIL TAHUN 2012 2013 STMIK AMIKOM YOGYAKARTA Mata Ujian : Algoritma dan Pemrograman Kelas : 12-S1TI-12 s/d 14 Sifat : Open Book (Close Laptop) Jurusan : S1 Teknik Informatika Hari
Lebih terperinciPENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka.
BAB 2 LOGIKA PENGERTIAN Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang
Lebih terperinciOPERASI DAN OPERATOR LOGIKA
OPERASI DAN OPERATOR LOGIKA Selain operator aritmatika yang sudah kalian pelajari pada pertemuan sebelumnya, terdapat juga operator logika. Operator logika digunakan dalam operasi-operasi logika, yaitu
Lebih terperinciPRA A -MODUL ATAS PRA A -ALJABAR DAN ALJABAR IF-THEN-ELSE ATAS PRA A -ALJABAR
Jurnal Matematika UNAND Vol. 4 No. 1 Hal. 115 121 ISSN : 2303 2910 c Jurusan Matematika FMIPA UNAND PRA A -MODUL ATAS PRA A -ALJABAR DAN ALJABAR IF-THEN-ELSE ATAS PRA A -ALJABAR KHAINDRA Program Studi
Lebih terperinciBAB 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 terperinciSISTEM DIGITAL; Analisis, Desain dan Implementasi, oleh Eko Didik Widianto Hak Cipta 2014 pada penulis GRAHA ILMU Ruko Jambusari 7A Yogyakarta 55283
SISTEM DIGITAL; Analisis, Desain dan Implementasi, oleh Eko Didik Widianto Hak Cipta 2014 pada penulis GRAHA ILMU Ruko Jambusari 7A Yogyakarta 55283 Telp: 0274-889398; Fax: 0274-889057; E-mail: info@grahailmu.co.id
Lebih terperinciMODUL TEKNIK DIGITAL MODUL IV ALJABAR BOOLE DAN RANGKAIAN KOMBINASIONAL
MODUL TEKNIK DIGITAL MODUL IV ALJABAR BOOLE DAN RANGKAIAN KOMBINASIONAL YAYASAN SANDHYKARA PUTRA TELKOM SMK TELKOM SANDHY PUTRA MALANG 2008 RENCANA PELAKSANAAN PEMBELAJARAN MODUL IV ALJABAR BOOLE & RANGKAIAN
Lebih terperinciBAB X FUNGSI BOOLEAN, BENTUK KANONIK, DAN BENTUK BAKU
Buku Panduan Belajar atematika Diskrit STIK TRIGUNA DHARA BAB X FUNGSI BOOLEAN, BENTUK KANONIK, DAN BENTUK BAKU 9.1 Fungsi Boolean Pada aljabar Boolean dua-nilai B = {,1}. Peubah (variabel) x disebut peubah
Lebih terperinciPertemuan 3 Penyeleksian Kondisi
Pertemuan 3 Penyeleksian Kondisi Objektif: 1. Mengetahui macam-macam penyeleksian kondisi dalam pascal 2. Mengerti statement kondisi IF dan Case Pertemuan 3 39 P3.1 Teori Pada umumnya satu permasalahan
Lebih terperinciRENCANA PEMBELAJARAN
ISO 91 : 28 Disusun Oleh Diperiksa Oleh Disetujui Oleh Tanggal Berlaku 1 September 2015 Diana, M.Kom A.Haidar Mirza, M.Kom M. Izman Hardiansyah, Ph.D Mata Kuliah : Logika Informatika Semester : Kode :
Lebih terperinciLogika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).
Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai
Lebih terperinciMateri 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 terperinciREPRESENTASI PENGETAHUAN
REPRESENTASI PENGETAHUAN Representasi Pengetahuan (Knowledge Representation) dimaksudkan untuk menangkap sifatsifat penting masalah dan membuat infomasi dapat diakses oleh prosedur pemecahan masalah. Bahasa
Lebih terperinciLogika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).
Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai
Lebih terperinciPertemuan 10. Fungsi Boolean, Bentuk Kanonik dan Bentuk Baku
Pertemuan Fungsi Boolean, Bentuk Kanonik dan Bentuk Baku Dosen Ir. Hasanuddin Sirait, MT www.hsirait.wordpress.com STMIK Parna Raya Manado HP : 8356633766 Fungsi Boolean Pada aljabar Boolean dua-nilai
Lebih terperinciapakah dalam penguji cobaan ini berhasil atau tidak. tahapan selanjutnya.
1.5.2.4 Uji Coba Penyederhanaan Tahapan ini adalah tahapan untuk penyempurna tahapan diatas dengan melakukan uji coba penyederhanaan yang telah jadi, apakah dalam penguji cobaan ini berhasil atau tidak.
Lebih terperinci09/01/2018. Capaian Pembelajaran Mahasiswa dapat menjelaskan konsep diagram Venn, teorema Boolean dan membangun fungsi Boolean.
Prio Handoko, S. Kom., M.T.I. Capaian Pembelajaran Mahasiswa dapat menjelaskan konsep diagram Venn, teorema Boolean dan membangun fungsi Boolean. George Boole (ahli matematika asal Inggris) Aljabar yang
Lebih terperinciSTMIK Banjarbaru LOGIKA PROPOSISIONAL. 9/24/2012 H. Fitriyadi & F. Soesianto
1 LOGIKA PROPOSISIONAL PENDAHULUAN STMIK Banjarbaru 2 Logika adalah pernyataan-pernyataan, yang berarti suatu kalimat yang memiliki arti tertentu dan memiliki nilai benar atau salah. Dilihat dari bentuk
Lebih terperinciSILABUS MATAKULIAH. Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran
SILABUS MATAKULIAH Revisi : 2 Tanggal Berlaku : September 2014 A. Identitas 1. Nama Matakuliah : A11.54406/ Logika Informatika 2. Program Studi : Teknik Informatika-S1 3. Fakultas : Ilmu Komputer 4. Bobot
Lebih terperinciAljabar 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 terperinciBAB 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 terperinciBAB 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 terperinciVariabel dan Tipe Data Kusrini 1, Heri Sismoro 2
Variabel dan Tipe Data Kusrini 1, Heri Sismoro 2 1 Jurusan Sistem Informasi, 2 Jurusan Manajemen Informatika 1,2 STMIK AMIKOM Yogyakarta 1,2 Jl. Ringroad Utara Condong Catur Sleman Yogyakarta Variabel
Lebih terperinciPERANAN 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 terperinci2.4. Struktur Branching
2.4. Struktur Branching Branching atau percabangan adalah diagram yang alurnya ada/banyak terjadi alih kontrol berupa percabangan dan terjadi apabila kita dihadapkan pada kondisi dengan dua pilihan yaitu
Lebih terperinciKuliah#4 TKC205 Sistem Digital - TA 2013/2014. Eko Didik Widianto
Logika Logika Kuliah#4 TKC205 Sistem Digital - TA 2013/2014 Eko Didik Sistem Komputer - Universitas Diponegoro http://didik.blog.undip.ac.id 1 Umpan Balik Sebelumnya dibahas tentang implementasi fungsi
Lebih terperinciDCH1B3 Konfigurasi Perangkat Keras Komputer
/26/26 DCHB3 Konfigurasi Perangkat Keras Komputer Desain Rangkaian Logika Kombinasional /26/26 DCHB3 Konfigurasi Perangkat Keras Komputer /26/26 Inti pembelajaran Bisa merealisasikan persamaan Boolean
Lebih terperinciMATEMATIKA 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