IN013 Matematika Informatika
(IN013)

Matakuliah ini memberikan pengetahuan dasar logika matematika serta pemodelan fakta ke dalam bentuk logika, bertujuan supaya mahasisa mampu menerapkannya pada bidang keilmuannya serta dapat mengembangkan pola berpikir (reasoning) terhadap masalah dan problem solving secara benar dan sistematis. Materi yang dibahas meliputi konsep argumen, logika silogisme, logika proposisi dan logika kuantifikasi (orde pertama, predikat), aturan-aturan aljabar proposisi, well-formed formula, tabel kebenaran, ekivalensi logis, aturan-aturan quantifier, berbagai uji validitas, implikasi logis, aturan-aturan simplifikasi, aturan-aturan inferensi serta teknik pembuktian formal (formal proofing). Pustaka 1. Gensler. H. (2002). Introduction to Logic. New York: Routledge. 2. Nolt, Rohatyn, Varzi. (2000). Schaum’s Outline of Theory and Problems of Logic, 2nd edition. New York: McGraw-Hill. 3. Hurley, P. J., (2012). A Concise Introduction to Logic, 11th edition. Boston: Wadsworth Cengage Learning. 4. Soesianto, Dwijono. (2006). Logika Matematika untuk Ilmu Komputer. Yogyakarta: Penerbit Andi. Perangkat Pendukung : -