UNIVERSITAS AMIKOM YOGYAKARTA
FAKULTAS ILMU KOMPUTER
PROGRAM STUDI INFORMATIKA

RPS-S1IF-ST081
RENCANA PEMBELAJARAN SEMESTER
MATA KULIAH (MK) KODE Rumpun MK BOBOT (sks) SEMESTER Tanggal Penyusunan
LOGIKA INFORMATIKA ST081 Mathematical and Statistical Foundations 2 0 1 08 Oct 2025
Pengesahan Dosen Pengembang RPS Koordinator RMK Ka PRODI

Bayu Setiaji, M.Kom
Nafiatun Sholihah, S.Kom., M.Cs.
ELI PUJASTUTI, M. KOM.
Capaian Pembelajaran CPL-PRODI yang dibebankan pada MK
CPLP03 Mampu berpikir logis, kritis, kreatif, dan sistematis untuk menyelesaikan masalah berbasis teknologi informasi secara mandiri dan berkelanjutan.
Capaian Pembelajaran Mata Kuliah (CPMK)
CPMK031 Menganalisis suatu permasalahan berbasis teknologi informasi dengan pendekatan yang logis dan sistematis untuk mengidentifikasi akar penyebab dan kebutuhan solusi.
CPMK032 Mengevaluasi berbagai alternatif solusi dan pendekatan yang mungkin dengan kritis berdasarkan pada kelayakan, efektivitas, dan dampak berkelanjutannya.
Kemampuan akhir tiap tahapan belajar (Sub-CPMK)
sub.cpmk.ST081.CPMK031.1 Mahasiswa mampu menjelaskan kembali tujuan umum dan khusus pembelajaran mata kuliah Logika Informatika sebagai dasar pemrograman
sub.cpmk.ST081.CPMK031.2 Mahasiswa mampu membedakan bentuk Sum of Product dan Product of Sum dalam logika kombinational
sub.cpmk.ST081.CPMK031.3 Mahasiswa mampu menjelaskan kembali macam-macam sifat kalimat logika sebagai dasar pemrograman.
sub.cpmk.ST081.CPMK031.4 Mahasiswa mampu menarik kesimpulan berupa nilai kebenaran dengan menggunakan metode inferensi sebagai dasar pemrograman.
sub.cpmk.ST081.CPMK031.5 Mahasiswa mampu menjelaskan kembali logika biner, gerbang logika, dan aljabar boolean dalam logika kombinational
sub.cpmk.ST081.CPMK032.1 Mahasiswa mampu menyederhanakan fungsi boolean dengan metode Karnaugh Map dalam logika kombinational
sub.cpmk.ST081.CPMK032.2 Mahasiswa mampu membuat kalimat abstrak dalam logika propositional.
sub.cpmk.ST081.CPMK032.3 Mahasiswa mampu menerapkan aturan dalam menentukan nilai kebenaran suatu kalimat logika dalam logika propositional.
sub.cpmk.ST081.CPMK032.4 Mahasiswa mampu membuat tabel kebenaran dalam logika propositional.
sub.cpmk.ST081.CPMK032.5 Mahasiswa mampu membuat kalimat logika berkuantor dalam logika propositional
sub.cpmk.ST081.CPMK032.6 Mahasiswa mampu membuat fungsi boolean dengan manipulasi aljabar boolean dalam logika kombinational
Korelasi CPMK terhadap Sub-CPMK
CPMK031 sub.cpmk.ST081.CPMK031.1
sub.cpmk.ST081.CPMK031.2
sub.cpmk.ST081.CPMK031.3
sub.cpmk.ST081.CPMK031.4
sub.cpmk.ST081.CPMK031.5
CPMK032 sub.cpmk.ST081.CPMK032.1
sub.cpmk.ST081.CPMK032.2
sub.cpmk.ST081.CPMK032.3
sub.cpmk.ST081.CPMK032.4
sub.cpmk.ST081.CPMK032.5
sub.cpmk.ST081.CPMK032.6
Deskripsi Singkat MK Matakuliah ini adalah matakuliah wajib Prodi S1 Informatika dan merupakan dasar matakuliah Pemrograman. Mata kuliah ini memberikan pengetahuan tentang logika yang digunakan di dalam ilmu komputer. Dalam kuliah ini, mahasiswa belajar untuk bisa memodelkan suatu kalimat dalam kehidupan sehari-hari, ke dalam kalimat dengan sintaks tertentu, yang hanya memiliki satu arti. Diperkenalkan juga, bagaimana mengartikan suatu kalimat (benar atau salah) dan bagaimana menentukan sifat dari kalimat tersebut.
Bahan Kajian : Materi Pembelajaran Kelompok kajian Algoritma dan Pemrograman terdiri dari mata kuliah yang mendukung proses algoritma, eksekusi program, dan software pemrograman yang digunakan dalam membangun aplikasi teknologi informasi. Materi Pembelajaran yang diberikan adalah konsep lojik, membuat kalimat logika, menentukan nilai suatu kalimat logika, menentukan nilai kebenaran kalimat logika dengan tabel kebenaran, mengenal sifat-sifat kalimat logika, mencari kesimpulan dengan metode inferensi, mengenal kalimat berkuantor, mengenal logika biner dan gerbang, mengenal operasi lojik dasar, mampu menyederhanakan aljabar boolean dengan memanipulasi aljabar dan Karnaugh Map.
Pustaka Utama
  • 1. Suprapto, Logika Informatika: Dasar-dasar Logika untuk Pemrograman Komputer dan Perancangan Komputer, 2003. Gava Media, Yogyakarta.
  • 2. Brassard, Gilles, Fundamentals of Alghorithmics, 1996, Prentice Hall, New Jersey.
