SATUAN ACARA PERKULIAHAN STMIK-AMIK JAYANUSA

MATAKULIAH FAKULTAS PROGRAM STUDI / JENJANG DOSEN Minggu ke1 2

: LOGIKA MATEMATIKA : : : DR. AHMAD SYAFRUDDIN Materi - Ruang lingkup perkuliahan - Himpunan - Argumen - Logika Klasik dan Logika Modern - Logika Banyak Nilai - Proposisi-proposisi - Pemberian Nilai - Tabel Kebenaran - Perangkai Logika atau Operator - Ekspresi Logika - Skema - Aturan Pengurutan - Mengevaluasi Validitas Argumen - Tautologi - Ekuivalen Logis - Hukum-hukum Logika - Operasi Penyederhanaan - Perangkai Dasar - Konsistensi - Operasi Strategi Pembalikan - Tablo Semantik - Pembenaran Aturan Tablo Semantik - Tablo Semantik pada Argumen - Bentuk Normal - Klausa - Bentuk Normal Konjungtif dan Complementation - Resolving Argumen - Himpunan Klausa - Resolvent - Resolusi - Falsum

Pokok Bahasan Pengantar dan Konsep Dasar Pengenalan Logika Matematika dan Pengantar Logika Proposisional

Tabel Kebenaran dan Proposisi Majemuk

Tautologi dan Ekuivalen Logis

Penyederhanaan dan Strategi Pembalikan

Tablo Semantik

Bentuk Normal

8 9

UTS Resolusi

10

Deduksi Alami

11

Kalkulus Deret

12

Pengantar Logika Predikat

13

Kuantor-Kuantor

14

Penafsiran dan Validitas

15

Derivasi

16

UAS

- Aturan-aturan Deduksi Alami - Pembuktian Teorema - Sistem Derivasi - Skemata Deret - Aturan Kalkulus Deret - Pembuktian Menggunakan Kalkulus Deret - Argumen pada Logika Predikat - Komponen-komponen Sintaktik - Funsi Proposional - Variabel dan Instansiasi - Kuantor Universal - Kuantor Eksistensial - Hubungan Antarkuantor - Batasan Kuantor - Penafsiran - Validitas Argumen - Ekspresi-ekspresi Tidak Valid - Instansiasi universal - Generalisasi universal - Generalisasi Eksistensial - Unifikasi -

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 Komponen Evaluasi Hasil Belajar 1. Ujian Tengah Semester : 35% 2. Ujian Akhir Semester : 40% 3. Tugas : 20% 4. Absensi : 5% 5. Keaktifan : Bonus Rentang Nilai A B C D E

: NA 78 : 63 NA < 78 : 53 NA < 63 : 40 NA < 53 : NA < 40