Anda di halaman 1dari 7

Fakultas

Ilmu Komputer
UMI - Medan

GARIS-GARIS BESAR POKOK PENGAJARAN (GBPP)

MATA KULIAH

: LOGIKA MATEMATIKA

KODE MATA KULIAH / SKS

: 08523643/2

DESKRIPSI SINGKAT

Prasyarat

Hakikat manusia dan berpikir, logika saintifika, kondisi, prinsip, dan syarat berpikir, bahasa, pikiran dan
komunikasi, argumen dan bahasa, bentuk argumen, proposisi, argumen deduktif, validitas silogisme, argumen
induktif, argumen kausal, dan kesalahan berpikir.
: Tidak Ada

Fakultas
Ilmu Komputer
UMI - Medan

Mata Kuliah
Program Studi
Jenjang Program

SILABUS

: LOGIKA MATEMATIKA
: Sistem Informasi
: Strata 1 (S1)

Tujuan Instruksional Umum : Setelah menyelesaikan mata kuliah Logika Matematika mahasiswa dapat menganalisa jalan pemikiran yang sahih dan
kesalahan-kesalahan berpikir
Pokok Bahasan
:
1. Pengantar dan Konsep Dasar
2. Pengenalan Logika Matematika dan Pengantar Logika Proposisional
3. Tabel kebenaran dan Proposisi Majemuk
4. Tautologi dan Ekuivalen Logis
5. Penyederhanaan dan Strategi Pembalikan
6. Table Semantik
7. Bentuk Normal
8. Resolusi
9. Deduksi Alami
10. Kalkulus Deret
11. Pengantar Logika Predikat
12. Kuantor-Kuantor
13. Penafsiran dan Validitas
14. Derivasi
Bahan Bacaan

: 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

Fakultas
Ilmu
Komputer
UMI Medan

No

SATUAN ACARA PERKULIAHAN (SAP)


Hal.

Pokok
Bahasan

Tujuan
Instruksional
Umum

Tujuan
Instruksional
Khusus

Pengantar
dan Konsep
dasar

Mahasiswa dapat
memahami
pengantar dan
konsep dsar logika
matematika

Mahasiswa
dapat
menuraikan,
menjelaskan
konsep dasar
logika
matematika

Pengenalan
Logika
Matematika
dan
Pengantar
Logika
Proposisional

Minggu
ke

Tabel
Kebenaran
dan Proposisi
Majemuk

Mahasiswa dapat
memahami contoh
logika dalam logika
matematika

Mahasiswa dapat
memahami Tabel
Kebenaran dan
proposisi majemuk

Mahasiswa
dapat
menjelaskan
relasi antara
logika didalam
logika
matematika
Mahasiswa
dapat
menejelaskan
serta
menguraikan
tabel-tabel
kebenaran dan
proposisi
majemuk

: 1 dari 4

Kegiatan Instruksional
Materi

1.

2.

1.
2.
3.
4.
5.

1.
2.
3.
4.
5.

Ruang lingkup perkuliahan


Himpunan

Tabel Kebenaran
Perangkai Logika atau
Operator
Ekspresi Logika
Skema
Aturan Pengurutan

Tabel Kebenaran
Perangkai Logika atau
Operator
Ekspresi Logika
Skema
Aturan Pengurutan

Media

Evalu
asi

Su
mb
er

Dosen

Mahasiswa

Menjelaska
n

Memperhatika
n, Mencatat

Proyekt
or,
Papan
Tulis

Tanya
Jawab,
Diskus
i

1,2

Memperhatika
n, Mencatat

Proyekt
or,
Papan
Tulis

Tanya
Jawab,
Diskus
i,
Latiha
n

1,2

Memperhatika
n, Mencatat

Proyekt
or,
Papan
Tulis

Tanya
Jawab,
Diskus
i,
Latiha
n

1,2

Menjelaska
n

Menjelaska
n

Fakultas
Ilmu
Komputer
UMI - Medan

SATUAN ACARA PERKULIAHAN (SAP)


Hal.

Tautologi dan
Ekuivalen
Logis

Mahasiswa dapat
memahami
tautologi dan
ekuivalen logis

Mahasiswa
dapat
menguraikan
serta
menjelaskan
tatologi dan
ekuivalen logis

Penyederhana
an dan
Strategi
Pembalikan

Mahasiswa dapat
memahami
pembuatan
penyederhanaan
dan strategi
pembalikan

Mahasiswa
dapat
membuat
dengan tepat
penyederhana
an dalam
logika
matematika

Mahasiswa dapat
memahami tablo
semantik

Mahasiswa
dapat
menguraikan
tablo semantik
dan aturanaturan pada
tablo semantik

Tablo
Semantik

1.

: 2 dari 4

2.
3.
4.

Mengevaluasi Validitas
Argumen
Tautologi
Ekuivalen Logis
Hukum-hukum Logika

Menjelaska
n

Memperhatika
n, Mencatat