Pendukung
  • 3. Sismoro, Heri, Pengantar Logika Informatika, Algoritma, dan Pemrograman Komputer, 2005, Andi Offset, Yogyakarta.
Dosen Pengampu Heri Sismoro, M.Kom, Nafiatun Sholihah, S,Kom., M.Cs, Novi Prisma Yunita, M.Kom
Mata Kuliah Syarat -
Pertemuan Ke Kemampuan akhir tiap tahapan belajar (Sub-CPMK) Penilaian Bentuk Pembelajaran; Metode Pembelajaran; Penugasan Mahasiswa; Materi Pembelajaran Bobot Penilaian
Indikator Kriteria & Teknik Luring Daring
1 sub.cpmk.ST081.CPMK031.1-Mahasiswa mampu menjelaskan kembali tujuan umum dan khusus pembelajaran mata kuliah Logika Informatika sebagai dasar pemrograman Mahasiswa mampu menjelaskan kembali tujuan umum dan khusus pembelajaran mata kuliah Logika Informatika sebagai dasar pemrograman Kriteria
Rubrik skala Persepsi
Teknik
ceramah 		Kuliah,Proses Belajar,[PB=100 Menit]
 Pemahaman materi mandiri,Proses Belajar,[PB=100 Menit]
 Topik
Pengantar Logika Informatika & Pola Pikir Komputasional
Sub Topik
Kontrak Belajar Pengantar Logika Informatika sebagai fondasi ilmu komputer dan TI Memperkenalkan empat pilar Computational Thinking: Decomposition, Pattern Recognition, Abstraction, dan Algorithm Design.
  • [1] Hal: 123
1
2 sub.cpmk.ST081.CPMK032.2-Mahasiswa mampu membuat kalimat abstrak dalam logika propositional. Mahasiswa mampu membuat kalimat abstrak dalam logika propositional Kriteria
Rubrik skala Persepsi
Teknik
diskusi 		Kuliah,Proses Belajar,[PB=100 Menit]
 Penugasan,Penugasan terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=120 Menit]
 Topik
Dasar-Dasar Logika Proposisi
Sub Topik
Proposition Sentences Notation Interpretation
  • [1] Hal: 124
1
3 sub.cpmk.ST081.CPMK032.3-Mahasiswa mampu menerapkan aturan dalam menentukan nilai kebenaran suatu kalimat logika dalam logika propositional. Mahasiswa mampu menerapkan aturan dalam menentukan nilai kebenaran suatu kalimat logika dalam logika propositional Kriteria
Rubrik Analitik
Teknik
diskusi kelompok 		Kuliah,Proses Belajar,[PB=100 Menit]
 Tugas ,Penugasan terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=120 Menit]
 Topik
