SATUAN ACARA PERKULIAHAN

(1)

Versi : 2 Revisi : 0

Tanggal Revisi : 25 Juli 2012 Tanggal Berlaku : 17 September 2012

SATUAN ACARA PERKULIAHAN Program Studi : Teknik Informatika

Fakultas : Teknologi Industri Kode Mata Kuliah : 52312105

Nama Mata Kuliah : Logika Matematika

Kelompok Mata Kuliah : MPK / MKK / MKB / MPB / MBB / Praktikum

Semester : 1

SKS : 3 SKS

Dosen : Lizda Iswari,S.T., M.Sc.

Sheila Nurul Huda ,S.Kom.,M.Cs

Pert emu an

Kompetensi Dasar

Topik Bahasan

Indikator Pencapaian

Strategi Pembelajaran Offline Strategi Pembelajaran Online

Metode Alokasi Media Evaluasi Referensi Metode Alokasi Media Evaluasi Refe rensi 1 Mahasiswa

mengetahui konsep, kompetensi dasar, pokok- pokok materi, referensi, strategi pembelajaran, dan sistem penilaian.

Mahasiswa memahami

Kontrak Belajar:

Peta Konsep Mata Kuliah, Learning Objective, Pokok- pokok materi, Referensi, Strategi pembelajara

Mahasiswa mengetahui orientasi mata kuliah, tujuan pembelajaran, materi

pembelajaran, referensi yang digunakan, strategi

pembelajaran, dan sistem penilaian.

Mahasiswa dapat

1). Metode:

ceramah &

diskusi, 2.) Pendekatan : SCL

Perkenala n dan Kontrak Belajar:

60 menit, Ceramah:

60 menit, Diskusi:

30 menit

LCD, laptop, whiteboar d, sound system, Power Point Administ rivia dan Pengantar Logika Proposisi onal

Proses Diskusi, Kuis mengena i

proposisi ,

bagaima na menyusu n

proposisi menjadi

Logika Matematik a untuk Ilmu Komputer hal. 1-32

1. Informat ion reposito ry

Upload hari Senin

Penyi mpana n File di Klasib er

(2)

cakupan logika proposisional dan cara penulisan argumen.

n, dan Sistem penilaian.

Pengantar Logika Proposision al:

Proposisi, Variabel, dan Konstanta Proposisiona l.

menjelaskan perbedaan antara argumen

proposisional dan argumen

berpredikat, serta dapat menyusun argumen dalam bentuk ungkapan proposisional dengan benar

argumen .

2 Mahasiswa memahami jenis-jenis operator dasar dan proposisi majemuk.

Operator Logika:

Konjungsi, Disjungsi (Inclusive OR dan Exclusive OR), Negasi, Implikasi, dan

Biimplikasi.

Proposisi Majemuk:

Ekspresi Logika, Skema, dan Aturan Pengurutan.

Mahasiswa dapat memberi nilai kebenaran berdasarkan operator dasar yang terdapat di argumen dan mampu merangkai beberapa proposisi menjadi proposisi majemuk dan menentukan nilai kebenaran dengan benar.

1). Metode:

kuliah interaktif &

diskusi, 2.) Pendekatan : SCL

Mahasisw a mencari nilai dari beberapa operator logika dasar: 45 menit, Ceramah:

60 menit, Diskusi dan latihan:

45 menit

LCD, laptop, whiteboar d, sound system, Power Point Operator Logika dan Proposisi Majemuk

Proses Diskusi, latihan bagaima na menyele saikan proposisi majemu k sesuai urutan

Logika Matematik a untuk Ilmu Komputer hal. 35-49

1. Informat ion reposito ry

Upload hari Senin

Penyi mpana n File di Klasib er

Log dan keaktifan, online review

3 Mahasiswa memahami hukum- hukum logika

Hukum- hukum Logika:

Dasar Tabel

Mahasiswa dapat menentukan operator yang tepat dalam

Logika

Matematik a untuk Ilmu

1. Informat ion reposito

30 Menit review materi,

File materi dasar tabel

Log dan keaktifan, wiki

(3)

dan ekspresi logika yang ekuivalen.

Kebenaran.

Ekuivalensi Logis: Sifat Distributif, Sifat Komutatif, dan Hukum Logika Lainnya

menyusun proposisi dan dapat melakukan penilaian argumen sesuai urutan operator.

Mahasiswa dapat menggunakan hukum-hukum logika untuk penentuan ekuivalensi logis.

Komputer hal. 53-65

ry 3.

Online Exercise 4. Two Way Commu nication

60 Menit ativitas online the power of two untuk menyele saikan satu hukum logika, 40 menit pembuat an wiki mengen ai hukum- hukum logika

kebena ran, Forum Klasib er untuk mengk oordin asi aktivit as online the power of two, Wiki Klasib er

4 Mahasiswa mampu menerapkan hukum- hukum logika untuk

