1 Logika Informatika Komang Kurniawan W.,M.Cs..

Slides:



Advertisements
Presentasi serupa
Fakultas Ilmu Komputer, Universitas Narotama
Advertisements

Lecture #3 LOGIKA PROPOSISI
Komputer dan Masyarakat
Kuliah matematika diskrit Program Studi Teknik Elektro
LOGIKA MATEMATIKA PROGRAM STUDI TEKNIK INFORMATIKA
Pertemuan 3 Viska armalina, st.,m.eng
DASAR – DASAR LOGIKA INFORMATIKA
Review Proposisi & Kesamaan Logika
Tabel Kebenaran LOGIKA INFORMATIKA Program Studi TEKNIK INFORMATIKA
1 e-Commerce Komang Kurniawan W.,M.Cs..
Algoritma dan Pemrograman
LOGIKA LOGIKA LOGIKA.
BY : NI WAYAN SUARDIATI PUTRI, m.pd
Bahasa Basis Data KOMANG KURNIAWAN W.,M.CS. 1. Perkenalan.
MATEMATIKA DISKRIT By DIEN NOVITA.
Logika (logic).
MATEMATIKA DISKRIT By DIEN NOVITA.
FITRI UTAMININGRUM, ST, MT
PROPORSI (LOGIKA MATEMATIKA)
Proposisi. Pengantar  Pokok bahasan logika, atau objek dari logika adalah pernyataan-pernyataan atau kalimat yang memiliki arti tertentu dan memiliki.
Modul Matematika Diskrit
ILMU KOM PUTER FAK MIPA UGM.
LOGIKA Purbandini, S.Si, M.Kom.
LOGIKA INFORMATIKA
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
Pertemuan 2 LOGIKA (PROPOSISI).
Matematika Diskrit Logika Matematika Heru Nugroho, S.Si., M.T.
Pertemuan ke 1.
BAB 1 Logika Pengantar Logika
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Matematika Informatika 2
PROPOSISI Citra N, S.Si, MT.
LOGIKA STRUKTUR DISKRIT K-2 Program Studi Teknik Komputer
LOGIKA MATEMATIKA Universitas Telkom
Matematika Diskrit Logika.
Matematika Diskrit Bab 1-logika.
Logical Connectives – Penghubung Logika / Operator Logika
Pertemuan # 2 Logika dan Pembuktian
DU.116 Lise Sri Andar Muni Teknik Informatika STT Wastu Kencana 2013
BAB 2 LOGIKA
Logika proposisi Pertemuan kedua.
Proposisi.
REPRESENTASI PENGETAHUAN
LOGIKA PROPOSISI (Logika Pernyataan).
Logika Informatika Fajrian nur adnan, mcs.
IMPLIKASI (Proposisi Bersyarat)
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
ALGORITMA DAN PEMROGRAMAN
Matematika diskrit Kuliah 1
Matematika diskrit Logika Proposisi
The Logical Basis For Computer Programming
ILMU KOM PUTER FAK MIPA UGM.
Matematika Diskrit Iva Atyna
PRESENTASI PERKULIAHAN
Oleh : Cipta Wahyudi, S.Kom, M.Eng, M.Si
ILMU KOM PUTER FAK MIPA UGM.
REPRESENTASI PENGETAHUAN dan Reasoning (Penalaran)
Adalah cabang dari matematika yang mengkaji objek-objek diskrit.
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
1.1 Proposisi & Proposisi Majemuk
MATEMATIKA KOMPUTASI LOGIKA MATEMATIKA.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
Matematika Diskrit Logika Matematika Dani Suandi,S.Si.,M.Si.
REPRESENTASI PENGETAHUAN
Tabel Kebenaran Dan Proposisi Majemuk
BAB 2 LOGIKA MATEMATIKA.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
Materi Kuliah Matematika Diskrit
Modul Matematika Diskrit
LOGIKA MATEMATIKA.
Transcript presentasi:

1 Logika Informatika Komang Kurniawan W.,M.Cs.

Intro Mata Kuliah : Logika Informatika Kode / SKS : MKK-058 / 3 Waktu (Durasi) : 09.00 – 11.15 (2 jam 15 menit) Metode Pembelajaran : Sharing Presentasi Kelompok (jika dibutuhkan) Latihan

Bobot Penilaian Keaktifan (Max 15 %, Min 10% )  15 % Tugas (Max 15%, Min 0 %)  15 % Quiz 15 % UTS ( Max 40, Min 20 %)  25 % UAS (Max 45%, Min 30 %)  30 %

Grade Penilaian Nilai Absolut Nilai Huruf Bobot Nilai 80 ≤ x ≤ 100 A 4 3 55 ≤ x < 65 C 2 40 ≤ x < 55 D 1 0 ≤ x < 40 E

Aturan Perkuliahan Batas Keterlambatan : 20 menit Tugas  www.komangkurniawan.com Syarat ikut UAS kehadiran minimal 75%

Pokok Bahasan Pengantar Logika Informatika Pengantar Logika Proposisional Tabel Kebenaran Proposisi Majemuk Tautologi dan Kontradiksi Ekuivalensi Logis dan Hukum-Hukum Logika Penyederhanaan Ekspresi Logika Konvers, Invers, Kontraposisi Pengantar Logika Predikat Kalimat Berkuantor Hubungan Antarkuantor Metode Inferensi Psikotes

