Pengesahan Nama Dokumen : LOGIKA INFORMATIKA No Dokumen : No ISO 91:28/IWA 2 1dari 6 Diajukan oleh Imelda Saluza, S.Si., M.Sc. (Dosen Pengampu) Diperiksa oleh Ir. Dedi Hermanto, MT (GPM) Disetujui oleh Lastri Widya A, M.Kom (Dekan) Dokumen Sistem Mutu ini milik UNIVERSITAS INDO GLOBAL MANDIRI dan TIDAK DIPERBOLEHKAN dengan cara dan alasan apapun membuat salinan tanpa seizin Ketua Lembaga Penjamin Mutu
ISO 91:28/IWA 2 2dari 6 FAKULTAS : ILMU KOMPUTER PROGRAM STUDI : SISTEM INFORMASI Tatap Muka Pokok Bahasan 1 Pendahuluan 2 Dasar-Dasar 3 Tautologi, Kontradiksi, Dan Contingent Subpokok Bahasan 1. Pengertian Umum 2. Peran Ilmu dalam Ilmu Komputer 1. Dan Pernyataan (Proposisi) 2. Penghubung Kalimat Dan Tabel Kebenaran 1. Tautologi, 2. Kontradiksi 3. Contingent Tujuan Intruksional (1) Umum (2) Khusus (1) Mahasiswa mampu memahami pengertian dari ilmu logika (2) Mahasiswa mampu memahami Peran Ilmu dalam Ilmu Komputer Mahasiswa memahami ruang lingkup ilmu dan peranannya dalam bidang ilmu komputer (1) Mahasiswa mampu memeahami kalimat dan proposisi (2) Mahasiswa mampu memahami penghubung kalimat dalam logika matematika dan mampu menentukan tabel kebenarannya Mahasiswa mampu menentukan penghubung kalimat dalam logika matematika dan mampu menentukan tabel kebenarannya (1) Mahasiswa mampu memahami makna Tauotologi (2) Mahasiswa mampu memahami makna Kontradiksi (3) Mahasiswa mampu memahami makna Contingent Pustaka (Nomor) Bentuk Pengajaran Media Tugas Evaluasi
ISO 91:28/IWA 2 3dari 6 Mahasiswa mampu memahami perbedaan makna Tautologi, Kontradiksi, dan Contingent 4 KUIS 5 Konvers, Invers, dan Kontraposisi 6 Ekuivalensi 1. Konvers 2. Invers 3. Kontraposisi 1. Pengertian Ekuivalensi 2. Hukum-Hukum Ekuivalensi 3. Penyederhanaan (1) Mahasiswa mampu memahami makna Konvers dari implikasi (2) Mahasiswa mampu memahami makna Invers dari implikasi (3) Mahasiswa mampu memahami makna Kontraposisi dari implikasi Mahasiswa mampu memahami perbedaan makna Konvers, Invers, Dan Kontraposisi (1) Mahasiswa mampu memahami pengertian ekuivalensi (2) Mahasiswa mampu memahami hukum-hukum logika (3) Mahasiswa mampu menyederhanakan kalimat atau proposisi hukum-hukum ekuivalensi logika Mahasiswa mampu menyederhanakan kalimat atau proposisi hukum-hukum ekuivalensi logika Membuat resume materi yang telah dipelajari Membuat resume materi yang telah dipelajari 7 Inferensi 1. Argumen Valid Dan Invalid 2. Aturan Penarikan Kesimpulan (1) Mahasiswa mampu menganalisis suatu argumen yang valid dan invalid (2) Mahasiswa mampu memahami aturan-aturan dalam menarik suatu kesimpulan argumen
ISO 91:28/IWA 2 4dari 6 Mahasiswa mampu memahami aturan-aturan dalam menarik suatu kesimpulan argumen argumen-argumen yang telah terbukti valid 8 UJIAN TENGAH SEMESTER 9 Kalimat Berkuantor 10 Kalimat Berkuantor 11 Aljabar 1. Predikat dan Kuantor 2. Nilai Kebenaran Kalimat Ber-Kuantor 1. Ingkaran Kalimat Berkuantor 2. Kalimat Berkuantor Ganda 3. Ingkaran Kalimat Berkuantor Ganda 1. Pengertian Aljabar (1) Mahasiswa mampu memahami perbedaan predikat dan kuantor (2) Mahasiswa mampu memeahami jenis-jenis kuantor dan penggunaannya (3) Mahasiswa mampu menentukan nilai kebenaran dari kalimat berkuantor Mahasiswa mampu memahami jenis-jenis kuantor dan penggunaannya, serta mampu menentukan nilai kebenaran dari kalimat berkuantor (1) Mahasiswa mampu memnentukan ingkaran kalimat berkuantor (2) Mahasiswa mampu memahami kalimat berkuantor ganda (3) Mahasiswa mampu memnentukan ingkaran kalimat berkuantor ganda Mahasiswa mampu memahami kalimat berkuantor ganda dan mampu menentukan ingkarannya (1) Mahasiswa mampu memahami pengertian 2,3
ISO 91:28/IWA 2 5dari 6 12 Aljabar 13. Aljabar Induksi 2. Operasi dasar aljabar dan gerbang logika 3. Aksioma Aljabar 1. Ekspresi 2. Prinsip Dualitas 3. Hukum-hukum Aljabar 4. Fungsi 1. Penyederhanaan Fungsi - Secara aljabar - Menggunakan Peta Karnaugh - Menggunakan metode Quine Mc Cluskey (metode Tabulasi) 1. Pengertian Induksi 2. Tahapan Induksi aljabar boolean (2) Mahasiswa mampu memahami Operasi operasi dasar pada aljabar dan gerbang logika (3) Mahasiswa mampu memahami Aksioma dari Aljabar Mahasiswa mampu memahami makna, operasi dasar dan aksioma dari Aljabar (1) Mahasiswa mampu memahami Ekspresi (2) Mahasiswa mampu memahami Prinsip Dualitas aljabar (3) Mahasiswa mampu memahami Hukum-hukum Aljabar (4) Mahasiswa mampu memahami dari Fungsi Mahasiswa mampu memahami Ekspresi, Prinsip Dualitas, Hukum-hukum Aljabar dan Fungsi Mahasiswa mampu menyederhanakan fungsi boolean dengan metode aljabar, Peta Karnaugh dan Quine Mc Cluskey (metode Tabulasi) Mahasiswa mampu menyederhanakan fungsi boolean dengan salah satu metode aljabar, Peta Karnaugh maupun Quine Mc Cluskey (metode Tabulasi) (1) Mahasiswa mampu memahami Pengertian Induksi (2) Mahasiswa mampu memahami Tahapan Induksi 2,3 2,3 3
ISO 91:28/IWA 2 6dari 6 15 3. Pembuktian Induksi (3) Mahasiswa mampu memahami Pembuktian Induksi Mahasiswa mampu memahami makna induksi dan tahapan dalam pembuktian induksi UJIAN AKHIR SEMESTER