menyederhan akan ekspresi logika dan mengubahnya dalam bentuk normal.

Penyederha naan:

Operator Dasar, Hukum Logika untuk Operator Implikasi dan

Ekuivalensi Bentuk Normal:

Mahasiswa dapat menentukan ekspresi logika dalam bentuk paling sederhana dan dapat menghilangkan operator implikasi dan biimplikasi dalam ekspresi logika. Mahasiswa dapat menyusun ekspresi logika

1). Metode:

kuliah interaktif &

diskusi, 2.) Pendekatan : SCL

Kuliah Interaktif:

100 menit, Diskusi dan latihan:

50 menit

LCD, laptop, whiteboar d, sound system, Power Point Penyeder hanaan dan Bentuk Normal

Proses Diskusi, latihan bagaima na menyede rhanakan suatu ekspresi

Logika Matematik a untuk Ilmu Komputer hal. 67-82

1. Informat ion reposito ry

Upload hari Senin

Penyi mpana n File di Klasib er

Log dan keaktifan, online review

(4)

Konjungtif dan Distributif

dalam bentuk normal konjungtif atau disjungtif.

5 Mahasiswa dapat menganalisis validitas argumen.

Tautologi:

Tautologi, Kontradiksi, Contingent

Mahasiswa dapat menentukan nilai kebenaran argumen dengan Tabel Kebenaran dan Tautologi.

Logika

Matematik a untuk Ilmu Komputer hal. 85-99

1. Informat ion reposito ry 2.

Online Exercise 4. Two Way Commu nication

30 Menit tugas review, 30 Menit soal tugas online, 90 menit konstruk si pengeta huan bersama melalui wiki, tersedia 3 wiki, wiki tautolog i, wiki kontradi ksi, wiki continge nt, setiap peserta harus mampu member

File materi Tautol ogi, Wiki Klasib er

Log dan keaktifan, wiki

(5)

i contoh pada masing- masing wiki 6 Mahasiswa

dapat menganalisis validitas argumen.

Strategi Pembalikan :

Konsistensi, Operasi Strategi Pembalikan, Model dan Countermod el.

Mahasiswa dapat menentukan validitas argumen dengan

menegasikan kesimpulan dan model.

1). Metode:

ceramah &

diskusi, 2.) Pendekatan : SCL

Kulih Interaktif:

100 menit, Diskusi dan Latihan:

50 menit

LCD, laptop, whiteboar d, sound system, Power Point Strategi Pembalik an

Proses Diskusi, latihan bagaima na membuk tikan validitas argumen menggu nakan strategi pembali kan

Logika Matematik a untuk Ilmu Komputer hal. 101- 112 dan 159-173

1. Informat ion reposito ry

Upload hari Senin

Penyi mpana n File di Klasib er

Log dan keaktifan, online review

7 Mahasiswa dapat menganalisis validitas argumen.

Resolusi:

Resolving Argumen, Himpunan Klausa, Resolvent

Mahasiswa dapat menentukan validitas ekspresi logika berupa proposisional dengan aturan Resolusi.

1). Metode:

ceramah &

diskusi, 2.) Pendekatan : SCL

Kuliah Interaktif:

100 menit, Diskusi dan Latihan:

50 menit

LCD, laptop, whiteboar d, sound system, Power Point Administ rivia dan Pengantar Logika Proposisi onal

Proses Diskusi, latihan bagaima na membuk tikan validitas argumen menggu nakan resolusi

Logika Matematik a untuk Ilmu Komputer hal. 117- 132

1. Informat ion reposito ry

Upload hari Senin

Penyi mpana n File di Klasib er

Log dan keaktifan, online review

8 UTS

9 Mahasiswa dapat

Pengantar Logika

Mahasiswa dapat menjelaskan dan

1). Metode:

ceramah &

Kuliah Interaktif:

LCD, laptop,

Proses Diskusi,

Logika Matematik

1. Informat

Upload hari

Penyi mpana

Log dan keaktifan,

(6)

menyusun ungkapan logika berpredikat dan

menentukuan universe of discourse yang tepat.

Predikat:

Argumen Logika Predikat, Komponen Sintaktik Logika Predikat, Universe of Discourse, Predikat, Fungsi Proposisi, dan Instansiasi

menyusun argumen dalam bentuk pernyataan logika predikat dan

mencantumkan domain yang tepat. Mahasiswa dapat menentukan nilai ekspresi logika dengan proses instance.

diskusi, 2.) Pendekatan : SCL

100 menit, Diskusi dan Latihan:

50 menit

whiteboar d, sound system, Power Point Pengantar Logika Predikat

latihan bagaima na memben tuk logika predikat dan universe of discours enya

a untuk Ilmu Komputer hal. 135- 156 dan 175-194

ion reposito ry

Senin n File di Klasib er

online review

