SYLLABUS FORM ISO 9001 : 2008 Doc. No : FRM/KUL/01/02 Revision No : 4 Date of Issue : October 01st , 2011 ISO : 7.5.1 & 7 Created by Checked by Approved by Drs. H. Jemakmun, M.Si. Syahril Rizal, S.T., M.M., M.Kom. M.Izman Herdiansyah, PhD Valid date 1. Faculty 2. Study Program 3. Subject 4. Code 5. Credit 6. Prerequisite 7. Status of Subject 8. Description 9. Competence : Computer Science : Informatics Grade : S1 : Informatic Logics : : 2 : : Compulsary : Diharapkan mahasiswa bisa memahami dan mengerti tentang materi yang diajarkan. : Diharapkan mahasiswa bisa mengerti, memahami, menganalisis,dan mengaplikasikan materi-materi Himpunan, Logika Dasar, Konvers, Invers, Ekivalensi, Penarikan Kesimpulan, Kuantor, Aljabar Boolean, Fungsi Boolean dan Fungsi Komplemen. 10. Implementasi Proses Pembelajaran Mingguan : No 1 Pokok Bahasan/Materi Pembelajaran Pendahuluan dan Pengantar Logika Informatika Sub Pokok Bahasan Perkenalan dosen dan mahasiswa. Penjelasan silabus dan materi matakuliah Sumber Pustaka 1. Liu, C. L., "Elements of Discrete Mathematics", New York : McGraw Hill, 1986 2. Rossen, Kenneth H., "Discrete Mathematics and It's Applications", Edisi Ke-3, New York : Keterangan McGraw Hill, 1995. 3. Suryadi H. S., "Pengantar Struktur Diskrit", Jakarta : Universitas Gunadarma, 1994. 4. Rinaldi Munir, Matematika Diskrit, Bandung, Informatika Bandung, 2001 2 Teori Himpunan Definisi Himpunan, Macam-macam Himpunan, Operasi Himpunan, Aplikasi Himpunan Rinaldi Munir, Matematika Diskrit, Bandung, Informatika Bandung, 2001 3 Relasi dan Fungsi Rinaldi Munir, Matematika Diskrit, Bandung, Informatika Bandung, 2001 4 7 Dasar-dasar Logika (logika dasar) Quis 1 Konvers, Invers dan Kontraposis Ekivalensi Definisi Relasi dan Fungsi, Jenis-jenis Relasi dan Fungsi Pernyataan, Negasi, Konjungsi, Disjungsi, Implikasi Biimplikasi Soal-soal pertemuan 1 s/d pertemuan 4 Implikasi, Konvers, Invers dan Kontra Posis Tautologi, Kontradiksi dan Ekivalensi 8 Penarikan Kesimpulan 9. 10 Mid Tes Kuntor 5 6 sda Tugas I Rinaldi Munir, Matematika Diskrit, Bandung, Informatika Bandung, 2001 Liu, C. L., "Elements of Discrete Mathematics", New York : McGraw Hill, 1986 Modus Ponen, Modus Tolens, dan Silogisme sda Soal-soal pertemuan 1 s/d pertemuan 8 Liu, C. L., "Elements of Discrete Mathematics", Kuantor Universal dan Kuantor New York : McGraw Hill, 1986 Eksistensial 11 Aljabar Boolean Dasar-dasar Aljabar Boolean dan Aplikasinya Rossen, Kenneth H., "Discrete Mathematics and It's Applications", Edisi Ke-3, New York : McGraw Hill, 1995. Liu, C. L., "Elements of Discrete Mathematics", New York : McGraw Hill, 1986 Rossen, Kenneth H., "Discrete Mathematics and It's Applications", Edisi Ke-3, New York : McGraw Hill, 1995. 12 Funsi Boolean dan Fungsi Komplemen UAS Funsi Boolean dan Fungsi Komplemen.dengan tabel Soal-soal dari pertemuan 1 sampai 12 Rinaldi Munir, Matematika Diskrit, Bandung, Informatika Bandung, 2001 sda 13 10. Evaluasi : Tugas 15% , Quist 15% , Mid tes 30% , dan UAS 40% 11. Daftar Buku Rujukan : Tugas II 1. Liu, C. L., "Elements of Discrete Mathematics", New York : McGraw Hill, 1986. 2. Rossen, Kenneth H., "Discrete Mathematics and It's Applications", Edisi Ke-3, New York : McGraw Hill, 1995. 3. Suryadi H. S., "Pengantar Struktur Diskrit", Jakarta : Universitas Gunadarma, 1994. 4. Rinaldi Munir, Matematika Diskrit, Bandung, Informatika Bandung, 2001 Dibuat Oleh Diperiksa Oleh Drs.H.Jemakmun,M.Si. Disahkan Oleh A. Lutfi, M.Kom M. Izman Herdinansyah, Ph.D. Berlaku tanggal 4 Oktober 2010 1. Fakultas : Computer Science 2. Program Studi : Information Engineering 3. Nama Mata Kuliah : information logic 4. Kode Mata Kuliah : 5. Prasyarat : calculus 6. Status Mata Kuliah : compulsory 7. Deskripsi : expected a student can comprehend and understand about taught items. 8. : expected a student can understand, comprehending, menganalisis,dan of application of Gathering items, Elementary Kompetensi - sks : 2 sks strata : S-1 Logic, Konvers, Invers, Ekivalensi, Conclusion Withdrawal, Kuantor, Algebra Boolean, Function of Boolean and Complement Function. 9. Implementasi Proses Pembelajaran Mingguan : No 1 Pokok Bahasan/Materi Sub Pokok Bahasan Pembelajaran Introduction and Introduction Perkenalan dosen dan mahasiswa. to information logic Penjelasan silabus dan materi matakuliah Sumber Pustaka 1. Liu, C. L., "Elements of Discrete Mathematics", New York : McGraw Hill, 1986 2. Rossen, Kenneth H., "Discrete Mathematics and It's Applications", Edisi Ke-3, New York : McGraw Hill, 1995. Keterangan 3. Suryadi H. S., "Pengantar Struktur Diskrit", Jakarta : Universitas Gunadarma, 1994. 2 Teori Himpunan Definisi Himpunan, Macam-macam Himpunan, Operasi Himpunan, Aplikasi Himpunan 3 Relasi dan Fungsi 4 7 Dasar-dasar Logika (logika dasar) Quis 1 Konvers, Invers dan Kontra Posis Ekivalensi Definisi Relasi dan Fungsi, Jenis-jenis Relasi dan Fungsi Pernyataan, Negasi, Konjungsi, Disjungsi, Implikasi Biimplikasi Soal-soal pertemuan 1 s/d pertemuan 4 Implikasi, Konvers, Invers dan Kontra Posis Tautologi, Kontradiksi dan Ekivalensi 8 Penarikan Kesimpulan 9. 10 Mid Tes Kuntor 5 6 4. Rinaldi Munir, Matematika Diskrit, Bandung, Informatika Bandung, 2001 5. Josep Bintang Kalangi, Matematika Ekonomi dan Bisnis, Jakarta, Salemba Empat, 2008 Josep Bintang Kalangi, Matematika Ekonomi dan Bisnis, Jakarta, Salemba Empat, 2008 Rinaldi Munir, Matematika Diskrit, Bandung, Informatika Bandung, 2001 sda Tugas I Rinaldi Munir, Matematika Diskrit, Bandung, Informatika Bandung, 2001 Liu, C. L., "Elements of Discrete Mathematics", New York : McGraw Hill, 1986 Modus Ponen, Modus Tolens, dan Silogisme sda Soal-soal pertemuan 1 s/d pertemuan 8 Liu, C. L., "Elements of Discrete Mathematics", Kuantor Universal dan Kuantor New York : McGraw Hill, 1986 Eksistensial 11 Aljabar Boolean Dasar-dasar Aljabar Boolean dan Aplikasinya Rossen, Kenneth H., "Discrete Mathematics and It's Applications", Edisi Ke-3, New York : McGraw Hill, 1995. Liu, C. L., "Elements of Discrete Mathematics", New York : McGraw Hill, 1986 Rossen, Kenneth H., "Discrete Mathematics and It's Applications", Edisi Ke-3, New York : McGraw Hill, 1995. 12 Funsi Boolean dan Fungsi Komplemen UAS Funsi Boolean dan Fungsi Komplemen.dengan tabel Soal-soal dari pertemuan 1 sampai 12 Rinaldi Munir, Matematika Diskrit, Bandung, Informatika Bandung, 2001 sda 13 10. Evaluasi : Tugas 15% , Quist 15% , Mid tes 30% , dan UAS 40% Tugas II 11. Daftar Buku Rujukan : 1. Liu, C. L., "Elements of Discrete Mathematics", New York : McGraw Hill, 1986. 2. Rossen, Kenneth H., "Discrete Mathematics and It's Applications", Edisi Ke-3, New York : McGraw Hill, 1995. 3. Suryadi H. S., "Pengantar Struktur Diskrit", Jakarta : Universitas Gunadarma, 1994. 4. Rinaldi Munir, Matematika Diskrit, Bandung, Informatika Bandung, 2001 5. Josep Bintang Kalangi, Matematika Ekonomi dan Bisnis, Jakarta, Salemba Empat, 2008