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
Nama Mata Kuliah
: Logika
Kode Mata Kuliah
: PTI6206
Jumlah SKS
:2
Mata Kuliah Prasyarat
: --
Dosen Pengampu
: Ponco Wali Pranoto. M.Pd.
Deskripsi Mata Kuliah
: Mata kuliah ini membahas tentang logika matematika dimana merupakan cabang dari bidang ilmu matematis
yang memperdalam masalah logika. Matakuliah logika memberikan suatu metode atau cara yang sistematis dalam berpikir (reasoning). Terdapat dua metode cara berpikir yang digunakan, yaitu Logika Proposisi dan Logika Predikat. Dengan Logika, diharapkan dapat mengurangi tindakan menebak dalam menghadapi dan menyelesaikan suatu masalah sehingga masalah tersebut dapat diselesaikan dengan suatu jawaban yang dikerjakan dengan sistematis. Cara berpikir dengan dasar logika ini dapat dijadikan program dan dilaksanakan oleh komputer sehingga komputer dapat melakukan kemampuan ”berpikir” walaupun secara sederhana.
Capaian Pembelajaran (Mata Kuliah) : Mahasiswa mampu: 1. Bertaqawa kepada Tuhan YME dan mampu menunjukkan sikap regius dan berkarakter 2. Berpartisipasi aktif, bertanggungjawab, dan memiliki motivasi mengembangkan diri 3. Menggunakan kaidah dan aturan logika matematika dalam upaya penyelesaian masalah
4. Memahami konsep dasar logika matematika. 5. Memahami representasi bilangan biner, desimal, oktal dan heksadesimal. 6. Menyebutkan bentuk formal logika dan kaidahnya. 7. Mempunyai kemampuan berfikir dan konsep-konsep dasar logika matematika dalam mengembangkan algoritma pemrograman. 8. Memiliki kemampuan berkomunikasi secara efektif, berpikir kritis dan membuat keputusan yang tepat
Pertemuan ke-
1
2–3
Capaian Pembelajaran a. Mampu menggunakan kaidah dan aturan logika matematika dalam upaya penyelesaian masalah b. Mampu menerapkan standarisasi pengelolaan bidang logika a. Mahasiswa memahami repesentasi bilangan biner, okta, desimal dan hexadesimal b. Mahasiswa memahami teknik konversi
Bahan Kajian/Pokok Bahasan
Pengantar, pengertian dan konsep logika
Representa-si bilangan, konversi dan penerapan dalam algoritma sederhana
Bentuk/ Model Pembelajaran
Pengalaman Belajar
Indikator Penilaian
Teknik Penilaian
Bobot Penilaian (persubkom)
Waktu
Ceramah, tanya-jawab, small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi kasus.
Aspek belajar kognitif (kevalidan) dan afektif
Kuis
5%
100’
Ceramah, tanya jawab dan problem based learning
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesai-
Aspek belajar kognitif (kevalidan) dan afektif
Kuis, tugas
5%
200’
Referensi
1 dan 4
1 dan 4
4
5
bilangan c. Mahasiswa dapat melakukan operasi-operasi aritmatika bilangan a. Mahasiswa dapat menjelaskan bentuk formal logika dan kaidah dasarnya b. Mahasiswa dapat menjelaskan variabel dan konstanta preposisional a. Mahasiswa dapat menjelaskan aturan table kebenaran pada setiap logical connectives (Konjungsi, disjungsi, Negasi, implikasi, Ekuivalensi) b. Mahasiswa dapat menjelaskan aturan tabel kebenaran yang
kan studi kasus
Konsep dasar preposisi, preposisi pada algoritma pemrograman
Tabel kebenaran, logical conectivities
Ceramah, tanya-jawab, small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis dan tugas
5%
100’
1 dan 2
Ceramah, tanya-jawab, small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis dan tugas
10%
100’
1 dan 4
a.
b.
6
c.
a.
7 b.
merupakan kebalikan (Nand, Nor dan Exor Mahasiswa dapat melakukan evaluasi ekspresi logika dengan tabel kebenaran Mahasiswa dapat membuktikan suatu argument dengantabel kebenaran yang menghasilkan tautology Mahasiswa dapat mengevaluasi validitas argument yang bukan tautologi (kontradiksi dan contingent) Mahasiswa dapat menunjukkan ekuivalensi dua ekspresi logis dengan tabel kebenaran Mahasiswa dapat menjelaskan hukum-hukum
Konsep, cara pengerjaan dan penerapan dalam ranah algoritma pada bagian Tautologi, Kontradiksi, dan Contingent
Konsep, cara pengerjaan dan penerapan ekuivalensi logis dalam bidang logika informatika
Ceramah, tanya-jawab, small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi kasus
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis dan tugas
5%
100’
1 dan 4
Ceramah, tanya-jawab, small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis dan tugas
10%
100’
1 dan 4
8
9
10
dalam logika yang diperoleh dari ekuivalensi berbagai ekspresi logika a. Mahasiswa dapat menjelaskan operasi penyederhanaan menggunakan hokum logika b. Mahasiswa dapat menjelaskan teknik pembalikan untuk membuktikan validitas suatu argumen
kasus
Penyederhana an, perangkai simplifikasi dan falsifikasi
Mahasiswa dapat menjelaskan komponen sintaktik a. Konsep Logika logika predikatif seperti Semesta predikatif pembicaraan, b. Interpretasi predikat, variabel c. Validity dan kuantor
Mahasiswa dapat menjelaskan aturan-aturan derivasi dalam
Dasar derivasi dan ekuivalensi logika dan
Ceramah, tanya-jawab, small group disscusion
Ceramah, tanya-jawab, small group disscusion
Ceramah, tanya-jawab, small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi kasus
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi kasus Mahasiswa mencari informasi dari sumber
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis dan tugas
10%
100’
1 dan 4
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis
10%
100’
3 dan 4
Aspek belajar kognitif dan afektif
Kuis
10%
100’
3 dan 4
logika predikatif
11 - 12
13-14
15
penerapan sederhana dalam kasus informatika
a. Mahasiswa dapat menggunakan a. Konsep himpunan dasar sebagai salah Himpunan satu model dan Operasi dalam Himpunan penyelesaian b. Dasar masalah Tuple, b. Mahasiswa dapat Sequences menjelaskan c. PowerSets operasi-operasi Penerapan antar himpunan dalam bidang c. Mahasiswa dapat informatika menggunakan secara hukum dan sederhana dan kesamaan studi kasus. aljabar dalam himpunan a. Mahasiswa dapat menjelaskan a. Konsep relasi dan Relasi representasinya b. Komposisi b. Mahasiswa dapat Relasi menjelasakan c. Properti operasi-operasi Relasi atas suatu relasi
Mahasiswa dapat
Representas
bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi kasus
Ceramah, tanya-jawab, small group disscusion
Ceramah, tanya-jawab, small group disscusion
Ceramah,
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi kasus
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi kasus Mahasiswa
(kevalidan, ketepatan waktu)
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis dan tugas
10%
200’
1 dan 4
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis
10%
200’
1 dan 4
Aspek
Kuis
4
menjelaskan fungsi, notasi dan representasi suatu fungsi
a. Mahasiswa dapat menjelaskan operasi-operasi dlam fungsi b. Mahasiswa dapat menjelaskan invers fungsi dan persyaratannya
16
i fungsi, notasi dan pemanfaata n fungsi dalam informatika
Operasi fungsi, relasi dan invers dari kasus
tanya-jawab, small group disscusion
Ceramah, tanya-jawab, small group disscusion
Penilaian: A. Penilaian Teori ( 100% = 2 SKS) No
Komponen Evaluasi
1
Kuis/soal
20
2
Tugas-tugas
20
3
Ujian Tengah Semester
30
4
Ujian Akhir Semester
30
Jumlah
Bobot (%)
100
mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi kasus Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi kasus
belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis
5%
100’
5%
2x50’
4
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 dan 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 Yogyakarta, Agustus 2015 Mengetahui, Ketua Jurusan Pendidikan Teknik Elektronika
Muhammad Munir, M.Pd. NIP. 19630512 198901 1 001
Dosen Pengampu,
Ponco Wali Pranoto, M.Pd. NIP. -