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
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
Pertemu-an
ke-Capaian
Pembelajaran
Bahan
Kajian/Pokok
Bahasan
Bentuk/ Model
Pembelajaran
Pengalaman
Belajar
Indikator
Penilaian
Teknik
Penilaian
Bobot
Penilaian
(persub-kom)
Waktu
Referensi
1
a. Mampu menggunakan kaidah dan aturan logika matematika dalam upaya penyelesaian masalah b. Mampu
menerapkan standarisasi pengelolaan bidang logika
Pengantar, pengertian dan konsep logika
Ceramah, tanya-jawab,
small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesai-kan studi kasus.
Aspek belajar kognitif (kevalidan) dan afektif
Kuis 5% 100’ 1 dan 4
2 – 3
a. Mahasiswa memahami repesentasi bilangan biner, okta, desimal dan
hexadesimal b. Mahasiswa
memahami teknik konversi
Representa-si bilangan, konversi dan penerapan dalam algoritma sederhana
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,
bilangan c. Mahasiswa
dapat melakukan operasi-operasi aritmatika bilangan
kan studi kasus
4
a. Mahasiswa dapat menjelaskan bentuk formal logika dan kaidah
dasarnya b. Mahasiswa
dapat menjelaskan variabel dan konstanta preposisional
Konsep dasar preposisi, preposisi pada
algoritma pemrograman
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
5
a. Mahasiswa dapat menjelaskan aturan table kebenaran pada setiap logical
connectives (Konjungsi, disjungsi, Negasi, implikasi, Ekuivalensi) b. Mahasiswa
dapat menjelaskan aturan tabel kebenaran yang
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
merupakan kebalikan (Nand, Nor dan Exor
6
a. Mahasiswa dapat melakukan evaluasi
ekspresi logika dengan tabel kebenaran b. Mahasiswa
dapat
membuktikan suatu argument dengantabel kebenaran yang
menghasilkan tautology c. Mahasiswa
dapat
mengevaluasi validitas
argument yang bukan tautologi (kontradiksi dan contingent)
Konsep, cara pengerjaan dan penerapan dalam ranah algoritma pada bagian
Tautologi, Kontradiksi, dan
Contingent
Ceramah, tanya-jawab,
small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesai-kan studi kasus
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis dan
tugas 5% 100’ 1 dan 4
7
a. Mahasiswa dapat
menunjukkan ekuivalensi dua ekspresi logis dengan tabel kebenaran b. Mahasiswa
dapat menjelaskan hukum-hukum
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 menyelesai-kan studi
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis dan
dalam logika yang diperoleh dari ekuivalensi berbagai ekspresi logika
kasus
8
a. Mahasiswa dapat menjelaskan operasi penyederha-naan
menggunakan hokum logika b. Mahasiswa
dapat menjelaskan teknik pembalikan untuk
membuktikan validitas suatu argumen
Penyederhana an, perangkai simplifikasi dan falsifikasi
Ceramah, tanya-jawab,
small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesai-kan studi kasus
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis dan
tugas 10% 100’ 1 dan 4
9
Mahasiswa dapat menjelaskan komponen sintaktik logika predikatif seperti Semesta pembicaraan, predikat, variabel dan kuantor
a. Konsep
Logika
predikatif
b. Interpretasi
c.Validity
Ceramah, tanya-jawab,
small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesai-kan studi kasus
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis 10% 100’ 3 dan 4
10
Mahasiswa dapat menjelaskan aturan-aturan derivasi dalam
Dasar derivasi dan ekuivalensi
logika dan
Ceramah, tanya-jawab,
small group disscusion
Mahasiswa mencari informasi dari sumber
Aspek belajar kognitif dan afektif
logika predikatif penerapan sederhana dalam kasus
informatika
bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesai-kan studi kasus
(kevalidan, ketepatan waktu)
11 - 12
a. Mahasiswa dapat menggunakan himpunan
sebagai salah satu model dalam
penyelesaian masalah
b. Mahasiswa dapat menjelaskan operasi-operasi antar himpunan c. Mahasiswa dapat
menggunakan hukum dan kesamaan aljabar dalam himpunan
a. Konsep dasar Himpunan dan Operasi Himpunan b. Dasar
Tuple, Sequences c. PowerSets
Penerapan dalam bidang informatika secara
sederhana dan studi kasus.
Ceramah, tanya-jawab,
small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesai-kan studi kasus
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis dan
tugas 10% 200’ 1 dan 4
13-14
a. Mahasiswa dapat menjelaskan relasi dan representasinya b. Mahasiswa dapat
menjelasakan operasi-operasi atas suatu relasi
a. Konsep Relasi b. Komposisi
Relasi c. Properti
Relasi
Ceramah, tanya-jawab,
small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesai-kan studi kasus
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis 10% 200’ 1 dan 4
menjelaskan fungsi, notasi dan representasi suatu fungsi
i fungsi, notasi dan pemanfaata n fungsi dalam informatika
tanya-jawab,
small group disscusion
mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesai-kan studi kasus
belajar kognitif dan afektif (kevalidan, ketepatan waktu)
5% 100’
16
a. Mahasiswa dapat menjelaskan operasi-operasi dlam fungsi b. Mahasiswa dapat
menjelaskan invers fungsi dan persyaratannya
Operasi fungsi, relasi dan invers dari kasus
Ceramah, tanya-jawab,
small group disscusion
Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesai-kan studi kasus
Aspek belajar kognitif dan afektif (kevalidan, ketepatan waktu)
Kuis 5% 2x50’ 4
Penilaian:
A. Penilaian Teori ( 100% = 2 SKS)
No
Komponen Evaluasi
Bobot (%)
1
Kuis/soal
20
2
Tugas-tugas
20
3
Ujian Tengah Semester
30
4
Ujian Akhir Semester
30
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 Dosen Pengampu,
Muhammad Munir, M.Pd. Ponco Wali Pranoto, M.Pd.