Semantic Rule
Sub Topik
Negation Rule - Conjunction Rule - Disjunction Rule - Implication Rule - Biimplication - Equivalence Rule - Conditional Rule
  • [1] Hal: 133
3.85
4 sub.cpmk.ST081.CPMK032.4-Mahasiswa mampu membuat tabel kebenaran dalam logika propositional. Mahasiswa mampu membuat tabel kebenaran dalam logika propositional Kriteria
Rubrik Analitik
Teknik
ceramah 		Kuliah,Proses Belajar,[PB=100 Menit]
 Penugasan,Penugasan terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=120 Menit]
 Topik
Truth Table
Sub Topik
- Pengertian Truth Table - Langkah-langkah Pembuatan Truth Table
  • [2] Hal: 123
3.85
5 sub.cpmk.ST081.CPMK031.3-Mahasiswa mampu menjelaskan kembali macam-macam sifat kalimat logika sebagai dasar pemrograman. Mahasiswa mampu menjelaskan kembali macam-macam sifat kalimat logika sebagai dasar pemrograman Kriteria
Rubrik Analitik
Teknik
diskusi 		Kuliah,Proses Belajar,[PB=100 Menit]
 Pemahaman materi mandiri,Proses Belajar,[PB=100 Menit]
 Topik
Properties of Sentence
Sub Topik
- Valid - Contradictory - Satisfiable - Proof by Contradiction
  • [2] Hal: 205
1
6 sub.cpmk.ST081.CPMK032.5-Mahasiswa mampu membuat kalimat logika berkuantor dalam logika propositional Mahasiswa mampu membuat kalimat logika berkuantor dalam logika propositional Kriteria

Teknik
tugas 		Kuliah,Proses Belajar,[PB=100 Menit]
 Penugasan,Penugasan terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=120 Menit]
 Topik
Quantifier of Sentences
Sub Topik
- Universal Quantifier - Existential Quantifier - Negation (Ingkaran)
  • [2] Hal: 233
3.85
7 sub.cpmk.ST081.CPMK031.4-Mahasiswa mampu menarik kesimpulan berupa nilai kebenaran dengan menggunakan metode inferensi sebagai dasar pemrograman. Mahasiswa mampu menerapkan kembali materi 1-6 dan memodelkan suatu kasus dalam tabel kebenaran Kriteria
Rubrik Holistik
Teknik
studi kasus 		Kuis,Proses Belajar,[PB=100 Menit]
 Pemahaman materi mandiri,Penugasan terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=100 Menit]
 Topik
Studi Kasus Logika Propositional
Sub Topik
Mahasiswa mampu menerapkan kembali materi 1-6 dan memodelkan suatu kasus dalam tabel kebenaran
  • [2] Hal: 123
4
8 sub.cpmk.ST081.CPMK032.2-Mahasiswa mampu membuat kalimat abstrak dalam logika propositional. sub.cpmk.ST081.CPMK032.3-Mahasiswa mampu menerapkan aturan dalam menentukan nilai kebenaran suatu kalimat logika dalam logika propositional. sub.cpmk.ST081.CPMK032.4-Mahasiswa mampu membuat tabel kebenaran dalam logika propositional. sub.cpmk.ST081.CPMK032.5-Mahasiswa mampu membuat kalimat logika berkuantor dalam logika propositional sub.cpmk.ST081.CPMK032.6-Mahasiswa mampu membuat fungsi boolean dengan manipulasi aljabar boolean dalam logika kombinational ketepan menjawab Kriteria
menjawab
Teknik
ujian tulis 		Ujian terjadwal,Proses Belajar,[PB=100 Menit]
 Ujian terjadwal,Penugasan terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=100 Menit]
 Topik

Sub Topik

 25.05
9 sub.cpmk.ST081.CPMK031.4-Mahasiswa mampu menarik kesimpulan berupa nilai kebenaran dengan menggunakan metode inferensi sebagai dasar pemrograman. Mahasiswa mampu menarik kesimpulan berupa nilai kebenaran dengan menggunakan metode inferensi sebagai dasar pemrograman. Kriteria
Rubrik skala Persepsi
Teknik
ceramah 		Keaktifan,Proses Belajar,[PB=100 Menit]
 Penugasan,Penugasan terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=120 Menit]
 Topik
