SATUAN ACARA PERKULIAHAN STMIK PARNA RAYA MANADO TAHUN 2010

Transkripsi

1 TAHUN DOSEN : IR. HASANUDDIN SIRAIT PERTEMUAN : 1-2 JUMLAH JAM : 200 MENIT - Himpunan - Himpunan - Diagram Venn - Operasi antar Himpunan - Aljabar Himpunan - Himpunan Hingga - Argumen & Diagram Venn - Induksi Lengkap Mengetahui definisi & contoh dari himpunan, operasi, aljabar himpunan dan argumen serta dapat membuktikan suatu proposi si dengan induksi lengkap - ALJABAR LOGIKA & HIMPUNAN Oleh D. Suryadi H.S

2 TAHUN PERTEMUAN : 3-4 JUMLAH JAM : 200 MENIT - Relasi - Pendahuluan - Produk Cartesius - Penyajian lain - Relasi Invers - Komposisi Relasi - Sifat Relasi - Partisi - Relasi Ekivalen - Partisi & Relasi Ekivalen - Partial Ordering - Relasi N array Mengetahui definisi, contoh dan sifat relasi, dapat menyajikannya dalam bentuk yang lain, mengenal relasi invers, komposisi relasi, partisi dan relasi ekivalen serta partial order - ALJABAR LOGIKA & HIMPUNAN Oleh D. Suryadi H.S

3 TAHUN PERTEMUAN : 5-6 JUMLAH JAM : 200 MENIT - Fungsi - Pendahuluan - Fungsi satu-satu - Produk Fungsi - Invers dari Fungsi - Fungsi Invers - Kelas Berindeks - Kardinalitas Mengenal definisi dan contoh dari fungsi, jenis fungsi dan dapat mencari bilangan kardinal - ALJABAR LOGIKA & HIMPUNAN Oleh D. Suryadi H.S

4 TAHUN PERTEMUAN : 7 - Proposisi - Konsep & Notasi Dasar - Polinomial Boole - Proposisi & Tabel Kebenaran - Tautologi & Kontradiksi - Ekivalen Logika - Aljabar Proposisi - Argumen Mengetahui definisi & contoh dari proposisi, polinomial boole, tabel kebenaran, ekivalen logika, aljabar proposisi dan argumen - ALJABAR LOGIKA & HIMPUNAN Oleh D. Suryadi H.S

5 TAHUN PERTEMUAN : 8 - Poset & Lattice - Himpunan Urut Parsial - Diagram Poset - Supremum & Infimum - Lattice Mengetahui definisi & contoh dari proposisi, polinomial boole, tabel kebenaran, ekivalen logika, aljabar proposisi dan argumen - ALJABAR LOGIKA & HIMPUNAN Oleh D. Suryadi H.S

6 TAHUN PERTEMUAN : 9 - Aljabar Boole - Definisi Dasar - Dualitas - Aljabar Boole sebagai Lattice - Bentuk Normal Disjunctive. - Rangkaian Saklar - Prime Implikan - Pernyataan Boole Minimal - Peta Karnaugh Mengetahui definisi dan teorema serta contoh dari Aljabar Boole. Mengenal bentuk Normal Disjunctive, rangkaian saklar, Prime Implikan, pernyataan Boole Minimal dan Peta Karnaugh - ALJABAR LOGIKA & HIMPUNAN Oleh D. Suryadi H.S

7 TAHUN PERTEMUAN : 10 - Kombinatorik - Permutasi - Kombinasi - Binomium Newton - Mencari harga pendekatan Mahasiswa mengerti dan dapat mengerjakan soal tentang permutasi, kombinasi dan binomium Newton serta dapat mencari harga pendekatan suatu operasi bilangan tanpa memakai kalkulator - PENGANTAR STRUKTUR DISKRIT Oleh D. Suryadi H.S

8 TAHUN PERTEMUAN : 11 - Relasi Rekursi dan Fungsi Pembangkit - Definisi Relasi Rekursi - Relasi Rekursi Linier dengan koefisien konstan - Fungsi Pembangkit Mahasiswa mengerti definisi Relasi Rekursi dan Fungsi Pembangkit serta hubungan keduanya - PENGANTAR STRUKTUR DISKRIT Oleh D. Suryadi H.S

9 TAHUN PERTEMUAN : 12 - Teori Graf - Pengertian Graf - Graf secara formal - Pewarnaan - Contoh Problema Graf Mahasiswa mengerti definisi vertex, edge, derajat simpul, multigraf, region dan contoh masalah yang menggunakan teori Graf sebagai penyelesaiannya - PENGANTAR STRUKTUR DISKRIT Oleh D. Suryadi H.S

10 TAHUN PERTEMUAN : 13 - Pembahasa soal Pertemuan PENGANTAR STRUKTUR DISKRIT Oleh D. Suryadi H.S

11 TAHUN PERTEMUAN : 14 - Pembahasa soal Pertemuan 9-12 a. SUB POKOK BAHASAN DAN SASARAN BELAJAR b. TINJAUAN INSTRUKSIONAL KHUSUS c. REFERENSI BUKU - PENGANTAR STRUKTUR DISKRIT Oleh D. Suryadi H.S

12 TAHUN PERTEMUAN : 15 B. POKOK BAHASA DAN TINJAUAN INSTRUKSIONAL UMUM : - Final Test d. SUB POKOK BAHASAN DAN SASARAN BELAJAR e. TINJAUAN INSTRUKSIONAL KHUSUS f. REFERENSI BUKU