FAKULTAS INFORMATIKA

Program Studi S1 Informaka PJJ

BERKAS PENYUSUNAN

M
RENCANA PEMBELAJARAN

SEMESTER (RPS)
O
LK
TE
 FAKULTAS INFORMATIKA

Program Studi S1 Informaka PJJ

Matakuliah : LOGIKA MATEMATIKA

Kode Mata Kuliah : CPI1B3
SKS : 3 SKS
Semester : 1
Tahun Akademik : 2021/2022

M
O
LK
TE
 RENCANA PEMBELAJARAN SEMESTER
PROGRAM STUDI S1 Informaka PJJ
FAKULTAS INFORMATIKA – TELKOM UNIVERSITY

MATAKULIAH KODE RUMPUN MK BOBOT SEMESTER VERSION

LOGIKA CPI1B3 - T= - P= - Gasal 2021-09-14
MATEMATIKA 04:52:43
OTORITAS PENGEMBANG RPS KETUA KELOMPOK KEAHLIAN Ka PRODI
Muhammad Arzaki S.Si.,
M.Kom.
Deskripsi Mata EN: Mathemacal Logic course provides a rigorous exposure concerning
Kuliah mathemacal logic for computer science. There are five main topics in this course,
i.e.: proposional logic, first-order predicate logic, mathemacal proof methods,
mathemacal inducon, and elementary set theory. These topics are grouped into
four course learning outcomes (CLO), namely: CLO 1 (proposional logic), CLO 2 (first-

M
order predicate logic), CLO 3 (mathemacal proof methods and mathemacal
inducon), and CLO 4 (elementary set theory). ID: Perkuliahan Logika Matemaka
memberikan paparan rinci mengenai logika matemaka untuk ilmu komputer. Ada
lima topik utama pada kuliah ini, yaitu: logika proposisi, logika predikat orde pertama,
metode pembukan matemas, induksi matemaka, dan teori himpunan elementer.
Topik-topik ini dikelompokkan ke dalam empat capaian pembelajaran (Course
O
Learning Outcome, CLO), yaitu: CLO 1 (logika proposisi), CLO 2 (logika predikat orde
pertama), CLO 3 (metode pembukan matemas dan induksi matemaka), dan CLO 4
(teori himpunan elementer).
Capaian Program Learning Outcomes (PLO) / CPL PRODI
LK
Pembelajaran Mata
Kuliah
PLO 3 [PLO3] Mampu menerapkan sains dan matemak untuk menyelesaikan
masalah keteknikan dengan prinsipprinsip compung.
Course Learning Outcomese (CLO) PLO yang di
dukung
TE

CLO 1 CLO 1: Students can PLO 3

explain the syntax,
semancs, and
inference rule of
proposional logic.
CLO 2 CLO 2: Students can PLO 3
explain the syntax,
semancs, and
inference rule of first
order predicate logic.
CLO 3 CLO 3: Students can PLO 3
prove mathemacal
statement using
elementary proof
methods and
mathemacal inducon.
CLO 4 CLO 4: Students can PLO 3
write set notaons
correctly and perform
elementary set
operaons.
Tabel Penilaian No Nama CLO yang Bentuk komponent Bobot Total Bobot
Asessmentools dinilai Asessment Per Bentuk
Assement
1 CLO 1 Evaluaon CLO 1 Tidak Dipengaruhi 17.5% 25%
Kehadiran
CLO 1 Tidak Dipengaruhi 2.5%
Kehadiran
CLO 1 Tidak Dipengaruhi 5%
Kehadiran
2 CLO 2 Evaluaon CLO 2 Tidak Dipengaruhi 5% 25%
Kehadiran
CLO 2 Tidak Dipengaruhi 2.5%
Kehadiran
CLO 2 Tidak Dipengaruhi 17.5%
Kehadiran
3 CLO 3 Evaluaon CLO 3 Tidak Dipengaruhi 17.5% 25%

M
Kehadiran
CLO 3 Tidak Dipengaruhi 5%
Kehadiran
CLO 3 Tidak Dipengaruhi 2.5%
Kehadiran
O
4 CLO 4 Evaluaon CLO 4 Tidak Dipengaruhi 17.5% 25%
Kehadiran
CLO 4 Tidak Dipengaruhi 2.5%
Kehadiran
LK
CLO 4 Tidak Dipengaruhi 5%
Kehadiran
TOTAL 100% 100%
Pustaka Utama
K. H. Rosen, Discrete Mathemacs and Its Applicaons, 8th Edion. McGraw-Hill,
2019
TE

