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

Presentasi berjudul: "Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2"— Transcript presentasi:

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

2 Revisi 03 Logika Informatika
Tujuan Logika Informatika Memahami dan mengimplementasikan konsep - konsep dan penerapan kalkulus proposisi, kalkulus predikat aljabar Boolean, tabel nilai kebenaran, gerbang logika, serta uji validitas. 31/12/2011 Revisi 03 Logika Informatika

3 Revisi 03 Logika Informatika
Proposition (Pernyataan/Kalimat)  Logika dasar memiliki nilai kebenaran . Diwakili oleh kalimat deklaratif. 31/12/2011 Revisi 03 Logika Informatika

4 Kalimat yang bukan merupakan Proposisi adalah
Kalimat yang mengandung perdebatan atau tak berarti Kalimat perintah (commands) Kalimat pertanyaan (questions) 31/12/2011 Revisi 03 Logika Informatika

5 Revisi 03 Logika Informatika
Aturan Sintaktit Menggabungkan proposition dan propositional connectives sehingga menghasilkan kalimat logika. 31/12/2011 Revisi 03 Logika Informatika

6 Revisi 03 Logika Informatika
Propositional connectives yang digunakan : Not (~), and (), or () If – then - () If – then – else , dan if and only if () 31/12/2011 Revisi 03 Logika Informatika

7 Revisi 03 Logika Informatika
Interpretasi  Nilai kebenaran pada simbol proposisi. 31/12/2011 Revisi 03 Logika Informatika

8 Revisi 03 Logika Informatika
Semantik  Menentukan “truth value” dari kalimat. 31/12/2011 Revisi 03 Logika Informatika

9 Revisi 03 Logika Informatika
Sifat –Sifat Aljabar Logika Hukum Komutatif Hukum Assosiatif Hukum Distributif Hukum Identitas 31/12/2011 Revisi 03 Logika Informatika