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

UNIVERSITAS ISLAM INDONESIA

FM-UII-AA-FKA-05/R1

5.

Memahami konsep dasar kalkulus proposisi Memahami konsep dasar himpunan

Mempelajari resolesi,BDD, kompleksitas Mempelajari himpunan finite dan infinite, operator himpunan, ordered sets Mempelajari relasi, fungsi dan kardinalitas Mempelajari relasi dan formula predikat, logika equivalen, substitusi, model finite dan infinite Mempelajari deduksi pada kalkulus predikat, sistem G dan sistem H Mempelajari fungsi dan term, bentuk clausal, teorema herbrand Mempelajari resolusi ground, substitusi, unifikasi, dan resolusi umum Mempelajari

Kalkulus Proposisi : Resolusi dan BDD

Himpunan

6.

soundness dan completeness dari H, varian dari sistem deduksi Resolusi, Binary Decision Diagram, Algoritma BDD, Kompleksitas Himpunan finite dan infinite, operator himpunan, ordered sets, Relasi dan fungsi, kardinalitas Relasi dan formula predikat, logika equivalen dan subtitusi, model finite dan infinite, Decideability Sistem G , sistem H, Implementasi, Teori Complete dan Decidable Fungsi dan istilah, bentuk clausal, teorema dan model herbrand Resolusi ground, substitusi, unifikasi, dan resolusi umum Semantik bahasa

White board

tatap muka, tanya jawab

Latihan / PR

A,B,C

White board

tatap muka, tanya jawab

Latihan / PR

A,B,C

7.

Memahami konsep dasar himpunan Memahami konsep dasar kalkulus predikat

Himpunan

White board White board

tatap muka, tanya jawab tatap muka, tanya jawab

Latihan / PR Latihan / PR

A,B,C

Formula dan Model Kalkulus Predikat

A,B,C

8.

9.

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, tanya jawab

Latihan / PR

A,B,C

10.

Resolusi pada kalkulus predikat

White board

tatap muka, tanya jawab

Latihan / PR

A,B,C

11 12.

Resolusi pada kalkulus predikat

Semantik dan

White

tatap muka,

Latihan /

A,B,C

UNIVERSITAS ISLAM INDONESIA

FM-UII-AA-FKA-05/R1

dasar semantic dan verifikasi program

13.

Memahami paradigma pemrograman logika Memahami paradigma pemrograman logika

14.

semantic program, sistem deduksi, verifikasi, sintesa program Mempelajari aliran dan batasan pemrograman logika, contoh pada prolog Mempelajari studi kasus pada pemrograman logika

verifikasi program

Pemrograman Logika

Pemrograman Logika

pemrograman, sistem deduksi HL, verifikasi dan sintesis program Aturan dan batasan pemrograman logika, contoh pada prolog Studi kasus 1 : A traffic signal, notasi Z, Studi kasus 2 : semantic tableux

board

tanya jawab

PR

White board, LCD Viewer White board, LCD Viewer

tatap muka, tanya jawab, demo tatap muka, tanya jawab, demo

Latihan / PR

A,B,C

Latihan

A,B,C

* Sumber/Referensi A. Ben Ari, Mordechai . (2006). Mathematical Logic for Computer Science, Springer, Newyork. B. Cori, Rene, Daniel Lascar and Donald Pelletier. (2000). Mathematical Logic: a Course With Exercise, Oxford University Press. C. Manna, Zohar & R. Waldinger.(1993). Deductive Foundation Of Computer Programming, Addison Wesley, 1993 D. Suryadi, D. (1989).Aljabar Logika dan Himpunan. Jakarta:Gunadarma

Disahkan oleh Dekan Fakultas Teknologi Industri

Disiapkan oleh Ketua Jurusan Teknik Informatika

Fathul Wahid, ST., M.Sc.

Yudi Prayudi, S.Si., M. Kom.