KEMENTERIAN RISET, TEKNOLOGI DAN PENDIDIKAN TINGGI FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA PROGRAM STUDI PENDIDIKAN TEKNIK ELEKTRONIKA

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


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


Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas


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


Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi kasus


Kuis dan tugas

5%

100’

1 dan 4


Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi


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





Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi kasus Mahasiswa mencari informasi dari sumber


Kuis dan tugas

10%

100’

1 dan 4


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,


Mahasiswa mencari informasi dari sumber bacaan dan internet selanjutnya mediskusikan di kelas untuk menyelesaikan studi kasus Mahasiswa

(kevalidan, ketepatan waktu)


Kuis dan tugas

10%

200’

1 dan 4


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


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)


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. -

KEMENTERIAN RISET, TEKNOLOGI DAN PENDIDIKAN TINGGI FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA PROGRAM STUDI PENDIDIKAN TEKNIK ELEKTRONIKA

Recommend Documents