SATUAN ACARA PERKULIAHAN UNIVERSITAS GUNADARMA

MATA KULIAH FAKULTAS JURUSAN / JENJANG KODE

M I N G G U 1 & 2 POKOK BAHASAN

: Logika Matematika : Teknologi Industri : Teknik Informatika/S1 : KD-045316

SUB POKOK BAHASAN TIK S U M B E R 1

Himpunan

1. 2. 3. 4. 5. 6. 7.

Pengertian dan definisi Himpunan Diagram Venn Operasi antar Himpunan Aljabar Himpunan Himpunan hingga dan perhitungan anggota. Argumen dan Diagram Venn. Induksi Matematika

Setelah mengikuti kuliah tentang Himpunan diharapkan mahasiswa dapat : 1. Menjelaskan bahwa himpunan sebagai salah satu model dalam menyelesaikan permasalahan. 2. Menggambarkan hubungan antara himpunan dengan menggunakan diagram venn dasar. 3. Menentukan operasi antar himpunan. 4. Menyatakan Hukum daan Kesamaan Aljabar dalam Himpunan. 5. Menentukan tentang himpunan Hingga dan perhitungan banyaknya anggota himpunan. 6. Menggambarkan Argumen dalam diagram venn dan menganalisa validitas suatu argumen dengan diagram venn. 7. Mengenal pembuktian suatu proposisi dengan Induksi Matematik. 1. 2. Menyatakan suatu Relasi Menyatakan perbedaan antara Produk Kartesius dan Relasi. 3. Menjelaskan cara penyajian suatu relasi 4. Menunjukkan Relasi Invers 5. Menentukan Komposisi Relasi 6. Menjelaskan tentang sifat Relasi 7. Menyebutkan definisi Partisi 8. Menyebutkan definisi Ekivalen 9. Menunjukkan hubungan antara partisi dan relasi ekivalen 10. Menunjukkan definisi Partial Ordering 11. Menyatakan definisi Relasi N-Ary

3 & 4

Relasi

1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11.

Pengertian Relasi Produk Kartesius dan Relasi Penyajian lain untuk Relasi Relasi Invers Komposisi Relasi Sifat Relasi Partisi Relasi Ekivalen Partisi daan Relasi Ekivalen Partial Ordering Relasi N - Ary

5.

Fungsi

1. 2. 3. 4. 5. 6.

Pengertian dan definisi Fungsi Fungsi satu-satu, fungsi pada Hasil kali (produk) fungsi / fungsi Komposisi. Invers dari Fungsi Fungsi Invers Kelas Berindeks.

Setelah mengikuti kuliah tentang fungsi diharapkan mahasiswa dapat : 1. Menjelaskan definisi Fungsi 2. Menyebutkan tentang jenis fungsi 3. Menentukan hasil kali ( Produk) fungsi 4. Menjelaskan dan mengerti invers dari fungsi dan fungsi invers beserta syaratsyaratnya. 5. Menunjukkan kelas berindeks dan penerapannya dalam masalah komputasi. Setelah mahasiswa mempelajari tentang diharapkan dapat : 1. Menyatakan konsep dan notasi dasar yang digunakan . 2. Menyatakan pembentukan Polinomial Boole dari suatu statement 3. Menyatakan pembentukan tabel kebenaran. 4. Menentukan bentuk-bentuk tautologi dan kontradiksi. 5. Menentukan Ekivalensi Logika dari 2 proposisi. 6. Menyatakan hukum-hukum pada Aljabar Proposisi. 7. Menyatakan bentuk argumen yang valid dan fallacy 8. Menyatakan Implikasi Logik 9. Menyatakan fungsi proposisi dan himpunan kebenaran. 10. Menyatakan pengukur jumlah universal 11. Menyatakan pengukur jumlah eksistansial 12. Menentukan tentang Negasi atau Ingkaran dari proposisi 13. Menyatakan contoh Balasan 14. Menyatkan fungsi proposisi dengan lebih dari satu variabel. 15. Menyatakan validitas dari Argumen dalam pengukuran jumlah 16. Menyatakan pernyatan dalam bentuk berbagai variasi kondisional Setelah mengikuti kuliah tentang Poset dan Lattice diharapkan mahasiswa dapat : 1. Menyebutkan definisi Poset 2. Membuat diagram Poset 3. Menntukan Supremum dan Infimum 4. Menyebutkan definisi Lattice 5. Menentukan Lattice terbatas atau tidak terbatas 6. Membedakan Lattice yang bersifat distributif atau bukan distributif 7. Menyimpulkan bahwa suatu Lattice

6 & 7 & 8

Proposisi

1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16.

Konsep dan notasi Dasar Polinomial Boole Proposisi dan Tabel Kebenaran Tautologi dan Kontradiksi Ekivalen Logika Aljabar Proposisi Argumen Implikasi Logik ( Logical Implication) Fungsi Proposisi dan Himpunan Kebenaran Pengukur Jumlah Universal(untuk setiap) Pengukur Jumlah Eksistensial ( Ada) Negasi atau ingkaran Contoh Balasan Argumen proposisi dengan lebih dari satu variabel. Argumen dan Pengukuran Jumlah. Pernyataan dan variasi konditional.

9 & 10

Poset dan Lattice

1. 2. 3. 4. 5. 6. 7.

Pengertian dan definisi Poset Diagram Poset Supremum dan Infimum Definisi Latice Lattice yang terbatas Lattice Distributif Lattice Berkomplemen

berkomplemen atau tak berkomplemen serta menentukan komplemen suatu anggota Lattice. 11 & 12 & 13 Aljabar Boole 1. 2. 3. 4. 5. 6. 7. 8. Definisi Dasar Dualitas Teorema Dasar Aljabar Boole sebagai Lattice Pernyataan Teorema Bentuk normal disjunctive Rancangan Rangkaian Saklar Prime Implikan dan metode Konsensus 9. Pernyataan Boole Minimal 10. Peta Karnaugh Setelah mempelajari Aljabar Boole mahasiswa diharapkan dapat : 1. Menyatakan definisi dasar 2. Menentukan Dualitas 3. Menyebutkan teorema dasar Aljabar Boole 4. Menunjukkan bahwa Aljabar Boole sebagai Lattice 5. Menyebutkan Normal Disjunctive 6. Membuat Rancangan Rangkaian Saklar 7. Menyebutkan definisi bentuk Prime Implikan dan menggunakan metode konsensus 8. Menentukan pernyataan Boole Minimal 9. Mencari Prime Implikan dengan Peta Karnaugh

D.Suryadi H.S. Aljabar Logika & Himpunan ; penerbit Gunadarma, 1991