RENCANA PEMBELAJARAN SEMESTER

(RPS)

LOGIKA MATEMATIKA

Disusun oleh:
Hani Dewi Ariessanti, M.Kom

PROGRAM STUDI SISTEM KOMPUTER

FAKULTAS TEKNOLOGI DAN BISNIS

UNIVERSITAS RAHARJA
ii
iii
A. PROFIL MATA KULIAH

IDENTITAS MATA KULIAH

Nama Mata Kuliah : Logika Matematika
Kode Mata Kuliah :
SKS : 3
Jenis : Wajib
Jam pelaksanaan : Tatap muka di kelas 3 jam per minggu

Tutorial / responsi 1jam per minggu

Semester / Tingkat : 3/2

Pre-requisite :
Co-requisite :
Bidang Kajian : Teori himpunan, aljabar Boolean, kalkulus proposisi, kalkulus
predikat, dan bahasa prolog.

DESKRIPSI SINGKAT MATA KULIAH

Mata kuliah ini membahas tentang teori himpunan, aljabar Boolean, kalkulus proposisi, kalkulus
predikat dan bahasa prolog.

DAFTAR PUSTAKA
1. Rosen, Kenneth H., Discrete Mathematic and Its Applications, 4th edition, McGraw Hill International Editions, 1999.
2. Korfhage, Robert R., Logic and Algorithms with Application to the Computer and Information Sciences, John Wiley and Sons, Inc., US, 1966.
3. Tinder, Richard F., Digital Engineering Design A Modern Approach, Prentice-Hall International, Inc., 1991
4. Diktat Logika Matematika, Andrian Rahkmatsyah, STT Telkom
5. Manna, Zohar. The Logical Basis For Computer Programming. Addison Wesley Publishing. 1985

4
B. RENCANA PEMBELAJARAN SEMESTER (RPS)
Pertemuan Kemampuan Akhir yang
ke- Diharapkan
Memahami definisi, terminologi
dan operasi-operasi dasar
1
himpunan.
 Memahami analogi dari
aljabar aritmatika dengan
aljabar himpunan.
2  Melakukan transisi himpunan
ke logika.
 Memahami definisi aljabar
boolean, teorema dan
aksioma-aksioma yang
berlaku.
 Memahami variabel-variabel
3 pembentuk fungsi boolean
dan bentuk fungsi
booleannya.
 Mengidentifikasi bentuk-
bentuk fungsi boolean yang
standar dan kanonik.
Bentuk/
Metode/ Bobot
Bahan Kajian (Materi Ajar) Kriteria Penilaian (Indikator)
Strategi Nilai
Pembelajaran
 Definisi Himpunan Ceramah, Pemahaman mengenai definisi,
 Operasi Himpunan Responsi. terminologi dan operasi-operasi
dasar himpunan.
 Aljabar himpunan. Ceramah,  Pemahaman mengenai
 Transisi himpunan ke logika. Responsi. analogi dari aljabar
aritmatika dengan aljabar
himpunan.
 Kemampuan melakukan
transisi himpunan ke
logika.
 Fungsi boolean dan bentuknya. Ceramah,  Pemahaman mengenai
 Bentuk estándar dan kanonik Responsi. definisi aljabar boolean,
fungsi Boolean. teorema dan aksioma-
 Konversi ke bentuk standar dan aksioma yang berlaku..
kanonik.  Kemampuan memahami
variabel-variabel
pembentuk fungsi boolean
dan bentuk fungsi
booleannya.
 Kemampuan
mengidentifikasi bentuk-
5
 Bentuk/
Pertemuan Kemampuan Akhir yang Metode/ Bobot
Bahan Kajian (Materi Ajar) Kriteria Penilaian (Indikator)
ke- Diharapkan Strategi Nilai
Pembelajaran
 Melakukan konversi dari bentuk fungsi boolean yang
berbagai bentuk fungsi standar dan kanonik.
boolean ke bentuk  Kemampuan melakukan
standar/kanonik. konversi dari berbagai
bentuk fungsi boolean ke
bentuk standar/kanonik.
 Memahami bentuk SOP dan Konversi bentuk fungsi Boolean ke Ceramah,  Pemahaman mengenai
POS fungsi Boolean. POS dan SOP. Responsi. bentuk SOP dan POS fungsi
 Melakukan konversi ke Boolean.
4
bentuk SOP dan POS fungsi  Kemampuan melakukan
Boolean. konversi ke bentuk SOP dan
POS fungsi Boolean.
 Mengetahui cara  Penyederhanaan fungsi Boolean Ceramah,  Pemahaman mengenai cara
penyederhanaan fungsi dengan cara Aljabar. Responsi. penyederhanaan fungsi
Boolean dengan  Penyederhaan dengan Boolean dengan
memanfaatkan sifat-sifat menggunakan K-Map. memanfaatkan sifat-sifat
5 Aljabar. Aljabar.
 Melakukan penyederhanaan  Kemampuan melakukan
