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 01 0 2 05/2 31/12/2011 Revisi 03 Logika Informatika
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
Revisi 03 Logika Informatika Proposition (Pernyataan/Kalimat) Logika dasar memiliki nilai kebenaran . Diwakili oleh kalimat deklaratif. 31/12/2011 Revisi 03 Logika Informatika
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
Revisi 03 Logika Informatika Aturan Sintaktit Menggabungkan proposition dan propositional connectives sehingga menghasilkan kalimat logika. 31/12/2011 Revisi 03 Logika Informatika
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
Revisi 03 Logika Informatika Interpretasi Nilai kebenaran pada simbol proposisi. 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika Semantik Menentukan “truth value” dari kalimat. 31/12/2011 Revisi 03 Logika Informatika
Revisi 03 Logika Informatika Sifat –Sifat Aljabar Logika Hukum Komutatif Hukum Assosiatif Hukum Distributif Hukum Identitas 31/12/2011 Revisi 03 Logika Informatika