Mahasiswa diharapkan mampu memahami dan mengerti teori himpunan, aksioma aljabar boolean, fungsi boolean, komplemen fungsi, konversi bentuk fungsi, operasi dan gerbang logika, penyederhanaan fungsi boolean, kalkulus proposisi, kalkulus predikat
Pokok Bahasan:
Himpunan, notasi dan definisi, opeasi dasar himpunan, perkalian himpunan dan relasi, definisi dan aksioma aljabar boolean, fungsi boolean, komplemen fungsi, penerapan hukum de morgan, penerapan prinsip dualitas, konversi bentuk fungsi kebentuk : standar dan kanonik, sum of product, product of sum),
operasi logika, gerbang logika, fungsi kompleks, fungsi boolean,
penyederhanaan rangkaian digital dengan metode peta karnaugh dan metode quine McCluskey
konsep dan notasi kalkulus proposisi, penghubung logika dan well-form formula,
konsep dan definisi kalimat proposisi, kalimat predikat, kalkulus predikat, variabel bebas dan terikat, aturan kalimat, arti kalimat, interpretasi, aturan semantik, perluasan interpretasi, aturan kuantifier, aturan for-all dan for-some, validitas, satisfiable, unsatifiable dan consistent
inferensi logika
fuzzy logic
- Teacher: DYAH SULISTYOWATI RAHAYU