Reference Sismoro, Heri. Pengantar Logika Informatika, Algoritma dan Pemrograman Komputer. 2005. ANDI : Yogyakarta Soesianto, F. dan Dwijono, Djoni. Logika Matematika untuk Ilmu Komputer. 2006. ANDI : Yogyakarta Matematika Diskrit, Rinaldi Munir (BAB 1: Logika)

Pengantar Logika Informatika Apa itu “Logika”? Suatu proposisi adalah suatu pernyataan (statement) yang dapat ber”nilai” Benar (true) atau Salah (false. Dikatakan bahwa nilai kebenaran daripada suatu proposisi adalah salah satu dari benar (true disajikan dng T) atau salah (false disajikan dengan F). Dalam untaian digital (digital circuits) disajikan dengan 0 dan 1

Logika Proposisional Variabel-variabel tersebut diatas dihubungkan dengan menggunakan penghubung logis yang disebut operator atau functor. Contoh : Ir. Sukarno presiden pertama RI dan ia proklamator negara RI Jika balok mempunyai berat jenis lebih besar dari 1 maka balok akan tenggelam di air. Saya berangkat kampus naik motor atau naik angkot.

Logika proposisional Perhatikan kalimat-kalimat sebagai berikut : 1) Tutuplah pintu itu 2) Dilarang merokok 3) Nilai daripada x terletak diantara nol dan satu.

The Statement/Proposition Game “Gajah lebih besar daripada tikus.” Apakah ini suatu pernyataan? yes Apakah ini suatu proposisi? yes Apa nilai kebenaran daripada proposisi tersebut? true

The Statement/Proposition Game “520 < 111” Apakah ini suatu pernyataan? yes Apakah ini suatu proposisi? yes Apa nilai kebenaran daripada proposisi tersebut? false

The Statement/Proposition Game Please don’t fall a sleep. Apakah ini suatu pernyataan? no Ini adalah suatu permintaan Apakah ini suatu proposisi? no Only statements can be propositions.

Logika proposisional Definisi Proposisi adalah kalimat deklaratif (atau pernyata an) yang memiliki hanya satu nilai kebenaran yaitu banar saja atau salah saja, akan tetapi tidak keduanya. Proposisi yang bukan hasil kombinasi dari proposisi-proposisi disebut atom.

Logika proposisional Jika atom-atom akan dikombinasikan untuk memperoleh proposisi baru maka diperlukan operator logika atau operator sambung yang dilambangkan dng simbol :  : “not”, atau “negasi” ( simbol lain adl ~ )  : “and”, atau “konjungsi” ( simbol lain adl &)  : “or” , atau “disjungsi” atau “inclusive or”  : “xor”, atau “exclusive or” : “implies”, atau “Jika … maka…”, atau “implikasi kondisional” : “jika dan hanya jika”, atau “bikondisional”

Negasi Jika p sebarang proposisi, pernyataan “not p” atau “negasi dap p” akan bernilai F jika p bernilai T dan sebaliknya. Dan ditulis dengan :  p ( “” disebut operator unary/monadika) dan akan digambarkan dengan tabel kebenaran sebagai berikut : p p T F F T

Konjungsi / Conjunction (and) Konjungsi adalah suatu operator binary atau diadika (diadic). Jika p dan q suatu proposisi, pernyataan p and q akan bernilai kebenaran T jika dan hanya jika kedua p dan q mempunyai nilai kebenaran T, dan ditulis dengan p  q dimana operatornya terletak diantara kedua variabel (operand) tersebut dan mempunyai tabel kebenaran seperti tabel disamping. p q p  q T T T T F F F T F F F F

Disjungsi (or) Disjungsi yang juga ada yang menyebut dengan alternatif yang bersesuaian dengan bentuk “ Salah satu dari … atau ….” (“Either.. Or..) . Pernyataan “p or q” bernilai T jika dan hanya jika salah satu p atau q (atau keduanya) bernilai T, dan ditulis : p  q p q p  q T T T T F T F T T F F F dan mempunyai tabel seperti tabel disamping.

Implikasi (Implication) Arti dp pernyataan “If p then q” atau “p implies q” atau “q if p” atau “p hanya jika q” atau “q sarat perlu untuk p” atau “p sarat cukup untuk q” adalah T jika salah satu dari p bernilai T dan q bernilai T atau jika p bernilai F. Jika tidak demikian, yaitu p bernilai T dan q bernilai F, maka nilai F. Ditulis : p  q p q p  q T T T T F F F T T F F T dan mempunyai tabel seperti tabel disamping.

Implikasi (Implication) kondisional konversi inversi kontrapositif p q p  q q  p p  q q  p T T T T T T T F F T T F F T T F F T F F T T T T

Resume p p p q p  q T T T T F T F T T F F F T F F T p q r s . Negasi , , , → Negasi p q p  q T T T T F F F T F F F F Disjungsi Konjungsi p q p  q T T T T F F F T T F F T Implikasi (berarti : If p then q atau p implai q atau q if p atau p hanya jika q, atau q sarat perlu p)

Ekivalensi Pernyataan “ p ekuivalen dengan q” mempunyai nilai kebenaran T jika dan hanya jika p dan q mempunyai nilai kebenaran yg sama ditulis dengan simbol : p  q by Komang | 13/10/2014 p q p  q T T T T F F F T F F F T dan mempunyai tabel kebenaran seperti tabel disamping.