Pendukung
H. J. Gensler, Introducon to Logic, Routledge, New York, 2010.
V. Klenk, Understanding Symbolic Logic, Pearson Prence Hall, 2008.
R. Munir, Matemaka Diskrit (5th edion [revised]), Informaka, 2012.
M. Ben-Ari, Mathemacal Logic for Computer Science (Chapter 1,2,3,5,8), 2nd
Edion, 2000.
M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about
Systems (Chapter 1 and 2), 2nd Edion, 2004.
M. Bramer, Logic Programming with Prolog (Chapter 1 and 2), 2nd Edion, Springer,
2013.
S. S. Epp. Discrete Mathemacs with Applicaons, 5th Edion. Brooks/ Cole Cengage
Learning, 2018.
Media Soware
Pembelajaran SWI-Prolog version 7 or later
Python 3
Google Meet
LMS
Hardware
-
Team Teaching Muhammad Arzaki S.Si., M.Kom.
Matakuliah Syarat
Minggu CLO Hasil Penilaian Materi Metode Pengalaman Pembelajaran
dan Number Pembelajaran Pembelajaran Pembelajaran Mahasiswa
Pertemuan yang Indikator/ Bentuk [Referensi] [Model] Tatap Muka Daring [esmasi
Diharapkan Buk [esmasi waktu] waktu]
(SUB - CLO) Ketercapaian
CLO
CLO 1 CLO CLO 1: Students can explain the syntax, semancs, and inference rule of proposional logic.
1-1 CLO 1 • [CLO 1] CLO • ??? CLO 1 • Introducon to • Full Online • Introducon to • Online
1: Students Ketepatan dari Evaluaon proposions. learning resource quiz.[1X45 Menit]
can explain tabel Proposional and • Video lectures
the syntax, kebenaran operators and regulaon.[1X120 and lectures notes.
semancs, yang dibuat. compound Menit] Online forum
and inference proposion discussion. Guided
rule of (negaon, exercise.[3X50
proposional conjuncon, Menit]
logic. disjuncon, xor,
implicaon, and
bi-implicaon).
CLO 1 CLO CLO 1: Students can explain the syntax, semancs, and inference rule of proposional logic.
2-1 CLO 1 • [CLO 1] CLO • ??? CLO 1 • Interpretaon • Full Online • Video lectures
1: Students Ketepatan dari Evaluaon and semancs of and lectures notes.

M
can explain tabel proposional Online forum
the syntax, kebenaran formulas. discussion. Guided
semancs, yang dibuat. Sasfiability, exercise.[3X50
and inference ??? Ketepatan validity, Menit]
rule of dari klasifikasi contradicon, and • Online
proposional semanc yang conngency. quiz.[1X45 Menit]
logic. dilakukan. ??? Logical
Ketepatan dari
O consequence and
kesimpulan logical
terkait equivalence.
konsekuensi
logis dan
kesetaraan
LK
logika.
CLO 1 CLO CLO 1: Students can explain the syntax, semancs, and inference rule of proposional logic.
3-1 CLO 1 • [CLO 1] CLO • ??? CLO 1 • Interpretaon • Full Online • Assignment •
1: Students Ketepatan dari Evaluaon and semancs of discussion.[3X50 Assignment[1X120
can explain hasil translasi proposional Menit] Menit]
the syntax, yang dilakukan. formulas. • Online
semancs, ??? Ketepatan Sasfiability, quiz.[1X45 Menit]
and inference dari analisis validity, • Video lectures
TE

rule of konsisten contradicon, and and lectures notes.

