Kurikulum
Kurikulum
Toggle navigation
IF21105 - Logika Informatika
Kode
Nama Matakuliah
SKS
Jenis
Prasyarat
Semester
IF21105
Logika Informatika
3
W
1
Semesta Pembicaraan, Kalimat Deklaratif, Kata-kata Penghubung Kalimat, Tabel Kebenaran, Kontraposisi, Ingkaran Kalimat, Konstanta dan Variabel, Tautologi dan Kontradiksi, Sistem Pembuktian, Bukti Kemustahilan, Induksi Informatika, Kuantor Universal dan Eksistensial, Menulis dengan Menggunakan Kuantor, Himpunan dan Operasinya, Himpunan Kuasa, Relasi Ekivalensi, Fungsi Injektif, Surjektif dan Bijektif, Pengantar Aljabar Boolean dan aplikasinya Aljabar Boolean. Pustaka: 1. Ben Ari, Mordechai, Mathematical Logical for Computer Science, 2nd edition, New York Springer Verlag, 2001. 2. Cori, Rene, Daniel Lascar and Donald Pelletier, Mathematical Logic : a Course with Exercise, Oxford University Press, 2000. 3. Manna Zohar, R. Waldinger, Deductive Foundation of Computer Programming, Addison Wesley, 1993.
Capaian Pembelajaran yang dibebankan Jurusan Terhadap Matakuliah
Kode
Deskripsi CPL
Jenis CPL
Bahan Kajian
>