logika matematika

GARISGARIS-GARIS BESAR PROGRAM PENGAJARAN (GBPP)
Mata Kuliah
:
Bobot Mata
Kuliah
:
Deskripsi Mata
Kuliah
:
Pertemuan
Logika Matematika
3 Sks
Teori Himpunan; Relasi; Fungsi; Matematika Logika; Aljabar Boole.
Sub Pokok Bahasan dan
Pokok Bahasan / Tujuan
/ Minggu
Instruksional Umum (TIU)
Pengenalan Logika Matematika
Sasaran Belajar / Tujuan
Instruksional Khusus (TIK)
Membahas
pengertian
dasar
logika matematika
1
-
Mahasiswa
Tehnik
Pembelajaran
Media
Pembelajara
Evaluasi
n
Referens
i
Ceramah dan
Diskusi
Papan tulis
dan LCD
Proyektor
Quiz
1
Ceramah dan
Diskusi
Papan tulis
dan LCD
Proyektor
Quiz
1
mengetahui
pengertian logika matematika
-
Argumen dan Proposisi
-
Tanel Kebenaran
-
dan proposisi
-
2&3
Membahas definisi argument
Membahas
definisi
kebenaran
dalam
tabel
logika
matematika
1.
Mahasiswa
mengetahui
argument
definisi
dan
proposisi
1
2.
Mahasiswa
mengetahui
mampu
dan
menjelaskan
tabel kebenaran dalam
logika matematika
Konjugsi
Membahas Konsep konjungsi dan
contohnya
Ceramah dan
Diskusi
Papan tulis
dan LCD
Proyektor
Quiz
1
Ceramah dan
Diskusi
Papan tulis
dan LCD
Proyektor
Quiz
1
Ceramah dan
Diskusi
Papan tulis
dan LCD
Proyektor
Quiz
1
Ceramah dan
Diskusi
Papan tulis
dan LCD
Proyektor
Quiz
1
4
Mahasiswa mengetahui konsep
konjungsi
Disjungsi
Membahas konsep disjungsi dan
contohnya
5
Mahasiswa mengetahui dan dapat
menjelaskan konsep disjungsi
Negasi
Membahas konsep negasi dan
contohnya
6
Mahasiswa
dapat
menjelaskan
mengenai konsep dan pengertian
dasar inferensi
-
Implikasi
-
Ekuivalensi
-
Mahasiswa
menjelaskan
7
dapat
mengenai
konsep implikasi
-
Mahasiswa
mampu
menjelaskan
konsep
2
ekuivalensi
8
UJIAN TENGAH SEMESTER
Proporsi Majemuk
Membahas
definisi
proporsi
majemuk dan contohnya
9
Ceramah dan
Diskusi
Papan tulis
dan LCD
Proyektor
Quiz
1
Ceramah dan
Diskusi
Papan tulis
dan LCD
Proyektor
Quiz
1
Mahasiswa mampu menjelaskan
definisi proporsi majemuk
-
Tautologi
-
Contingent
-
Membahas konsep tautologi
dan contohnya
-
Membahas konsep contingent
dan contohnya
10 & 11
1.
Mahasiswa
mampu
menjelaskan
konsep
tautologi
2.
Mahasiswa
mampu
menjelaskan
konsep
contingent
3
-
Ekuivalensi Logis
-
Komutatif
-
Membahas
konsep
ekuivalensi
12 & 13
logis
dan
Ceramah dan
Diskusi
Papan tulis
dan LCD
Proyektor
Quiz
1
Ceramah dan
Diskusi
Papan tulis
dan LCD
Proyektor
Quiz
1
Ceramah dan
Diskusi
Papan tulis
dan LCD
Proyektor
Quiz
1
contohnya
-
Membahas
konsep
komunitatif dan contohnya
-
Asosiatif
-
Penyederhanaan
-
Membahas konsep asosiatif
dan contohnya
-
Membahas
konsep
penyederhanaan
dan
contohnya
14
Mahasiswa
mampu
menjelaskan
konsep
asosiatif
Mahasiswa
menjelaskan
mapu
konsep
penyederhanaan
-
15
16
1.
Strategi Pembalikan
-
Membahas konsep strategi
pembalikan dan contohnya
UJIAN AKHIR SEMESTER
Referensi :
F. Soesianto, Djoni Dwijono, Logika Matematika Untuk Ilmu Komputer, Andi Publisher, Jakarta, 2006
4