Proyek
tor,
Papan
Tulis

Tanya
Jawab,
Diskusi,
Latihan

1,2

1.
2.
3.
4.

Operasi Penyederhanaan
Perangkai Dasar
Konsistensi
Operasi Strategi Pembalikan

Menjelaska
n

Memperhatika
n, Mencatat

Proyek
tor,
Papan
Tulis

Tanya
Jawab,
Diskusi,
Latihan

1,2

1.
2.

Tablo Semantik
Pembenaran Aturan Tablo
Semantik
Tablo Semantik pada
Argumen

3.

Fakultas
Ilmu
Komputer
UMI - Medan

Bentuk
Normal

Resolusi

10

10

Deduksi
Alami

SATUAN ACARA PERKULIAHAN (SAP)


Hal.

Mahasiswa
dapat
memguraikan
dan
membahas
dan
mendiskusikan
bentuk normal

1.
2.
3.

Mahasiswa dapat
memahami
konsep-konsep
resolusi

Mahasiswa
dapat
menguraikan
arti resolusi

1.
2.
3.
4.

Mahasiswa dapat
mamahami
deduksi alamai

Mahasiswa
dapat
memahami
dan
menguraikan
aturan-aturan
dan
menerangkan
pembuktian
dari suatu

1.
2.

Mahasiswa dapat
mendiskusikan
bentuk normal

3.
4.

Bentuk Normal
Klausa
Bentuk Normal Konjungtif
dan Complementation

UTS
Resolving Argumen
Himpunan Klausa
Resolvent
Resolusi
Falsum
Aturan-aturan Deduksi
Alami
Pembuktian Teorema
Sistem Derivasi

: 3 dari 4

Menjelaska
n

Memperhatika
n, Mencatat

Proyek
tor,
Papan
Tulis

Tanya
Jawab,
Diskusi,
Latihan

1,2

Menjelaska
n

Memperhatika
n, Mencatat

Proyek
tor,
Papan
Tulis

Tanya
Jawab,
Diskusi,
Latihan

1,2

Menjelaska
n

Memperhatika
, Mencatat

Proyek
tor,
Papan
Tulis

Tanya
Jawab,
Diskusi,
Latihan

1,2

teorema

11

11

Kalkulus
Deret

Fakultas
Ilmu
Komputer
UMI - Medan

12

13

12

13

Pengantar
Logika
Predikat

KuantorKuantor

Mahasiswa dapat
memahami konsep
kalkulus deret

Mahasiswa
dapat
Menguraikan
aturan
kalkulus deret

1.
2.
3.

Skemata Deret
Aturan Kalkulus Deret
Pembuktian Menggunakan
Kalkulus Deret

Menjelaska
n

Memperhatika
, Mencatat

Proyek
tor,
Papan
Tulis

Tanya
Jawab,
Diskusi,
Latihan

1,2

Proyekt
or,
Papan
Tulis

Tanya
Jawab,
Diskusi,
Latihan

1,2

Proyekt
or,
Papan
Tulis

Tanya
Jawab,
Diskusi,
Latihan

SATUAN ACARA PERKULIAHAN (SAP)


Hal.

Mahasiswa dapat
memahami
kpengantar logika
predikat

Mahasiswa dapat
memahami
kuantor-kuantor
logika matematika

Mahasiswa
dapat
menguraikan
argumenargumen serta
komponen
hingga
variabel logika
predikat
Mahasiswa
dapat
memahami
dan
menguraikan
jenis-jenis
kuantor serta
mengetahui

1.

3.
4.

Argumen pada Logika


Predikat
Komponen-komponen
Sintaktik
Funsi Proposional
Variabel dan Instansiasi

1.
2.
3.
4.

Kuantor Universal
Kuantor Eksistensial
Hubungan Antarkuantor
Batasan Kuantor

2.

Menjelaska
n

Memperhatik
a, Mencatat

Menjelaska
n

Memperhatik
a, Mencatat

: 4 dari 4

1,2

hubungan
antar kuantor

14

14

15

15

16

16

Penafsiran
dan Validitas

Derivasi

Mahasiswa dapat
memahami
penafsiran dan
validitas

Mahasiswa
dapat
Menguraikan
hasil
penafsiran dan
validitas

1.
2.
3.

Penafsiran
Validitas Argumen
Ekspresi-ekspresi Tidak Valid

Menjelaska
n

Memperhatik
a, Mencatat

Proyekt
or,
Papan
Tulis

Tanya
Jawab,
Diskusi,
Latihan

1,2

Mahasiswa dapat
memahami
derivasi

Mahasiswa
dapat
menguraikan
serta
mengetahui
derivasi

1.
2.
3.
4.

Instansiasi universal
Generalisasi universal
Generalisasi Eksistensial
Unifikasi

Menjelaska
n

Memperhatik
a, Mencatat

Proyekt
or,
Papan
Tulis

Tanya
Jawab,
Diskusi,
Latihan

1,2

UAS

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