P. 1
Logika Matematika

Logika Matematika

|Views: 126|Likes:
Dipublikasikan oleh Andang Trisandi

More info:

Published by: Andang Trisandi on May 15, 2013
Hak Cipta:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

12/04/2013

pdf

text

original

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

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

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

You're Reading a Free Preview

Mengunduh
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->