Inference Method
Sub Topik
- Modus Ponens - Modus Tolens - Prinsip Sylogisme
  • [3] Hal: 345
1
10 sub.cpmk.ST081.CPMK031.5-Mahasiswa mampu menjelaskan kembali logika biner, gerbang logika, dan aljabar boolean dalam logika kombinational Mahasiswa mampu menjelaskan kembali logika biner, gerbang logika, dan aljabar boolean dalam logika kombinational Kriteria
Rubrik Analitik
Teknik
diskusi 		Kuliah,Proses Belajar,[PB=100 Menit]
 Penugasan,Penugasan terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=120 Menit]
 Topik
Logika Biner dan Gerbang, Fungsi Boolean
Sub Topik
- Pengantar Logika Biner - Operasi Logika Dasar (AND, OR, dan NOT) - Gerbang Logika Dasar - Aljabar Boolean dan Fungsi Boolean - Rangkaian Digital
  • [3] Hal: 23
3.85
11 sub.cpmk.ST081.CPMK032.6-Mahasiswa mampu membuat fungsi boolean dengan manipulasi aljabar boolean dalam logika kombinational Mahasiswa mampu membuat fungsi boolean dengan manipulasi aljabar boolean dalam logika kombinational Kriteria
Rubrik Analitik
Teknik
ceramah 		Tugas ,Proses Belajar,[PB=100 Menit]
 Penugasan,Penugasan terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=120 Menit]
 Topik
Manipulasi Aljabar
Sub Topik
- Hukum Identitas Dasar Aljabar Boolean - Penerapan Hukum Identitas pada Manipulasi Aljabar - Penyederhanaan Fungsi Logika menggunakan Manipulasi Aljabar
  • [3] Hal: 254
3.85
12 sub.cpmk.ST081.CPMK031.2-Mahasiswa mampu membedakan bentuk Sum of Product dan Product of Sum dalam logika kombinational Mahasiswa mampu membedakan bentuk Sum of Product dan Product of Sum dalam logika kombinational Kriteria
Rubrik Holistik
Teknik
diskusi 		Kuliah,Proses Belajar,[PB=1250100 Menit]
 Penugasan,ProsesBelajar,[PB : 1 x (2x50")=1250120 Menit]
 Topik
Sum of Product (SOP) dan Product of Sum (POS)
Sub Topik
- Bentuk Standar (Product Term dan Sum Term) - Pengertian SOP dan POS - Fungsi Logika - Kanonik Form - Minterm dan Maxterm - Konversi Minterm ke Maxterm
  • [1] Hal: 233
4.85
13
14 sub.cpmk.ST081.CPMK032.1-Mahasiswa mampu menyederhanakan fungsi boolean dengan metode Karnaugh Map dalam logika kombinational Mahasiswa mampu menyederhanakan fungsi boolean dengan metode Karnaugh Map dalam logika kombinational Kriteria
Rubrik Analitik
Teknik
diskusi kelompok 		Kuliah,Proses Belajar,[PB=100 Menit]
 Penugasan,Penugasan terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=120 Menit]
 Topik
Karnaugh Map
Sub Topik
- Map 2 variable - Map 3 variable - Map 4 variable
  • [3] Hal: 77
3.85
15 sub.cpmk.ST081.CPMK032.1-Mahasiswa mampu menyederhanakan fungsi boolean dengan metode Karnaugh Map dalam logika kombinational Mahasiswa mampu menerapkan penyederhanaan fungsi boolean dengan metode Karnaugh Map dalam suatu kasus logika kombinational Kriteria
Rubrik Holistik
Teknik
studi kasus 		Kuliah,Proses Belajar,[PB=100 Menit]
 Pemahaman materi mandiri,Penugasan terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=120 Menit]
 Topik
Studi Kasus Logika Kombinational
Sub Topik

  • [2] Hal: 555