proposional spesifikasi conngency. Online forum
logic. sistem. ??? Logical discussion. Guided
Ketepatan dari consequence and exercise.[3X50
inferensi yang logical Menit]
dilakukan. equivalence.
CLO 2 CLO CLO 2: Students can explain the syntax, semancs, and inference rule of first order predicate logic.
4-1 CLO 2 • [CLO 2] CLO • ??? CLO 2 • Introducon and • Full Online • Online
2: Students Ketepatan dari Evaluaon movaon to quiz.[1X45 Menit]
can explain penentuan predicate. • Video lectures
the syntax, nilai Quanficaon and and lectures notes.
semancs, kebenaran. ??? quanfier. Online forum
and inference Ketepatan Bounded and free discussion. Guided
rule of first dalam variables, exercise.[3X50
order penulisan dan quanfier scope. Menit]
predicate pemakaian Precedence of
logic. kuantor. ??? quanfier and
Ketepatan other logical
dalam operators.
menentukan
cakupan dari
sebuah
kuantor. ???
Ketepatan
dalam sintaks
penulisan
formula logika
predikat.
CLO 2 CLO CLO 2: Students can explain the syntax, semancs, and inference rule of first order predicate logic.
Minggu CLO Hasil Penilaian Materi Metode Pengalaman Pembelajaran
dan Number Pembelajaran Pembelajaran Pembelajaran Mahasiswa
Pertemuan yang Indikator/ Bentuk [Referensi] [Model] Tatap Muka Daring [esmasi
Diharapkan Buk [esmasi waktu] waktu]
(SUB - CLO) Ketercapaian
CLO
5-1 CLO 2 • [CLO 2] CLO • ??? CLO 2 • Truth of • Full Online • Video lectures
2: Students Ketepatan dari Evaluaon formulas with one and lectures notes.
can explain penentuan quanfier. Truth Online forum
the syntax, nilai of formulas with discussion. Guided
semancs, kebenaran. two or more exercise.[3X50
and inference quanfiers. Menit]
rule of first • Online
order quiz.[1X45 Menit]
predicate
logic.
CLO 2 CLO CLO 2: Students can explain the syntax, semancs, and inference rule of first order predicate logic.
6-1 CLO 2 • [CLO 2] CLO • ??? CLO 2 • Translaon from • Full Online • Online
2: Students Ketepatan dari Evaluaon natural language quiz.[1X45 Menit]
can explain hasil translasi. to first-order • Video lectures
the syntax, ??? Ketepatan predicate logic. and lectures notes.

M
semancs, dari negasi Negaon of Online forum
and inference yang diperoleh. quanfied discussion. Guided
rule of first ??? Ketepatan statements. exercise.[3X50
order dari inferensi Inference in first- Menit]
predicate yang dilakukan. order predicate
logic. logic.
CLO 2 CLO CLO 2: Students can explain the syntax, semancs, and inference rule of first order predicate logic.
7-1 CLO 2 • [CLO 2] CLO • ???
O CLO 2 • Introducon to • Full Online • Assignment •
2: Students Kebenaran dari Evaluaon Prolog. Knowledge discussion.[3X50 Assignment[1X120
can explain program logika base in Prolog. Menit] Menit]
the syntax, pada Prolog. Variable and query • Video lectures
semancs, ??? Ketepatan in Prolog. and lectures notes.
and inference dari keluaran Online forum
LK
rule of first query discussion. Guided
order sederhana exercise.[3X50
predicate pada Prolog. Menit]
logic. • Online
quiz.[1X45 Menit]
• Programming
exploraon and
exercise.[1X50
TE

Menit]
CLO 3 CLO CLO 3: Students can prove mathemacal statement using elementary proof methods and mathemacal inducon.
8-1 CLO 3 • [CLO 3] CLO • ??? CLO 3 • High-school • Full Online • Online
3: Students Ketepatan dari Evaluaon mathemacs quiz.[1X45 Menit]
can prove manipulasi review: integer • Video lectures
mathemacal matemas arithmec, and lectures notes.
statement yang dilakukan. fracons, Online forum
using exponents, and discussion. Guided
elementary algebraic exercise.[3X50
proof ideines. Menit]
methods and
mathemacal
inducon.
CLO 3 CLO CLO 3: Students can prove mathemacal statement using elementary proof methods and mathemacal inducon.
9-1 CLO 3 • [CLO 3] CLO • ??? CLO 3 • Mathemacal • Full Online • Video lectures
3: Students Kebenaran dan Evaluaon terminology. and lectures notes.
can prove kejelasan dari Mathemacal Online forum
mathemacal buk. definion. discussion. Guided
statement Structure of exercise.[3X50
using mathemacal Menit]
elementary proof. Direct proof • Online quiz[1X45
proof methodology Menit]
methods and Indirect proof
mathemacal using
inducon. contraposion.
CLO 3 CLO CLO 3: Students can prove mathemacal statement using elementary proof methods and mathemacal inducon.
Minggu CLO Hasil Penilaian Materi Metode Pengalaman Pembelajaran
dan Number Pembelajaran Pembelajaran Pembelajaran Mahasiswa
Pertemuan yang Indikator/ Bentuk [Referensi] [Model] Tatap Muka Daring [esmasi
Diharapkan Buk [esmasi waktu] waktu]
(SUB - CLO) Ketercapaian
CLO
10-1 CLO 3 • [CLO 3] CLO • ??? CLO 3 • Indirect proof • Full Online • Video lectures
3: Students Kebenaran dan Evaluaon using and lectures notes.
can prove kejelasan dari contradicon. Online forum
mathemacal buk. Proving equivalent discussion. Guided
statement statements. exercise.[3X50
using Refung Menit]
elementary mathemacal • Online
proof statements using quiz.[1X45 Menit]
methods and counterexamples.
mathemacal
inducon.
CLO 3 CLO CLO 3: Students can prove mathemacal statement using elementary proof methods and mathemacal inducon.
11-1 CLO 3 • [CLO 3] CLO • ??? CLO 3 • Movaon and • Full Online • Video lectures
3: Students Kebenaran dan Evaluaon definion of and lectures notes.
can prove kejelasan dari ordinary Online forum

