satuan acara perkuliahan

FM-UII-AA-FKA-05/R1
UNIVERSITAS ISLAM INDONESIA
Versi
:1
Tanggal Revisi
:
Revisi
:0
Tanggal Berlaku
:
SATUAN ACARA PERKULIAHAN
Fakultas / Jurusan / Program Studi :
Kode Matakuliah
:
Nama Matakuliah
:
Kelompok Matakuliah
:
Semester / SKS
:
Perte
muan
ke-
1.
2.
3.
4.
Teknologi Industri / Teknik Informatika / Teknik Informatika
[kosongkan]
Logika Matematika
MPK/MKK/MKB/MPB/MBB/Praktikum
Genap dan Ganjil / 3
Tujuan Instruksional
Umum
Tujuan Instruksional
Khusus
Memahami sejarah,
arti dan kepentingan
logika
Mempelajari sejarah
dan penggunaan dan
sistem logika dalam
kehidupan
Pendahuluan
Memahami konsep
dasar kalkulus
proposisi
Mempelajari
operator Boolean,
formula proposisi,
interpretasi
Mempelajari
susbtitusi dan
ekuivalensi, logika,
satisfiablity,
konsekuen
Mempelajari bukti
deduksi, SistemG
,Sistem H dan varian
dari sistem deduksi
Kalkulus Proposisi :
Formula dan model
Memahami konsep
dasar kalkulus
proposisi
Memahami konsep
dasar kalkulus
proposisi
Pokok Bahasan
Kalkulus Proposisi :
Formula dan model
Deduksi pada
Kalkulus Proposisi
Materi
Media
Metode
Evaluasi
Sumber /
Referensi*
Sejarah, arti dan
manfaat logika,
kalkulus proposisi
dan predikat, sistem
logika
Operator Boolean,
formula proposisi,
Interpretasi,
White
board,
tatap muka,
tanya jawab
Latihan /
PR
A,B,C
White
board
tatap muka,
tanya jawab
Latihan /
PR
A,B.C
Substitusi dan
ekuivalensi logika,
satisfiability,
validity dan
consequent
Pembuktian
deduktif, Sistem
Gentzen (G), Sistem
Hilbert (H),
White
board
tatap muka,
tanya jawab
Latihan /
PR
A,B,C
White
board
tatap muka,
tanya jawab
Latihan /
PR
A,B,C
1
FM-UII-AA-FKA-05/R1
UNIVERSITAS ISLAM INDONESIA
5.
Memahami konsep
dasar kalkulus
proposisi
Mempelajari
resolesi,BDD,
kompleksitas
Kalkulus Proposisi :
Resolusi dan BDD
Memahami konsep
dasar himpunan
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
Himpunan
6.
7.
8.
9.
10.
11
12.
Memahami konsep
dasar himpunan
Memahami konsep
dasar kalkulus
predikat
Memahami konsep
dasar kalkulus
predikat
Memahami konsep
dasar kalkulus
predikat
Memahami konsep
dasar kalkulus
predikat
Memahami konsep
soundness dan
completeness dari
H, varian dari
sistem deduksi
Resolusi, Binary
Decision Diagram,
Algoritma BDD,
Kompleksitas
Himpunan finite
dan infinite,
operator himpunan,
ordered sets,
White
board
tatap muka,
tanya jawab
Latihan /
PR
A,B,C
White
board
tatap muka,
tanya jawab
Latihan /
PR
A,B,C
Himpunan
Relasi dan fungsi,
kardinalitas
White
board
tatap muka,
tanya jawab
Latihan /
PR
A,B,C
Formula dan Model
Kalkulus Predikat
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
White
board
tatap muka,
tanya jawab
Latihan /
PR
A,B,C
White
board
tatap muka,
tanya jawab
Latihan /
PR
A,B,C
White
board
tatap muka,
tanya jawab
Latihan /
PR
A,B,C
Semantik bahasa
White
tatap muka,
Latihan /
A,B,C
Deduksi pada
Kalkulus Predikat
Resolusi pada kalkulus
predikat
Resolusi pada kalkulus
predikat
Semantik dan
2
FM-UII-AA-FKA-05/R1
UNIVERSITAS ISLAM INDONESIA
dasar semantic dan
verifikasi program
13.
14.
Memahami
paradigma
pemrograman logika
Memahami
paradigma
pemrograman logika
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
Latihan /
PR
A,B,C
tatap muka,
tanya jawab,
demo
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.
3