4
16 sub.cpmk.ST081.CPMK031.2-Mahasiswa mampu membedakan bentuk Sum of Product dan Product of Sum dalam logika kombinational sub.cpmk.ST081.CPMK031.3-Mahasiswa mampu menjelaskan kembali macam-macam sifat kalimat logika sebagai dasar pemrograman. sub.cpmk.ST081.CPMK031.4-Mahasiswa mampu menarik kesimpulan berupa nilai kebenaran dengan menggunakan metode inferensi sebagai dasar pemrograman. sub.cpmk.ST081.CPMK031.5-Mahasiswa mampu menjelaskan kembali logika biner, gerbang logika, dan aljabar boolean dalam logika kombinational ketepan menjawab Kriteria
Rubrik Analitik
Teknik
ujian terjadwal 		Ujian terjadwal,Proses Belajar,[PB=100 Menit]
 Ujian terjadwal,Penugasan terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=100 Menit]
 Topik

Sub Topik

 35

Teknik Penilaian CPMK

CPL MK CPMK Diskusi Keaktifan Tugas Kuis Tes Tulis (UTS) Tes Tulis ( UAS )
CPLP03 LOGIKA INFORMATIKA CPMK031 Y Y Y Y Y
CPLP03 LOGIKA INFORMATIKA CPMK032 Y Y Y

Prosedur Penilaian CPMK

1. Komponen Penilaian CPMK
CPL CPMK Sub-CPMK Detail Penugasan (Teknik Penilaian) Bobot % Kriteria Penilaian
CPLP03 CPMK031 sub.cpmk.ST081.CPMK031.1 ceramah 1 Rubrik skala Persepsi
CPLP03 CPMK031 sub.cpmk.ST081.CPMK032.2 diskusi 1 Rubrik skala Persepsi
CPLP03 CPMK032 sub.cpmk.ST081.CPMK032.3 diskusi kelompok 3.85 Rubrik Analitik
CPLP03 CPMK032 sub.cpmk.ST081.CPMK032.4 ceramah 3.85 Rubrik Analitik
CPLP03 CPMK031 sub.cpmk.ST081.CPMK031.3 diskusi 1 Rubrik Analitik
CPLP03 CPMK032 sub.cpmk.ST081.CPMK032.5 tugas 3.85
CPLP03 CPMK031 sub.cpmk.ST081.CPMK031.4 studi kasus 4 Rubrik Holistik
CPLP03 CPMK032 sub.cpmk.ST081.CPMK032.2, sub.cpmk.ST081.CPMK032.3, sub.cpmk.ST081.CPMK032.4, sub.cpmk.ST081.CPMK032.5, sub.cpmk.ST081.CPMK032.6 ujian tulis 25.05 menjawab
CPLP03 CPMK031 sub.cpmk.ST081.CPMK031.4 ceramah 1 Rubrik skala Persepsi
CPLP03 CPMK031 sub.cpmk.ST081.CPMK031.5 diskusi 3.85 Rubrik Analitik
CPLP03 CPMK031 sub.cpmk.ST081.CPMK032.6 ceramah 3.85 Rubrik Analitik
CPLP03 CPMK031 sub.cpmk.ST081.CPMK031.2 diskusi 4.85 Rubrik Holistik
CPLP03 CPMK032 sub.cpmk.ST081.CPMK032.1 diskusi kelompok 3.85 Rubrik Analitik
CPLP03 CPMK032 sub.cpmk.ST081.CPMK032.1 studi kasus 4 Rubrik Holistik
CPLP03 CPMK031 sub.cpmk.ST081.CPMK031.2, sub.cpmk.ST081.CPMK031.3, sub.cpmk.ST081.CPMK031.4, sub.cpmk.ST081.CPMK031.5 ujian terjadwal 35 Rubrik Analitik
Total 100
2. Penilaian CPMK
CPL MK CPMK Diskusi Keaktifan Tugas Kuis Tes Tulis (UTS) Tes Tulis ( UAS ) Total
CPLP03 LOGIKA INFORMATIKA CPMK031 1% 2% 13.55% 4% 0% 35% 55.55%
CPLP03 LOGIKA INFORMATIKA CPMK032 0% 0% 15.4% 4% 25.05% 0% 44.45%
100%