M
mathemacal buk. mathemacal discussion. Guided
statement inducon. The exercise.[3X50
using principle of Menit]
elementary ordinary • Online
proof mathemacal quiz.[1X45 Menit]
methods and inducon.
mathemacal
inducon.
O
CLO 3 CLO CLO 3: Students can prove mathemacal statement using elementary proof methods and mathemacal inducon.
12-1 CLO 3 • [CLO 3] CLO • ??? CLO 3 • Limitaon of • Full Online • Assignment • Video lectures
3: Students Kebenaran dari Evaluaon ordinary discussion.[3X50 and lectures notes.
can prove kalkulasi mathemacal Menit] Online forum
mathemacal barisan yang inducon. discussion. Guided
LK
statement didefinisikan Movaon and exercise.[3X50
using secara rekursif. definion of Menit]
elementary ??? Kebenaran strong • Online
proof dan kejelasan mathemacal quiz.[1X45 Menit]
methods and dari buk. inducon. The •
mathemacal principle of strong Assignment.[1X120
inducon. mathemacal Menit]
inducon.
TE

CLO 4 CLO CLO 4: Students can write set notaons correctly and perform elementary set operaons.
13-1 CLO 4 • [CLO 4] CLO • ??? CLO 4 • Basic set • Full Online • Video lectures
4: Students Kebenaran dari Evaluaon notaons dan set and lectures notes.
can write set penulisan definions. Online forum
notaons notasi Subset, superset, discussion. Guided
correctly and himpunan. ??? and set equality. exercise.[3X50
perform Kebenaran dari Prominent set of Menit]
elementary penentuan numbers. • Online
set relasi antar dua Cardinality of quiz.[1X45 Menit]
operaons. himpunan. ??? finite sets.
Kebenaran dari
penentuan
kardinalitas
himpunan
berhingga.
CLO 4 CLO CLO 4: Students can write set notaons correctly and perform elementary set operaons.
Minggu CLO Hasil Penilaian Materi Metode Pengalaman Pembelajaran
dan Number Pembelajaran Pembelajaran Pembelajaran Mahasiswa
Pertemuan yang Indikator/ Bentuk [Referensi] [Model] Tatap Muka Daring [esmasi
Diharapkan Buk [esmasi waktu] waktu]
(SUB - CLO) Ketercapaian
CLO
14-1 CLO 4 • [CLO 4] CLO • ??? CLO 4 • Elementary set • Full Online • Assignment • Online
4: Students Kebenaran dari Evaluaon operaons. discussion.[3X50 quiz.[1X45 Menit]
can write set hasil operasi Cartesian product. Menit] • Video lectures
notaons himpunan. ??? Inclusion-exclusion and lectures notes.
correctly and Kebenaran dari principle. Online forum
perform hasil kali discussion. Guided
elementary Kartesius dua exercise.[3X50
set himpunan Menit]
operaons. berhingga. ??? •
Kebenaran Assignment.[1X120
model Menit]
himpunan dari
cerita yang
dinjau. ???
Kebenaran dari

M
penerapan
prinsip inklusi-
eksklusi.
O
LK
TE