Nama Mata Kuliah Kode Mata Kuliah Jumlah SKS : 2 Mata Kuliah Prasyarat : -- Dosen Pengampu Deskripsi Mata Kuliah KEMENTERIAN RISET, TEKNOLOGI DAN PENDIDIKAN TINGGI FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA PROGRAM STUDI PENDIDIKAN TEKNIK ELEKTRONIKA RENCANA PEMBELAJARAN SEMESTER No.RPS/PTE/PTI6206 Revisi/Tgl : 00/28 Agustus 2015 Semester 1 Hal 1 dari 8 : Logika : PTI6206 : Ponco Wali Pranoto. M.Pd. : Mata kuliah ini membahas tentang logika matematika dimana merupakan cabang dari big ilmu matematis yang memperdalam masalah logika. Matakuliah logika memberikan suatu metode atau cara yang sistematis dalam berpikir (reasonin g). Ter dua metode cara berpikir yang digunakan, yaitu Logika Proposisi Logika Predikat. Dengan Logika, diharapkan mengurangi tindakan menebak dalam menghadapi suatu masalah sehingga masalah tersebut diselesaikan dengan suatu jawaban yang dikerjakan dengan sistematis. Cara berpikir dengan dasar logika ini dijadikan program dilaksanakan oleh komputer sehingga komputer melakukan kemampuan berpikir walaupun secara sederhana. Capaian Peman (Mata Kuliah) : mampu: 1. Bertaqawa kepada Tuhan YME mampu menunjukkan sikap regius berkarakter 2. Berpartisipasi aktif, bertanggungjawab, memiliki motivasi mengembangkan diri 3. Menggunakan kaidah aturan logika matematika dalam upaya penyelesaian masalah
4. Memahami konsep dasar logika matematika. 5. Memahami representasi bilangan biner, desimal, oktal heksadesimal. 6. Menyebutkan bentuk formal logika kaidahnya. 7. Mempunyai kemampuan berfikir konsep-konsep dasar logika matematika dalam mengembangkan algoritma pemrograman. 8. Memiliki kemampuan berkomunikasi secara efektif, berpikir kritis membuat keputusan yang tepat Pertemuan ke- 1 Capaian Peman a. Mampu menggunakan kaidah aturan logika matematika dalam upaya penyelesaian masalah b. Mampu menerapkan standarisasi pengelolaan big logika Bahan Kajian/Pokok Bahasan Pengantar, pengertian konsep logika Bentuk/ Model Peman Pengalaman Belajar. Indikator Penilaian kognitif (kevali) Teknik Penilaian Bobot Penilaian (persubkom) Waktu Kuis 5% 100 Referensi 1 4 2 3 a. memahami repesentasi bilangan biner, okta, desimal hexadesimal b. memahami teknik konversi Representa-si bilangan, konversi penerapan dalam algoritma sederhana tanya jawab problem based learning menyelesai- kognitif (kevali) Kuis, 5% 200 1 4
4 5 bilangan c. melakukan operasi-operasi aritmatika bilangan a. bentuk formal logika kaidah dasarnya b. variabel konstanta preposisional a. aturan table pada setiap logical connectives (Konjungsi, disjungsi, Negasi, implikasi, Ekuivalensi) b. aturan tabel yang Konsep dasar preposisi, preposisi pada algoritma pemrograman Tabel, logical conectivities kan di kelas di kelas 5% 100 1 2 10% 100 1 4
6 7 merupakan kebalikan (Nand, Nor Exor a. melakukan evaluasi ekspresi logika dengan tabel b. membuktikan suatu argument dengantabel yang menghasilkan tautology c. mengevaluasi validitas argument yang bukan tautologi (kontradiksi contingent) a. menunjukkan ekuivalensi dua ekspresi logis dengan tabel b. hukum-hukum Konsep, cara pengerjaan penerapan dalam ranah algoritma pada bagian Tautologi, Kontradiksi, Contingent Konsep, cara pengerjaan penerapan ekuivalensi logis dalam big logika informatika 5% 100 1 4 10% 100 1 4
8 dalam logika yang diperoleh dari ekuivalensi berbagai ekspresi logika a. operasi penyederhanaan menggunakan hokum logika b. teknik pembalikan untuk membuktikan validitas suatu argumen Penyederhana an, perangkai simplifikasi falsifikasi 10% 100 1 4 9 10 komponen sintaktik logika predikatif seperti Semesta pembicaraan, predikat, variabel kuantor aturan-aturan derivasi dalam a. Konsep Logika predikatif b. Interpretasi c. Validity Dasar derivasi ekuivalensi logika Kuis 10% 100 3 4 Kuis 10% 100 3 4
11-12 13-14 logika predikatif a. menggunakan himpunan sebagai salah satu model dalam penyelesaian masalah b. operasi-operasi antar himpunan c. menggunakan hukum kesamaan aljabar dalam himpunan a. relasi representasinya b. menjelasakan operasi-operasi atas suatu relasi penerapan sederhana dalam informatika a. Konsep dasar Himpunan Operasi Himpunan b. Dasar Tuple, Sequences c. PowerSets Penerapan dalam big informatika secara sederhana. a. Konsep Relasi b. Komposisi Relasi c. Properti Relasi 10% 200 1 4 Kuis 10% 200 1 4 15 Representas Kuis 4
16 fungsi, notasi representasi suatu fungsi a. operasi-operasi dlam fungsi b. invers fungsi persyaratannya i fungsi, notasi pemanfaata n fungsi dalam informatika Operasi fungsi, relasi invers dari 5% 100 Kuis 5% 2x50 4 Penilaian: A. Penilaian Teori ( 100% = 2 SKS) No Komponen Evaluasi Bobot (%) 1 Kuis/soal 20 2 Tugas- 20 3 Ujian Tengah Semester 30 4 Ujian Akhir Semester 30 Jumlah 100
Nilai akhir mata kuliah: (Kuis 20%) x (Tugas 20%) x (UTS 30%) x (UAS 30%) NA = ------------------------------------------------------------------------ 100 Keterangan : 1. Bobot (%) diisi sesuai dengan komponen evaluasi 2. Nilai akhir mata kuliah merupakan rerata nilai teori praktikum Referensi: 1. Jean-Paul Tremblay., 1996, Logic and Discrete Mathematics, Prentice Hall, New Jersey 2. F. Soesianto & Djoni Dwijono, 2003, Logika Proposisional, Andi Offset, Yogyakarta 3. F. Soesianto & Djoni Dwijono, 2003, Logika Predikatif, Andi Offset, Yogyakarta 4. Rinaldi Munir, 2003, Matematika Diskrit, Edisi Ke-2, Informatika, Bandung Mengetahui, Ketua Jurusan Pendidikan Teknik Elektronika Yogyakarta, Agustus 2015 Dosen Pengampu, Muhammad Munir, M.Pd. Ponco Wali Pranoto, M.Pd. NIP. 19630512 198901 1 001 NIP. -