fungsi Boolean dengan penyederhanaan fungsi
menggunakan K-Map. Boolean dengan
menggunakan K-Map.
Melakukan penyederhanaan Penyederhanaan dengan Ceramah, Kemampuan melakukan
fungsi Boolean dengan menggunakan metode Quine Mc- Responsi. penyederhanaan fungsi Boolean
6
menggunakan metode Quine Mc- Cluskey dengan menggunakan metode
Mc-Cluskey.

6

Pertemuan Kemampuan Akhir yang
ke- Diharapkan
Cluskey.
Menyelesaikan studi kasus
7 Aljabar Boolean dengan baik.
 Memahami arti kalimat
dalam konsep kalkulus
proposisi.
 Memahami aturan semantik
untuk sebuah interpretasi
beserta beberapa sifat
kalimat.
 Menentukan nilai kebenaran
suatu kalimat dengan
8 menggunakan tabel
kebenaran dan tabel jarang.
 Menentukan nilai kebenaran
suatu kalimat dengan
menggunakan pohon
semantik dan metode asumsi
salah.
Bahan Kajian (Materi Ajar)
 Review teori himpunan.
 Review Aljabar Boolean.
UJIAN TENGAH SEMESTER
 Definisi dan arti kalimat, aturan Ceramah,
semantik dan sifat kalimat.
 Penentuan sifat kalimat dengan
tabel kebenaran dan tabel
jarang.
 Penentuan sifat kalimat dengan
pohon semantik dan asumsi
salah.
7
Bentuk/
Metode/ Bobot
Kriteria Penilaian (Indikator)
Strategi Nilai
Pembelajaran
Ceramah, Kemampuan menyelesaikan
Responsi. studi kasus Aljabar Boolean
dengan baik.
 Pemahaman mengenai arti
Responsi. kalimat dalam konsep
kalkulus proposisi.
 Pemahaman mengenai
aturan semantik untuk
sebuah interpretasi beserta
beberapa sifat kalimat.
 Kemampuan menentukan
nilai kebenaran suatu
kalimat dengan
menggunakan tabel
kebenaran dan tabel
jarang.
 Kemampuan menentukan
nilai kebenaran suatu
kalimat dengan
menggunakan pohon
semantik dan metode
asumsi salah.

Pertemuan Kemampuan Akhir yang
ke- Diharapkan
 Memahami definisi ekivalensi
dan konsekuensi logik
beserta beberapa teorema
yang berlaku.
 Memahami definisi konjungsi
dan disjungsi jamak.
 Memahami arti dan definisi
substitusi dan substitusi
jamak.
9  Mengerti arti interpretasi
yang diperluas.
 Mengetahui beberapa aturan
penalaran dasar dan mampu
menggunakannya untuk
menarik suatu kesimpulan.
 Memahami konsep objek dan
relasi antar objek dan
menyatakannya menjadi
10
representasi kalimat dalam
kalkulus predikat.
 Memahami dan dapat
Bahan Kajian (Materi Ajar)
 Ekivalensi dan konsekuensi logik. Ceramah,
 Konjungsi dan disjungsi jamak.
 Substitusi dan substitusi jamak.
 Perluasan interpretasi.
 Metode deduksi.
 Definisi dan representasi
kalimat.
 Variabel bebas dan terikat.
 Interpretasi.
 Arti kalimat.
8
Bentuk/
Metode/ Bobot
Kriteria Penilaian (Indikator)
Strategi Nilai
Pembelajaran
 Pemahaman mengenai
Responsi. definisi ekivalensi dan
konsekuensi logik beserta
beberapa teorema yang
berlaku.
 Pemahaman mengenai
definisi konjungsi dan
disjungsi jamak.
 Pemahaman mengenai arti
dan definisi substitusi dan
substitusi jamak.
 Pemahaman mengenai arti
interpretasi yang diperluas.
 Pemahaman mengnai
beberapa aturan penalaran
dasar dan mampu
menggunakannya untuk
menarik suatu kesimpulan.
Ceramah,  Pemahaman mengenai
Responsi. konsep objek dan relasi
antar objek dan
menyatakannya menjadi
representasi kalimat dalam
kalkulus predikat.
 Bentuk/
Pertemuan Kemampuan Akhir yang Metode/ Bobot
Bahan Kajian (Materi Ajar) Kriteria Penilaian (Indikator)
ke- Diharapkan Strategi Nilai
Pembelajaran
membedakan variabel-  Pemahaman mengenai
variabel bebas dan terikat variabel-variabel bebas dan
dalam suatu kalimat. terikat dalam suatu kalimat.
 Memahami arti sebuah  Kemampuan membedakan
interpretasi dalam kalimat variabel-variabel bebas dan
kalkulus predikat. terikat dalam suatu kalimat.
 Menentukan arti kalimat  Pemahaman mengenai arti
oleh interpretasi yang sebuah interpretasi dalam
diberikan. kalimat kalkulus predikat.
 Kemampuan menentukan
arti kalimat oleh interpretasi
yang diberikan.

 Memahami beberapa aturan  Aturan semantik. Ceramah,  Pemahaman mengenai