10 Mahasiswa dapat menganalisis penggunaan kuantor.

Kuantor:

Kuantor Universal, Kuantor Eksistensial, Domain Penafsiran Kuantor, dan Kuantor Ganda

Mahasiswa mengetahui jenis- jenis kuantor dan mampu menyusun ekspresi dengan kuantor yang tepat.

Logika

Matematik a untuk Ilmu Komputer hal. 197- 217

1. Informat ion reposito ry 3.

Online Exercise 4. Two Way Commu nication

30 Menit tugas review, 30 Menit diskusi forum, 40 menit tugas online

Forum Klasib er, Online Text Klasib er

Log dan keaktifan, online review

11 Mahasiswa dapat menganalisis penggunaan kuantor.

Kuantor:

Hubungan antar Kuantor, Menegasi Kuantor, Mengubah Pernyataan

Mahasiswa dapat menjelaskan hubungan antara kuantor universal dan eksistensial dan dapat menjelaskan kaitan kuantor

1). Metode:

ceramah &

diskusi, 2.) Pendekatan : SCL

Kuliah Interaktif:

100 menit, Diskusi dan Latihan:

50 menit

LCD, laptop, whiteboar d, sound system, Power Point Kuantor

Proses Diskusi, latihan bagaima na memben tuk logika

Logika Matematik a untuk Ilmu Komputer hal. 235- 262

1. Informat ion reposito ry

Upload hari Senin

Penyi mpana n File di Klasib er

Log dan keaktifan, online review

(7)

ke Logika Predikat Berkuantor

dengan universe of discourse.

predikat berkuant or dan bagaima na menegas ikan kuantor 12 Mahasiswa

mengetahui penggunaan Logika Predikat dengan bahasa pemrograman logika.

Prolog:

Pengenalan Prolog, Contoh Kasus Sederhana

Mahasiswa dapat mengenal bahasa pemrograman Prolog untuk menganalisis argumen predikat.

1). Metode:

ceramah &

diskusi, 2.) Pendekatan : SCL

Kuliah Interaktif:

100 menit, Diskusi dan Latihan:

50 menit

LCD, laptop, whiteboar d, sound system, Demo Program Prolog

Diskusi Logika Matematik a untuk Ilmu Komputer hal. 263- 293

1. Informat ion reposito ry

Upload hari Senin

Penyi mpana n File di Klasib er

13 Mahasiswa memahami penafsiran dan validitas argumen berlogika predikat.

Resolusi:

Penafsiran dan Validitas, Pembuktian Validitas dengan Resolusi

Mahasiswa dapat membuktikan validitas logika predikat dengan teknik Resolusi.

Logika

Matematik a untuk Ilmu Komputer hal. 299- 317

1. Informat ion reposito ry 3.

Online Exercise 4. Two Way Commu nication

30 Menit tugas review, 30 Menit diskusi forum, 40 menit tugas online

Forum Klasib er, Online Text Klasib er

Log dan keaktifan, online review

14 Mahasiswa memahami validitas argumen dengan teknik derivasi.

Derivasi untuk Logika Proposision al: Aturan- Aturan

Mahasiswa dapat membuktikan validitas logika proposisional dengan teknik Derivasi.

1). Metode:

ceramah &

diskusi, 2.) Pendekatan : SCL

Kuliah Interaktif:

100 menit, Diskusi dan

LCD, laptop, whiteboar d, sound system, Power

Proses Diskusi, latihan membuk tikan validitas

Logika Matematik a untuk Ilmu Komputer hal. 319-

1. Informat ion reposito ry

Upload hari Senin

Penyi mpana n File di Klasib er

(8)

Derivasi, Pembuktian Teorema

Latihan:

50 menit

Point Derivasi untuk Logika Proposisi onal

argumen proposisi onalmen ggunaka n teknik derivasi

349 Mahasiswa memahami penafsiran dan validitas argumen.

Derivasi untuk Logika Predikat:

Universal Instantiation, Universal Generalizati on,

Existential Generalizati on,

Existential Instantiation

Mahasiwa dapat membuktikan validitas logika predikat dengan teknik derivasi.

1). Metode:

ceramah &

diskusi, 2.) Pendekatan : SCL

Kuliah Interaktif:

100 menit, Diskusi dan Latihan:

50 menit

LCD, laptop, whiteboar d, sound system, Power Point Derivasi untuk Logika Predikat

Proses Diskusi, latihan membuk tikan validitas argumen predikat menggu nakan teknik derivasi

Logika Matematik a untuk Ilmu Komputer hal. 351- 373 dan 391-412

1. Informat ion reposito ry

Upload hari Senin

Penyi mpana n File di Klasib er

15 UAS

16 Ujian Akhir Semester (UAS)

Referensi

-Soesianto, F., Dwijono, D. Logika Matematika untuk Ilmu Komputer. Penerbit Andi, 2006.