SATUAN ACARA PERKULIAHAN

STMIK DHARMA NEGARA BANDUNG

MATAKULIAH : LOGIKA MATEMATIKA

PROGRAM STUDI / JENJANG : TEKNIK INFORMATIKA / S1

Minggu ke- Pokok Bahasan Materi

1 Pengantar dan Konsep Dasar - Ruang lingkup perkuliahan
- Himpunan
2 Pengenalan Logika Matematika dan - Argumen
Pengantar Logika Proposisional - Logika Klasik dan Logika Modern
- Logika Banyak Nilai
- Proposisi-proposisi
- Pemberian Nilai
3 Tabel Kebenaran dan Proposisi - Tabel Kebenaran
Majemuk - Perangkai Logika atau Operator
- Ekspresi Logika
- Skema
- Aturan Pengurutan
4 Tautologi dan Ekuivalen Logis - Mengevaluasi Validitas Argumen
- Tautologi
- Ekuivalen Logis
- Hukum-hukum Logika
5 Penyederhanaan dan Strategi - Operasi Penyederhanaan
Pembalikan - Perangkai Dasar
- Konsistensi
- Operasi Strategi Pembalikan
6 Tablo Semantik - Tablo Semantik
- Pembenaran Aturan Tablo Semantik
- Tablo Semantik pada Argumen
7 Bentuk Normal - Bentuk Normal
- Klausa
- Bentuk Normal Konjungtif dan
Complementation
8 UTS
9 Resolusi - Resolving Argumen
- Himpunan Klausa
- Resolvent
- Resolusi
10 Deduksi Alami - Falsum
- Aturan-aturan Deduksi Alami
- Pembuktian Teorema
- Sistem Derivasi
 11 Kalkulus Deret - Skemata Deret
- Aturan Kalkulus Deret
- Pembuktian Menggunakan Kalkulus
Deret
12 Pengantar Logika Predikat - Argumen pada Logika Predikat
- Komponen-komponen Sintaktik
- Funsi Proposional
- Variabel dan Instansiasi
13 Kuantor-Kuantor - Kuantor Universal
- Kuantor Eksistensial
- Hubungan Antarkuantor
- Batasan Kuantor
14 Penafsiran dan Validitas - Penafsiran
- Validitas Argumen
- Ekspresi-ekspresi Tidak Valid
15 Derivasi - Instansiasi universal
- Generalisasi universal
- Generalisasi Eksistensial
- Unifikasi
16 UAS -

Referensi:
1. Soesianto, F. Dan Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit
Andi, Yogyakarta 2006
2. Rachmat, Setiadi, Pengantar Logika Matematika, Penerbit Informatika, Bandung, 2004