semantik.  Interpretasi yang diperluas. Responsi. beberapa aturan semantik.
 Menentukan nilai dari  Aturan semantik untuk  Kemampuan menentukan
interpretasi yang diberikan. kuantifier. nilai dari interpretasi yang
 Memahami arti dari  Kecocokan dan validitas. diberikan.
interpretasi yang diperluas  Pemahaman mengenai arti
11
dan beberapa sifatnya. dari interpretasi yang
 Menentukan nilai kebenaran diperluas dan beberapa
suatu kalimat dengan sifatnya.
menggunakan aturan  Kemampuan menentukan
semantik untuk kuantifier. nilai kebenaran suatu
 Memahami definisi kalimat dengan

9
 Bentuk/
Pertemuan Kemampuan Akhir yang Metode/ Bobot
Bahan Kajian (Materi Ajar) Kriteria Penilaian (Indikator)
ke- Diharapkan Strategi Nilai
Pembelajaran
kecocokan dua buah menggunakan aturan
interpretasi. semantik untuk kuantifier.
 Menentukan nilai kebenaran  Pemahaman mengenai
suatu kalimat dengan definisi kecocokan dua
menggunakan sifat validitas. buah interpretasi.
 Kemampuan menentukan
nilai kebenaran suatu
kalimat dengan
menggunakan sifat
validitas.
 Memahami gambaran uum  Program prolog. Ceramah,  Pemahaman mengenai
program prolog dan  Queries. Responsi. gambaran uum program
perbedaannya dengan  Predefinisi, fungsi dan predikat. prolog dan perbedaannya
program konvensional lain. dengan program
 Memahami arti queries konvensional lain.
dalam program prolog dan  Pemahaman mengenai arti
sintaksnya. queries dalam program
12
 Mengetahui sintaks untuk prolog dan sintaksnya.
mendefinisikan fakta,  Pemahaman mengenai
menulis fungsi dan predikat. sintaks untuk
 Menyelesaikan studi kasus mendefinisikan fakta,
menggunakan prolog. menulis fungsi dan predikat.
 Kemampuan menyelesaikan
studi kasus menggunakan

10
 Bentuk/
Pertemuan Kemampuan Akhir yang Metode/ Bobot
Bahan Kajian (Materi Ajar) Kriteria Penilaian (Indikator)
ke- Diharapkan Strategi Nilai
Pembelajaran
prolog.

 Memahami beberapa  Langkah-langkah pembuktian. Ceramah,  Pemahaman mengenai

langkah standar untuk  Metode pembuktian langsung. Responsi. beberapa langkah standar
membuktikan teorema.  Metode pembuktian tidak untuk membuktikan
 Memahami beberapa langsung. teorema.
pembuktian dengan metode  Prinsip induksi matematika.  Pemahaman mengenai
langsung. beberapa pembuktian
 Memahami beberapa dengan metode langsung.
13 pembuktian dengan metode  Pemahaman mengenai
tidak langsung. beberapa pembuktian
 Melakukan pembuktian dengan metode tidak
dengan prinsip induksi langsung.
matematika.  Kemampuan melakukan
pembuktian dengan prinsip
induksi matematika.

Menyelesaikan studi kasus  Review kalkulus proposisi. Ceramah, Kemampuan menyelesaikan

dengan baik.  Review kalkulus predikat. Responsi. studi kasus dengan baik.
14  Review prolog.
 Review induksi matematika.

UJIAN AKHIR SEMESTER

11
C. RANCANGAN INTERAKSI DOSEN–MAHASISWA
Kemampuan Akhir yang Diharapkan …

Nama Kajian ...

Nama Strategi …
Minggu Penggunaan Strategi (Metode) …
Deskripsi Singkat Strategi (Metode) …
pembelajaran

RANCANGAN INTERAKSI DOSEN–MAHASISWA

Aktivitas Dosen Aktivitas Mahasiswa
… …

12
D. RANCANGAN TUGAS
Kode mata Kuliah …
Nama Mata Kuliah …
Kemampuan Akhir yang Diharapkan …
Minggu/Pertemuan ke …
Tugas ke …
1. Tujuan tugas: …

2. Uraian Tugas:
a. Obyek garapan: …
b. Yang harus dikerjakan dan batasan-batasan: …
c. Metode/ cara pengerjaan, acuan yang digunakan: …
d. Deskripsi luaran tugas yang dihasilkan/ dikerjakan: …

3. Kriteria penilaian: …

E. PENILAIAN DENGAN RUBRIK

Jenjang Angka
Deskripsi perilaku (Indikator)
(Grade) (Skor)

F. PENENTUAN NILAI AKHIR MATA KULIAH

Nilai Skor Matakuliah (NSM) Nilai Mata Kuliah (NMK)
80 < NSM A
70 < NSM ≤ 80 AB
65 < NSM ≤ 70 B
60 < NSM ≤ 65 BC
50 < NSM ≤ 60 C
40 < NSM ≤ 50 D
NSM ≤ 40 E

13