FM-UDINUS-BM-08-05/R0
RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) Kode / Nama Mata Kuliah Satuan Kredit Semester Jml Jam kuliah dalam seminggu
: A11.54406/ Logika Informatika : 3 SKS : 3 x 50 menit.
Revisi ke Tgl revisi Tgl mulai berlaku Penyusun
Jml Jam kegiatan laboratorium
: - jam
Penanggung jawab Keilmuan
Deskripsi Mata kuliah
: Mata Kuliah ini membahas tentang proposisi atom, proposisi majemuk, validitas sebuah kesimpulan, logika entailment, prinsip resolusi, relasional logic, terjemahan First Order Logic, Pembuktian dengan First Order Logic. : Setelah menyelesaikan mata kuliah ini, mahasiswa akan mempunyai pengetahuan dasar (basic science) sebuah proposisi dan dapat membuktikan sebuah konklusi dengan menggunakan tabel kebenaran dan rule of inference serta dapat menterjemahkan bahasa dalam kehidupan sehari-hari ke dalam bahasa First Order Logic agar dapat dimengerti oleh komputer.
Standar Kompetensi
Pertemuan ke : 1
Kompetensi Dasar
Indikator
Setelah mempelajari materi ini mahasiswa diharapkan dapat memahami konsep logika, sejarah logika, kalimat, pernyataan (proposisi) dan hubunganya dengan mata kuliah lain
Mahasiswa mampu: 1. Memahami standar kompetensi dan kompetensi dasar 2. Memahami konsep logika 3. Mengerti sejarah logika 4. Memahami arti sebuah kalimat dan proposisi
: : : :
2 Agustus 2014 September 2014 Purwanto, Ph.D Bowo Nurhadiyono, S.Si. M.Kom : Bowo Nurhadiyono, S.Si. M.Kom
Pokok Bahasan/ Materi Kontrak Kuliah Pengantar Logika Informatika a. Konsep Logika b. Sejarah dan Perkembangan Logika c. Kalimat d. Pernyataan (Proposisi)
Aktifitas Pembelajaran Pendahuluan 1. Menjelaskan Diskripsi Singkat tentang matakuliah Logika Informatika 2. Menjelaskan Buku referensi yang digunakan 3. Menjelaskan sistem penilaian serta kontrak perkuliahan dengan mahasiswa 4. Menjelaskan materi-materi yang akan dibahas selama setengah semester atau selama 7 mnggu
Rujukan 3,4
Penyajian
Konsep Logika 5. 6.
Menjelaskan hal-hal yang berkaitan dengan logika Menjelaskan berbedaan antara persoalan logika dengan persoalan aljabar
RPKPS: Logika Informatika Hal: 1 dari 13
FM-UDINUS-BM-08-05/R0
Pertemuan ke :
Kompetensi Dasar
Indikator
Pokok Bahasan/ Materi
Aktifitas Pembelajaran
Rujukan
Sejarah Logika 7. 8.
Menjelaskan sejarah logika Menjelaskan perkembangan logika
Kalimat 9. Menjelaskan arti kalimat 10. Menjelaskan jenis-jenis kalimat beserta contohnya
Kalimat Pernyataan (proposisi) 11. Menjelaskan pernyataan 12. Menjelaskan 13. Menjelaskan 14. Menjelaskan
2
Setelah mempelajari materi ini mahasiswa diharapkan dapat mengetahui dan memahami tentang proposisi majemuk dan jenis-jenisnya, proposisi bersyarat, Tabel Kebenaran untuk masingmasing jenis proposisi majemuk, Tautologi dan Kontradiksi, Inferensi Logika dan Kalimat Berkuantor, Fungsi proposisi dengan lebih dari
Mahasiswa mampu: 1. memahami dan memberikan contoh proposisi majemuk beserta jenis-jenisnya 2. membuat Tabel Kebenaran untuk masisng-masing jenis proposisi majemuk
Logika Proposisi a. Konsep Proposisi b. Proposisi Majemuk b.1. Negasi b.2. Konjungsi b.3. Disjungsi b.4. Implikasi b.5. Bi Implikasi b.6. Tabel Kebenaran
kalimat yang disebut arti variabel arti konstanta arti proposisi atomik
Penutup 15. Memberi tugas kepada mahasiswa untuk dikerjakan di rumah. 16. Menginformasikan materi pertemuan selanjutnya. Pendahuluan 1. Menjelaskan kompetensi dasar pertemuan ke-2. 2. Mengingatkan kembali tentang konsep proposisi atau pernyataan
1,2
Penyajian
Proposisi Majemuk 3. 4. 5.
Menjelaskan arti proposisi Atomik dan Proposisi Majemuk Menjelaskan Kata hubung yang digunakan dalam Proposisi Majemuk Menjelaskan Jenis-Jenis Proposisi Majemuk, yang meliputi :
RPKPS: Logika Informatika Hal: 2 dari 13
FM-UDINUS-BM-08-05/R0
Pertemuan ke :
Kompetensi Dasar
Indikator
Pokok Bahasan/ Materi
Aktifitas Pembelajaran
satu variabel
6.
Rujukan
• Negasi • Disjungsi • Konjungsi • Implikasi • Bi Implikasi Memberikan contoh beberapa proposisi atom dijadikan proposisi majemuk
Tabel Kebenaran 7.
3
Setelah mempelajari materi ini mahasiswa diharapkan dapat mengetahui dan memahami tentang deduksi, logika entailment, rule of inference, standard axiom schemata dan propositional resolusi
Mahasiswa mampu: 1. memahami konvers, invers dan kontraposisi beserta Tabel Kebenaranya 2. memahami apa yang disebut Tautologi dan Kontradiksi serta dapat membuat Tabel Kebenaranya
Tautologi dan Kontradiksi a. Konvers b. Invers c. Kontraposisi
Menjelaskan bagaimana cara membentuk Tabel Kebenaran untuk Proposisi Majemuk: • Negasi • Disjungsi • Konjungsi • Implikasi • Bi Implikasi
Penutup 8. Memberi tugas kepada mahasiswa untuk dikerjakan di rumah. 9. Menginformasikan materi pertemuan selanjutnya. Pendahuluan 1. Mengingat kembali materi yang telah dibahas pada pertemuan 2 2. Menjelaskan kompetensi dasar pertemuan ke-3.
1,2,3,4
Penyajian
Tautologi dan Kontradiksi 3. 4. 5.
Menjelaskan yang dimaksud Konvers Menjelaskan yang dimaksud Invers Menjelaskan yang dimaksud Tautologi dan Kontradiksi
RPKPS: Logika Informatika Hal: 3 dari 13
FM-UDINUS-BM-08-05/R0
Pertemuan ke :
Kompetensi Dasar
Indikator
Pokok Bahasan/ Materi
Aktifitas Pembelajaran 6. 7. 8. 9.
4
Setelah mempelajari materi ini mahasiswa diharapkan dapat memahami dan membentuk proposisi dalam bentuk klausul, mengambil kesimpulan dalam bentuk klausul, menuliskan proposisi dalam bentuk relasional logic, dan memahami komponen dalam relasional logic
Mahasiswa mampu: 1. memahami inferensi logika serta dapat menarik kesimpulan 2. memahami tentang kalimat berkuantor 3. menentukan suatu fungsi yang mengandung lebih dari satu variabel
Metode-Metode Inferensi a. Modus Ponens b. Modus Tollens c. Silogisme Disjungtif d. Silogisme Hipotesis Kalimat Berkuantor e. Kuantor Umum f. Kuantor Khusus g. Negasi Berkuantor
Rujukan
Menjelaskan hubungan antara ketiganya dengan Tabel Kebenaran Menjelaskan yang dimaksud Tautologi dan Kontradiksi Memberikan Contoh Tautologi dalam Tabel Kebenaran Memberikan Contoh Kontradiksi dalam Tabel Kebenaran
Penutup 10. Memberi tugas kepada mahasiswa untuk dikerjakan di rumah. 11. Menginformasikan materi pertemuan selanjutnya. Pendahuluan 1. Membahas Tugas yang diberikan pada Pertemuan ke 3 2. Menjelaskan kompetensi dasar pertemuan ke-4. 3. Mengingat kembali materi yang telah dibahas pada pertemuan 3
1,2
Penyajian
Metode Inferensi 4. 5.
6.
Menjelaskan yang dimaksud Metode Inferensi Menjelaskan apa yang disebut premis, konklusi dan bagaimana cara mengambil kesimpulan Menjelaskan dan memberikan contoh metode • Modus Ponen • Modus Tolens
RPKPS: Logika Informatika Hal: 4 dari 13
FM-UDINUS-BM-08-05/R0
Pertemuan ke :
Kompetensi Dasar
Indikator
Pokok Bahasan/ Materi
Aktifitas Pembelajaran •
Rujukan
Silogisme
Kuantor 7. 8.
5
Setelah mempelajari materi ini mahasiswa diharapkan dapat mengetahui dan memahami tentang deduksi, logika entailment, rule of inference, standard axiom schemata dan propositional resolusi
Mahasiswa mampu: 1. memahami kompetensi dasar pembahasan mengenai deduksi 2. memahami bagaimana cara penarikan kesimpulan 3. memahami suatu pernyataan merupakan logika entailment atau tidak
Logika Entaiment a. Deduksi b. Logika Entaiment b.1. Penjelasan b.2. Metode Tabel Kebenaran
Menjelaskan apa yang disebut kalimat berkuantor dan memberikan contoh Menjelaskan perbedaan kuantor umum dan kuantor khusu dan memberikan contoh
Penutup 9. Memberi tugas kepada mahasiswa untuk dikerjakan di rumah. 10. Menginformasikan materi pertemuan selanjutnya. Pendahuluan 1. Menjelaskan kompetensi dasar pertemuan ke-5. 2. Membahas Tugas yang diberikan pada Pertemuan ke 4 3. Mengingat kembali materi yang telah dibahas pada pertemuan 4
1,2,3,4
Penyajian
Deduksi 4.
5.
6.
Menjelaskan yang dimaksud dengan Deduksi yang berkaitan dengan pengambilan kesimpulan Menjelaskan cara membuktikan beberapa premis dan konklusinya dengan Tabel Kebenaran Memberikan Contohnya
Logika Entailment 7. 8.
Menjelaskan yang dimaksud dengan logika entailment Menjelaskan cara menuliskan sekumpulan
RPKPS: Logika Informatika Hal: 5 dari 13
FM-UDINUS-BM-08-05/R0
Pertemuan ke :
Kompetensi Dasar
Indikator
Pokok Bahasan/ Materi
Aktifitas Pembelajaran
Rujukan
premis dan konklusinya merupakan logika entailment 9. Menjelaskan cara membuktikan sekumpulan premis atau pernyataan merupakan logika entailment atau bukan 10. Memberikan contoh dan penyelesaiannya
6
Setelah mempelajari materi ini mahasiswa diharapkan dapat mengetahui dan memahami tentang deduksi, logika entailment, rule of inference, standard axiom schemata dan propositional resolusi
Mahasiswa mampu: 1. memahami dan menggunakan rule of inference dalam penarikan kesimpulan 2. memahami dan menggunakan standar axiom schemata dalam melakukan pembuktian 3. memahami dan menggunakan prinsip resolusi
Rule of Inference a. Modus Ponen b. Modus Tolen c. Equivalence Elimination d. Double Negation e. Silogisme Disjungtif f. Silogisme Hipotesis Standar Axiom Schemata g. Rumus Dasar
Penutup 11. Memberi tugas kepada mahasiswa untuk dikerjakan di rumah. 12. Menginformasikan materi pertemuan selanjutnya. Pendahuluan 1. Menjelaskan kompetensi dasar pertemuan ke-6. 2. Membahas Tugas yang diberikan pada Pertemuan ke 5 3. Mengingat kembali materi yang telah dibahas pada pertemuan 5
1,2,3,4
Penyajian
Rule of Inference 4. 5.
Mengingatkan kembali tentang bermacammacam rule of inference Menjelaskan cara penarikan kesimpulan jika diketahui beberapa fakta yang tercantum dalam sebuah cerita
Standar Axiom Schemata 6. 7. 8.
Menjelaskan apa itu standar axiom schemata Memperkenalkan rumus standar axiom schemata Memberikan contoh penggunaanya
RPKPS: Logika Informatika Hal: 6 dari 13
FM-UDINUS-BM-08-05/R0
Pertemuan ke :
7
Kompetensi Dasar
Setelah mempelajari materi ini mahasiswa diharapkan dapat mengetahui dan memahami tentang bentuk-bentuk klausul, mempersiapkan diri
Indikator
Mahasiswa mampu memahami dan menggunakan prinsip resolusi
Pokok Bahasan/ Materi
Bentuk Klausul a. Definisi Bentuk Klausul b. Perubahan ke Bentuk Klausul
Aktifitas Pembelajaran Penutup 9. Memberi tugas kepada mahasiswa untuk dikerjakan di rumah. 10. Menginformasikan materi pertemuan selanjutnya. Pendahuluan 1. Menjelaskan kompetensi dasar pertemuan ke-7. 2. Membahas Tugas yang diberikan pada Pertemuan ke 6 3. Mengingat kembali materi yang telah dibahas pada pertemuan 6
Rujukan
1,2,3,4
Penyajian
Bentuk Klausul 4. 5.
6.
Menjelaskan apa yang dimaksud bentuk klausul Menjelaskan cara merubah suatu pernyataan ke dalam bentuk klausul dengan menggunakan rumus dasar standar axiom schemata Memberikan contoh dan cara penyelesaiannya
Penutup 7. Memberikan kisi-kisi untuk soal UTS 8. Responsi 8 9
Ujian Tengah Semester (UTS) Setelah mempelajari materi ini mahasiswa diharapkan dapat memahami langkahlangkah penyelesaian soal
Mahasiswa mampu memahami cara penyelesaian dan jawaban yang benar dari soal UTS
Review soal UTS
Pendahuluan 1. Membagikan hasil ujian tengah semester kepada mahasiswa
1,2,3
RPKPS: Logika Informatika Hal: 7 dari 13
FM-UDINUS-BM-08-05/R0
Pertemuan ke :
Kompetensi Dasar
Indikator
Pokok Bahasan/ Materi
UTS dan mampu mengerjakan sendiri
10
Setelah mempelajari materi ini mahasiswa diharapkan dapat memahami dan membentuk proposisi dalam bentuk klausul, mengambil kesimpulan dalam bentuk klausul, menuliskan proposisi dalam bentuk relasional logic, dan memahami komponen dalam relasional logic
Aktifitas Pembelajaran
Rujukan
Penyajian 2. Membahas Soal-Soal Ujian Tengah Semester 3. Memberitahukan materi yang akan disampaikan
Mahasiswa mampu: 1. memahami kompetensi dasar tentang proposisional Resolusi 2. memahami cara membentuk sebuah proposisi ke dalam bentuk klausul
Propositional Resolusi a. Prinsip Resolusi b. Bentuk Umum Prinsip Resolusi c. Inferensi dalam bentuk Klausul
Penutup 4. Memberi tugas kepada mahasiswa untuk dikerjakan di rumah. 5. Menginformasikan materi pertemuan selanjutnya. Pendahuluan 1. Menjelaskan kompetensi dasar pertemuan ke-10. 2. Membahas Tugas yang diberikan pada Pertemuan ke 9 3. Mengingat kembali materi yang telah dibahas pada pertemuan 9
1,2,3
Penyajian
Prinsip Resolusi 4. 5. 6. 7. 8.
Menjelaskan yang dimaksud dengan prinsip resolusi Menjelaskan apa itu bentuk klausul Menjelaskan cara membentuk sebuah premis ke dalam bentuk klausul Menjelaskan cara merubah ke dalam bentuk klausul Memberikan penjelasan tentang • Implication Out (I) • Negations In (N) • Distribution (D) • Operator Out (O)
RPKPS: Logika Informatika Hal: 8 dari 13
FM-UDINUS-BM-08-05/R0
Pertemuan ke :
Kompetensi Dasar
Indikator
Pokok Bahasan/ Materi
Aktifitas Pembelajaran 9.
Rujukan
Memberikan Contohnya
Inferensi dalam Bentuk Klausul 10. Menjelaskan Inferensi dalam bentuk klausa 11. Menjelaskan bagaimana cara membuktikan kesimpulan dalam bentuk klausa 12. Mesin inferensi • Modus Ponen • Modus Tollen • Silogisme 13. Memberikan contoh beserta penyelesaiannya
11
Setelah mempelajari materi ini mahasiswa diharapkan dapat memahami dan membentuk proposisi dalam bentuk klausul, mengambil kesimpulan dalam bentuk klausul, menuliskan proposisi dalam bentuk relasional logic, dan memahami komponen dalam relasional logic
Mahasiswa mampu: 1. memahami dan membuktikan sebuah pernyataan dalam bentuk klausul 2. memahami dan mengetahui komponenkomponen logika relasional
Logika Relasional a. Definisi b. Komponen Logika Relasional c. Kalimat Relasional d. Kuantor
Penutup 14. Memberi tugas kepada mahasiswa untuk dikerjakan di rumah. 15. Menginformasikan materi pertemuan selanjutnya. Pendahuluan 1. Menjelaskan kompetensi dasar pertemuan ke-11. 2. Membahas Tugas yang diberikan pada Pertemuan ke 10 3. Mengingat kembali materi yang telah dibahas pada pertemuan 10
1,2,3
Penyajian
Logika Relasional 4. 5.
Menjelaskan yang dimaksud dengan logika relasional Menjelaskan Komponen logika relasional • Kata • Konstanta • Arity
RPKPS: Logika Informatika Hal: 9 dari 13
FM-UDINUS-BM-08-05/R0
Pertemuan ke :
Kompetensi Dasar
Indikator
Pokok Bahasan/ Materi
Aktifitas Pembelajaran
6. 7. 8.
12
Setelah mempelajari materi ini mahasiswa diharapkan dapat memahami pengertian First Order Logic, predikat, terjemahan FOL, aturan iferensi FoL, tata bahasa pada FoL
Mahasiswa mampu: 1. memahami kompetensi dasar pembahasan First Order Logic 2. memahami dan menuliskan dalam sebuah predikat
First Order Logic a. Pendahuluan b. Terjemahan FOL
Rujukan
• Term Memberikan Contohnya Menjelaskan Kalimat relasional dan beserta contohnya Menjelaskan apa yang dimaksud dengan kalimat berkuantor
Penutup 9. Memberi tugas kepada mahasiswa untuk dikerjakan di rumah. 10. Menginformasikan materi pertemuan selanjutnya. Pendahuluan 1. Menjelaskan kompetensi dasar pertemuan ke-12. 2. Membahas Tugas yang diberikan pada Pertemuan ke 11 3. Mengingat kembali materi yang telah dibahas pada pertemuan 11
1,2,3
Penyajian
First Order Logic 4. 5. 6. 7.
Menjelaskan yang dimaksud dengan First Order Logic Menjelaskan apa itu predikat Menjelaskan cara menuliskan sebuah kalimat dalam bentuk predikat Memberikan contoh soal
Kalimat Berkuantor 8. 9.
Menjelaskan kalimat biasa menjadi kalimat berkuantor Memberi contoh
RPKPS: Logika Informatika Hal: 10 dari 13
FM-UDINUS-BM-08-05/R0
Pertemuan ke :
13
14
Kompetensi Dasar
Setelah mempelajari materi ini mahasiswa diharapkan dapat memahami pengertian First Order Logic, predikat, terjemahan FOL, aturan iferensi FoL, tata bahasa pada FoL
Setelah mempelajari materi ini mahasiswa diharapkan dapat memahami pengertian First Order Logic, predikat, terjemahan FOL, aturan iferensi FoL, tata bahasa pada FoL
Indikator
Mahasiswa mampu memahami dan menterjemahkan dalam bahasa FOL
Mahasiswa mampu dan dapat menggunakan inference pada FOL untuk menarik sebuah kesimpulan
Pokok Bahasan/ Materi
First Order Logic a. Aturan Inferensi pada Propositional Logic b. Modus Ponen c. And Elimination d. And Introduction e. Or Intoduction f. Double Negation Elimination
First Order Logic a. Aturan Inferensi pada FOL b. Tata Bahasa FOL c. Inferensi pd FOL
Aktifitas Pembelajaran Penutup 10. Memberi tugas kepada mahasiswa untuk dikerjakan di rumah. 11. Menginformasikan materi pertemuan selanjutnya. Pendahuluan 1. Menjelaskan kompetensi dasar pertemuan ke-13. 2. Membahas Tugas yang diberikan pada Pertemuan sebelumnya
Rujukan
1,2,3,6
Penyajian 3. Menjelaskan aturan Inferensi pada Proposional Logic 4. Menjelaskan Modus Ponen 5. Menjelaskan And Elimination 6. Menjelaskan And Introduction 7. Menjelaskan Or Introduction 8. Menjelaskan Double Negation Elimination 9. Memberikan Contohnya Penutup 10. Memberi tugas kepada mahasiswa untuk dikerjakan di rumah. 11. Menginformasikan materi pertemuan selanjutnya. Pendahuluan 1. Menjelaskan kompetensi dasar pertemuan ke-14. 2. Mengingat kembali materi yang telah dibahas pada pertemuan sebelumnya
1,2,3,6
RPKPS: Logika Informatika Hal: 11 dari 13
FM-UDINUS-BM-08-05/R0
Pertemuan ke :
Kompetensi Dasar
Indikator
Pokok Bahasan/ Materi
Aktifitas Pembelajaran
Rujukan
Penyajian 3. Menjelaskan tata bahasa dalam bentuk FOL 4. Memberikan Contohnya 5. Menjelaskan Inferensi pada FOL 6. Menjelaskan aturan inferensi tersebut
15
Setelah mempelajari materi ini mahasiswa diharapkan dapat mempersiapkan diri menjelang Ujian Akhir Semester
Mahasiswa mampu menjawab soal-soal responsi dengan baik dan benar
Responsi dan Review Materi
Penutup 7. Memberi tugas kepada mahasiswa untuk dikerjakan di rumah. 8. Menginformasikan materi pertemuan selanjutnya. Pendahuluan 1. Menjelaskan kompetensi dasar pertemuan ke-2. 2. Membahas Tugas yang diberikan pada Pertemuan ke 3
1,2,3,4
Penyajian 3. Responsi Penutup 4. Memberikan Kisi-Kisi soal Ujian Akhir Semester 5. Memberikan Responsi 16
Ujian Akhir Semester (UAS)
RPKPS: Logika Informatika Hal: 12 dari 13
FM-UDINUS-BM-08-05/R0
Level Taksonomi
: Kognitif Pengetahuan (knowledge) Pemahaman (comprehension) Penerapan (application) Analisis (analysis) Sintesis (synthesis) Evaluasi (evaluation)
Komposisi Penilaian
15 % 15 % 30 % 10 %
Psikomotor Peniruan (immitation) Manipulasi (manipulation) Ketepatan (precision) Artikulasi (articulation) Pengalamiahan (naturalization)
10 %
10 %
Afektif Menerima (receiving) Menanggapi (responding) Menilai (valuing) Mengelola (organizing) Menghayati (characterizing)
5% 5%
:
Aspek Penilaian Ujian Akhir Semester Ujian Tengah Semester Tugas Mandiri Kuis Kehadiranan Mahasiswa Sikap Total
Prosentase 30 % 20 % 30 % 10 % 5% 5% 100 %
Daftar Referensi 1. Mike Genesereth, Eric Kao, Introduction to Logic, Morgan & Claypool Publisher 2012 2. Mordechai Ben-Ari, Mathematical Logic for Computer Science, Springer-Verlag, London 2012 3. Melvin Fitting, First Order Logic and Automated Theorem Proving, Springer-Verlag London 199 4. Setiadi Rachmat, Pengantar Logika Matematika, Informatika, Bandung 2004 5. D Suryadi HS, Aljabar Logika dan Himpunan, Gunadarma, Jakarta 1991 6. Suyanto, ST., MSc, Artificial Intelligence, Informatika, Bandung, 2007 Disusun oleh :
Diperiksa oleh :
Disahkan oleh :
Dosen Pengampu
Penanggungjawab Keilmuan
Program Studi
Dekan
Purwanto, Ph.D
Bowo Nurhadiyono, S.Si., M.Kom
Heru Agus Santoso , Ph. D
DR. Drs. Abdul Syukur, MM
RPKPS: Logika Informatika Hal: 13 dari 13
