Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2

Slides:



Advertisements
Presentasi serupa
1 Logika Informatika Komang Kurniawan W.,M.Cs..
Advertisements

Pertemuan 3 Viska armalina, st.,m.eng
DASAR-DASAR LOGIKA Septi Fajarwati, S.Pd..
LOGIKA MATEMATIKA Pertemuan III.
Bab 1 Logika Matematika Matematika Diskrit.
Ekuivalensi Logika.
Negasi dari Konvers, Invers, dan Kontraposisi
Algoritma dan Pemrograman
LOGIKA LOGIKA LOGIKA.
Dosen Pengampu : Novi Elfira, S.Pd Kelompok VI Nama Anggota: 1.Elsa Damayanti 2.Novia Anggraini.
MATEMATIKA DISKRIT By DIEN NOVITA.
MATEMATIKA DISKRIT By DIEN NOVITA.
LOGIKA INFORMATIKA I Gusti Ayu Agung Diatri Indradewi, S. Kom
PROPORSI (LOGIKA MATEMATIKA)
Proposisi. Pengantar  Pokok bahasan logika, atau objek dari logika adalah pernyataan-pernyataan atau kalimat yang memiliki arti tertentu dan memiliki.
Matematika Diskrit Oleh Ir. Dra. Wartini.
Pengenalan PHP Operator Aritmatika:
TOPIK 1 LOGIKA.
Bina Nusantara Logika Proposisi Pertemuan 1: Matakuliah:K0144/Matematika Diskrit Tahun:2008.
© STMIK-Indonesia 2012 SEKOLAH TINGGI MANAJEMEN INFORMATIKA DAN TEKNIK KOMPUTER INDONESIA KALKULUS PROPOSISI 1 DosenAlbaar Rubhasy, S.Si., M.T.I. Mata.
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
Pernyataan Pertemuan 3:
Matematika Diskrit Logika Matematika Heru Nugroho, S.Si., M.T.
Pertemuan ke 1.
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.
Matematika Diskrit Logika.
Matematika Diskrit Bab 1-logika.
Logical Connectives – Penghubung Logika / Operator Logika
Pertemuan # 2 Logika dan Pembuktian
Logika Semester Ganjil TA
Logika proposisi Pertemuan kedua.
Proposisi.
REPRESENTASI PENGETAHUAN
Implikasi dan Aplikasi
LOGIKA PROPOSISI (Logika Pernyataan).
IMPLIKASI (Proposisi Bersyarat)
Kelompok 6 Logika Matematika.
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
ALGORITMA DAN PEMROGRAMAN
Konvers, Invers, dan Kontraposisi Suatu Implikasi
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
OPERATOR RELASI & LOGIKA
PRESENTASI PERKULIAHAN
Matematika Diskrit TIF (4 sks) 3/9/2016.
Agiska Ria Supriyatna, S.Si, MTI
Pertemuan 1 Logika.
NEGASI PERNYATAAN MAJEMUK
Prepared by eva safaah LA – PROPOSISI Prepared by eva safaah
Dasar dasar Matematika
REPRESENTASI PENGETAHUAN dan Reasoning (Penalaran)
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
Adalah cabang dari matematika yang mengkaji objek-objek diskrit.
1.1 Proposisi & Proposisi Majemuk
MATEMATIKA KOMPUTASI LOGIKA MATEMATIKA.
Proposisi Sri Nurhayati.
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.
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
REPRESENTASI PENGETAHUAN
Tabel Kebenaran Dan Proposisi Majemuk
NAMA : NANA ROSMANA KELAS : TI.17.D2 TUGAS: LOGIKA INFORMATIKA.
BAB 2 LOGIKA MATEMATIKA.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
Pertemuan 1 Logika.
Contoh 1 Kalimat (p → q) → r bernilai benar Jika
Modul Matematika Diskrit
LOGIKA MATEMATIKA.
Transcript presentasi:

Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 OPERATOR LOGIKA Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika OPERATOR NEGASI  Dalam kalimat : tidak, bukan, atau not.  Simbolnya adalah  atau   Bernilai kebalikan dari input. 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika OPERATOR KONJUNGSI  Dalam kalimat : dan, and, tetapi.  Simbolnya adalah .  Semua input bernilai True, outputnya True 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika OPERATOR DISJUNGSI Dalam kalimat : atau, or.  Simbolnya adalah  Semua input bernilai False, outputnya adalah False 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika OPERATOR IMPLIKASI  Dalam kalimat : jika….. Maka…..  Simbolnya adalah  Nilai Input True dan False, outputnya adalah False (bukan sebaliknya) 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika OPERATOR BIIMPLIKASI  Dalam kalimat : … jika dan hanya jika…..  Simbolnya adalah   Nilai input Sama, outputnya adalah True 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika HIRARKI OPERATOR Pengurutan operator mana yang akan diselesaikan terlebih dahulu. 1.  atau  2.  3.  4.  5.  31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika TABEL KEBENARAN a b  a a  b a v b a  b a  b T F 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika EKSPRESI LOGIKA Argumen dari logika. Mengkaji hubungan antara pernyataan- pernyataan (statement). 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika Diketahui Variabel-Variabel Proposisional: P = lampu lalu lintas menyala merah Q = kendaraan berhenti Diminta : Buatlah Ekspresi Logika dan Kalkulus proposisi nya Dengan Ekspresi Logika:  (P  Q) P   Q 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika Pernyataan (Argumen) Logika / Kalkulus Proposisi: Tidak benar bahwa lampu lalu lintas menyala merah dan kendaraan berhenti. Lampu lalu lintas menyala merah atau kendaraan tidak berhenti. 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika Konvers, Invers, dan Kontraposisi Misal diketahui implikasi p  q Konvers-nya adalah q  p Invers-nya adalah ~ p  ~ q Kontraposisinya adalah ~ q  ~p Kondisional Konversi Invers Kontraposisi p q p q p  q q  p pq q  p T F 31/12/2011 Revisi 03 Logika Informatika