Logika Matematika

UNIVERSITAS ISLAM INDONESIA

FM-UII-AA-FKA-05/R1

Versi Revisi

:1 :0

Tanggal Revisi Tanggal Berlaku

: :

SATUAN ACARA PERKULIAHAN
Fakultas / Jurusan / Program Studi : Kode Matakuliah : Nama Matakuliah : Kelompok Matakuliah : Semester / SKS : Teknologi Industri / Teknik Informatika / Teknik Informatika [kosongkan] Logika Matematika MPK/MKK/MKB/MPB/MBB/Praktikum Genap dan Ganjil / 3

Perte muan ke-

Tujuan Instruksional Umum Memahami sejarah, arti dan kepentingan logika

Tujuan Instruksional Khusus Mempelajari sejarah dan penggunaan dan sistem logika dalam kehidupan Mempelajari operator Boolean, formula proposisi, interpretasi Mempelajari susbtitusi dan ekuivalensi, logika, satisfiablity, konsekuen Mempelajari bukti deduksi, SistemG ,Sistem H dan varian dari sistem deduksi

Pokok Bahasan Pendahuluan

Materi Sejarah, arti dan manfaat logika, kalkulus proposisi dan predikat, sistem logika Operator Boolean, formula proposisi, Interpretasi, Substitusi dan ekuivalensi logika, satisfiability, validity dan consequent Pembuktian deduktif, Sistem Gentzen (G), Sistem Hilbert (H),

Media White board,

Metode tatap muka, tanya jawab

Evaluasi Latihan / PR

Sumber / Referensi* A,B,C

1.

2.

Memahami konsep dasar kalkulus proposisi Memahami konsep dasar kalkulus proposisi

Kalkulus Proposisi : Formula dan model

White board

tatap muka, tanya jawab

Latihan / PR

A,B.C

Kalkulus Proposisi : Formula dan model

White board

tatap muka, tanya jawab

Latihan / PR

A,B,C

3.

4.

Memahami konsep dasar kalkulus proposisi

Deduksi pada Kalkulus Proposisi

White board

tatap muka, tanya jawab

Latihan / PR

A,B,C

1

kardinalitas Relasi dan formula predikat. Implementasi. ordered sets. sistem H. Resolusi pada kalkulus predikat White board tatap muka. dan resolusi umum Mempelajari Kalkulus Proposisi : Resolusi dan BDD Himpunan 6.C 10. Binary Decision Diagram.B. Memahami konsep dasar kalkulus proposisi Memahami konsep dasar himpunan Mempelajari resolesi. tanya jawab Latihan / PR A. fungsi dan kardinalitas Mempelajari relasi dan formula predikat. unifikasi.B. tanya jawab Latihan / PR Latihan / PR A. bentuk clausal. teorema herbrand Mempelajari resolusi ground. Decideability Sistem G . tanya jawab Latihan / PR A. varian dari sistem deduksi Resolusi.C 7.B. Kompleksitas Himpunan finite dan infinite. Resolusi pada kalkulus predikat Semantik dan White tatap muka. logika equivalen.C White board tatap muka. logika equivalen dan subtitusi. Latihan / A. bentuk clausal. unifikasi. ordered sets Mempelajari relasi. soundness dan completeness dari H. tanya jawab tatap muka. model finite dan infinite. operator himpunan.B. Memahami konsep dasar himpunan Memahami konsep dasar kalkulus predikat Himpunan White board White board tatap muka.B.UNIVERSITAS ISLAM INDONESIA FM-UII-AA-FKA-05/R1 5. 9. Teori Complete dan Decidable Fungsi dan istilah.BDD. tanya jawab Latihan / PR A.C 2 . operator himpunan. substitusi. model finite dan infinite Mempelajari deduksi pada kalkulus predikat.B. substitusi.C Formula dan Model Kalkulus Predikat A. tanya jawab Latihan / PR A. teorema dan model herbrand Resolusi ground. Memahami konsep dasar kalkulus predikat Memahami konsep dasar kalkulus predikat Memahami konsep dasar kalkulus predikat Memahami konsep Deduksi pada Kalkulus Predikat White board tatap muka.C 11 12. kompleksitas Mempelajari himpunan finite dan infinite.C 8.B. substitusi. sistem G dan sistem H Mempelajari fungsi dan term. Relasi dan fungsi. dan resolusi umum Semantik bahasa White board tatap muka. Algoritma BDD.

verifikasi dan sintesis program Aturan dan batasan pemrograman logika.B. B. (2000).B.Si. Waldinger. LCD Viewer tatap muka. M. LCD Viewer White board. contoh pada prolog Mempelajari studi kasus pada pemrograman logika verifikasi program Pemrograman Logika Pemrograman Logika pemrograman.. Oxford University Press. Memahami paradigma pemrograman logika Memahami paradigma pemrograman logika 14.C * Sumber/Referensi A. C.(1993). Deductive Foundation Of Computer Programming. Yudi Prayudi. (2006). Daniel Lascar and Donald Pelletier. M.. Jakarta:Gunadarma Disahkan oleh Dekan Fakultas Teknologi Industri Disiapkan oleh Ketua Jurusan Teknik Informatika Fathul Wahid. sistem deduksi HL. tanya jawab. Newyork. (1989). demo Latihan / PR A. Addison Wesley. demo tatap muka.C Latihan A. Mathematical Logic for Computer Science. Cori.UNIVERSITAS ISLAM INDONESIA FM-UII-AA-FKA-05/R1 dasar semantic dan verifikasi program 13. Mordechai . Zohar & R. Manna. Springer. Ben Ari. verifikasi. Studi kasus 2 : semantic tableux board tanya jawab PR White board. semantic program. 1993 D. D. ST. Mathematical Logic: a Course With Exercise. Rene. sistem deduksi. contoh pada prolog Studi kasus 1 : A traffic signal. Suryadi. tanya jawab. sintesa program Mempelajari aliran dan batasan pemrograman logika.Aljabar Logika dan Himpunan. notasi Z. S. Kom.Sc. 3 .

Sign up to vote on this title
UsefulNot useful