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 T= 2 1 06 Sep 2026
Pengesahan Dosen Pengembang RPS Koordinator RMK Ka PRODI

-
Novi Prisma Yunita, M.Kom
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 permasalahan berbasis teknologi informasi dengan pendekatan yang logis dan sistematis untuk mengidentifikasi akar penyebab serta kebutuhan solusi.
CPMK032 Mengevaluasi berbagai alternatif solusi dan pendekatan yang mungkin dengan kritis berdasarkan 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 Products (SOP) dan Product of Sums (POS) pada logika kombinasi serta menerapkannya dalam penyederhanaan fungsi logika berdasarkan permasalahan yang diberikan.
sub.cpmk.ST081.CPMK031.3 Mahasiswa mampu mengidentifikasi dan menjelaskan berbagai sifat kalimat logika, meliputi tautologi, kontradiksi, kontingensi, dan ekuivalensi, sebagai dasar dalam pemrograman berdasarkan permasalahan yang diberikan
sub.cpmk.ST081.CPMK031.4 Mahasiswa mampu menentukan nilai kebenaran suatu kesimpulan menggunakan metode inferensi pada permasalahan logika sebagai dasar pemrograman.
sub.cpmk.ST081.CPMK031.5 Mahasiswa mampu menjelaskan konsep logika biner, gerbang logika, dan aljabar Boolean serta keterkaitannya dalam logika kombinasi berdasarkan permasalahan yang diberikan
sub.cpmk.ST081.CPMK031.6 Mahasiswa mampu mengintegrasikan konsep logika proposisional dalam menyelesaikan permasalahan logika berdasarkan materi yang telah dipelajari.
sub.cpmk.ST081.CPMK032.1 Mahasiswa mampu menyederhanakan fungsi Boolean menggunakan metode Karnaugh Map (K-Map) dalam logika kombinasi
sub.cpmk.ST081.CPMK032.2 Mahasiswa mampu menyusun kalimat abstrak ke dalam bentuk proposisi pada logika proposisional berdasarkan permasalahan yang diberikan
sub.cpmk.ST081.CPMK032.3 Mahasiswa mampu menerapkan aturan semantik untuk menentukan nilai kebenaran kalimat logika proposisional berdasarkan permasalahan yang diberikan.
sub.cpmk.ST081.CPMK032.4 Mahasiswa mampu menyusun tabel kebenaran untuk menentukan nilai kebenaran kalimat logika proposisional
sub.cpmk.ST081.CPMK032.5 Mahasiswa mampu menyusun kalimat berkuantor dalam logika predikat berdasarkan permasalahan yang diberikan.
sub.cpmk.ST081.CPMK032.6 Mahasiswa mampu menyusun fungsi Boolean menggunakan manipulasi aljabar Boolean pada logika kombinasi berdasarkan permasalahan yang diberikan
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
sub.cpmk.ST081.CPMK031.6
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 Mata kuliah Logika Informatika merupakan mata kuliah wajib pada Program Studi S1 Informatika dan menjadi salah satu dasar bagi mata kuliah Pemrograman. Mata kuliah ini memberikan pengetahuan dan pemahaman mengenai konsep-konsep logika yang digunakan dalam ilmu komputer serta penerapannya dalam pemecahan masalah. Pada mata kuliah ini, mahasiswa mempelajari cara memodelkan pernyataan atau persoalan dalam kehidupan sehari-hari ke dalam bentuk kalimat logika dengan sintaks tertentu sehingga memiliki makna yang jelas dan tidak ambigu. Mahasiswa juga mempelajari konsep proposisi, predikat dan kuantor, nilai kebenaran, tabel kebenaran, aturan semantik, sifat-sifat kalimat logika, serta metode inferensi untuk menentukan dan menarik kesimpulan secara logis. Selain itu, mahasiswa diperkenalkan pada konsep logika biner, aljabar Boolean, gerbang logika, fungsi Boolean, bentuk Sum of Products (SOP) dan Product of Sums (POS), serta penyederhanaan fungsi Boolean menggunakan metode manipulasi aljabar dan Karnaugh Map. Melalui pembelajaran ini, mahasiswa diharapkan mampu menerapkan konsep dan aturan logika secara sistematis sebagai dasar dalam berpikir komputasional dan pemrograman.
Bahan Kajian : Materi Pembelajaran 1. Pengantar Logika Informatika & Pola Pikir Komputasional 2. Dasar-Dasar Logika Proposisi 3. Aturan Semantik 4. Tabel Kebenaran 5. Sifat Kalimat Logika 6. Kalimat Berkuantor 7. Metode Inferensi 8. Logika Biner dan Gerbang, Fungsi Boolean 9. Manipulasi Aljabar 10. Sum of Product (SOP) dan Product of Sum (POS) 11. Karnaugh Map
Pustaka Utama
  • 4. Munir, Rinaldi, Matematika Diskrit, 2020, Informatika, Bandung.
  • 5. Rosen, Kenneth H. Discrete Mathematics and Its Applications, Eight Edition. 2019. McGraw-Hill Education, New York
Pendukung
  • 1. Brassard, Gilles, Fundamentals of Alghorithmics, 1996, Prentice Hall, New Jersey.
  • 2. Suprapto, Logika Informatika: Dasar-dasar Logika untuk Pemrograman Komputer dan Perancangan Komputer, 2003. Gava Media, Yogyakarta.
  • 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, Uyock Anggoro Saputro, S.Kom., 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
 1. Mahasiswa mampu menunjukkan sikap disiplin, tanggung jawab, dan komitmen dalam mengikuti proses pembelajaran sesuai dengan kontrak belajar yang telah disepakati. 2. Mahasiswa mampu menjelaskan tujuan umum dan tujuan khusus pembelajaran Logika Informatika serta perannya sebagai dasar ilmu komputer, teknologi informasi, dan pemrograman berdasarkan materi yang diberikan dengan benar. 3. Mahasiswa mampu mengidentifikasi penerapan Decomposition, Pattern Recognition, Abstraction, dan Algorithm Design pada permasalahan sederhana berdasarkan konsep Computational Thinking dengan tepat. Kriteria
Rubrik Skala Persepsi
Teknik
Tanya jawab 		Kuliah,Proses Belajar,[PB=100 Menit]
 Pemahaman materi mandiri,Proses Belajar,[PB=100 Menit]
 Topik
Pengantar Logika Informatika & Pola Pikir Komputasional
Sub Topik
1. Kontrak Belajar
2. Pengantar Logika Informatika sebagai fondasi ilmu kompute
3. Empat pilar Computational Thinking: Decomposition, Pattern Recognition, Abstraction, dan Algorithm Design.
  • [2] Hal: 123
2
2 sub.cpmk.ST081.CPMK032.2-Mahasiswa mampu menyusun kalimat abstrak ke dalam bentuk proposisi pada logika proposisional berdasarkan permasalahan yang diberikan
 1. Mahasiswa mampu mengidentifikasi kalimat proposisi dan proposisi majemuk berdasarkan permasalahan yang diberikan dengan tepat. 2. Mahasiswa mampu menyusun kalimat abstrak ke dalam bentuk proposisi menggunakan notasi logika, operator, dan aturan precedence yang tepat berdasarkan permasalahan yang diberikan. 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" )=1 Menit]
 Topik
Dasar-dasar Logika Proposisi
Sub Topik
1. Kalimat Pernyataan dan Proposisi
2. Proposisi Majemuk
3. Notasi dan Simbol Logika
4. Operator Logika
5. Interpretasi dan Nilai Kebenaran
6. Prioritas Operator (Operator Precedence)
  • [2] Hal: 124
2
3 sub.cpmk.ST081.CPMK032.3-Mahasiswa mampu menerapkan aturan semantik untuk menentukan nilai kebenaran kalimat logika proposisional berdasarkan permasalahan yang diberikan.
 Kriteria

Teknik
Diskusi 		Kuliah,Tugas Take Home,[TH=100 Menit]
 Pemahaman materi mandiri,Tugas Take Home,[TH=100 Menit]
 Topik
Aturan Semantik
Sub Topik
1. Jenis Proposisi
2. Aturan Semantik
- Konjungsi
- Disjungsi
- Implikasi
- Biimplikasi
- Ekuivalensi
- Kondisional
3. Hukum Aljabar
4. Pohon Semantik
  • [2] Hal: 133
3
4 sub.cpmk.ST081.CPMK032.4-Mahasiswa mampu menyusun tabel kebenaran untuk menentukan nilai kebenaran kalimat logika proposisional
 1. Mahasiswa mampu menjelaskan konsep dan fungsi tabel kebenaran berdasarkan permasalahan logika proposisional dengan tepat. 2. Mahasiswa mampu menyusun tabel kebenaran untuk menentukan nilai kebenaran kalimat logika proposisional berdasarkan langkah-langkah yang tepat. 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" )=1 Menit]
 Topik
Tabel Kebenaran
Sub Topik
1. Konsep dan fungsi tabel kebenaran
2. Variabel proposisi dan nilai kebenaran
3. Langkah-langkah penyusunan tabel kebenaran
4. Penentuan nilai kebenaran kalimat proposisional
  • [2] Hal: 123
3
5 sub.cpmk.ST081.CPMK031.3-Mahasiswa mampu mengidentifikasi dan menjelaskan berbagai sifat kalimat logika, meliputi tautologi, kontradiksi, kontingensi, dan ekuivalensi, sebagai dasar dalam pemrograman berdasarkan permasalahan yang diberikan
 1. Mahasiswa mampu mengidentifikasi sifat kalimat logika berdasarkan nilai kebenarannya sebagai valid, kontradiktif, atau satisfiable berdasarkan permasalahan yang diberikan dengan tepat. 2. Mahasiswa mampu menjelaskan karakteristik dan hasil penentuan sifat kalimat logika berdasarkan permasalahan yang diberikan dengan benar. 3. Mahasiswa mampu menerapkan metode pembuktian kontradiksi (proof by contradiction) untuk membuktikan suatu pernyataan logika berdasarkan permasalahan yang diberikan dengan tepat. Kriteria

Teknik
Tugas 		Kuliah,Proses Belajar,[PB=100 Menit]
 Pemahaman materi mandiri,Proses Belajar,[PB=100 Menit]
 Topik
Sifat-sifat Kalimat Logika
Sub Topik
1. Kalimat Valid
2. Kalimat Kontradiktif
3. Kalimat Satisfiable
4. Pembuktian dengan Kontradiksi
  • [3] Hal: 35
3
6 sub.cpmk.ST081.CPMK032.5-Mahasiswa mampu menyusun kalimat berkuantor dalam logika predikat berdasarkan permasalahan yang diberikan.
 1. Mahasiswa mampu mengidentifikasi penggunaan kuantor universal dan kuantor eksistensial berdasarkan permasalahan yang diberikan dengan tepat. 2. Mahasiswa mampu menyusun kalimat berkuantor ke dalam bentuk logika predikat serta menentukan ingkarannya berdasarkan permasalahan yang diberikan dengan tepat. Kriteria
Rubrik Skala Persepsi
Teknik
Tanya jawab 		Kuliah,Proses Belajar,[PB=100 Menit]
 Kuis,Kuis,[K=30 Menit]
 Topik
Kuantor Dalam Logika Predikat
Sub Topik
Konsep Dan Notasi Kuantor
1. Kuantor Universal
2. Kuantor Eksistensial
3. Penerjemahan Kalimat Ke Dalam Bentuk Logika Predikat
4. Ingkaran Kalimat Berkuantor
  • [1] Hal: 45
3
7 sub.cpmk.ST081.CPMK031.6-Mahasiswa mampu mengintegrasikan konsep logika proposisional dalam menyelesaikan permasalahan logika berdasarkan materi yang telah dipelajari.
 1. Mahasiswa mampu mengidentifikasi dan menjelaskan konsep-konsep dasar logika proposisional berdasarkan permasalahan yang diberikan dengan tepat. 2. Mahasiswa mampu menerapkan konsep logika proposisional dalam menyelesaikan permasalahan yang melibatkan notasi, nilai kebenaran, tabel kebenaran, dan sifat-sifat kalimat logika dengan tepat. Kriteria
Rubrik Holistik
Teknik
Penugasan di Kelas 		Penugasan,Tugas Langsung,[TL=100 Menit]
 Pemahaman materi mandiri,Tugas,[T=100 Menit]
 Topik
Review Dan Integrasi Logika Proposisional
Sub Topik
1. Review konsep proposisi dan proposisi majemuk
2. Review notasi dan operator logika
3. Review interpretasi dan nilai kebenaran
4. Review tabel kebenaran
5. Review sifat-sifat kalimat logika
6. Review logika predikat dan kalimat berkuantor
7. Integrasi konsep dalam pemecahan masalah logika
  • [2] Hal: 201
4
8 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 Products (SOP) dan Product of Sums (POS) pada logika kombinasi serta menerapkannya dalam penyederhanaan fungsi logika berdasarkan permasalahan yang diberikan.
sub.cpmk.ST081.CPMK031.3-Mahasiswa mampu mengidentifikasi dan menjelaskan berbagai sifat kalimat logika, meliputi tautologi, kontradiksi, kontingensi, dan ekuivalensi, sebagai dasar dalam pemrograman berdasarkan permasalahan yang diberikan
sub.cpmk.ST081.CPMK031.4-Mahasiswa mampu menentukan nilai kebenaran suatu kesimpulan menggunakan metode inferensi pada permasalahan logika sebagai dasar pemrograman.
sub.cpmk.ST081.CPMK031.5-Mahasiswa mampu menjelaskan konsep logika biner, gerbang logika, dan aljabar Boolean serta keterkaitannya dalam logika kombinasi berdasarkan permasalahan yang diberikan
sub.cpmk.ST081.CPMK031.6-Mahasiswa mampu mengintegrasikan konsep logika proposisional dalam menyelesaikan permasalahan logika berdasarkan materi yang telah dipelajari.
 Mahasiswa mampu menerapkan konsep logika proposisional dalam menentukan nilai kebenaran dan sifat kalimat logika berdasarkan permasalahan yang diberikan. Mahasiswa mampu menyelesaikan permasalahan logika proposisional menggunakan notasi, tabel kebenaran, dan metode inferensi dengan tepat. Kriteria
Rubrik Analitik
Teknik
Ujian Tengah Semester (UTS) 		Ujian terjadwal,Durasi sesuai DAAK,[D=100 Menit]
 Topik

Sub Topik

 30
9 sub.cpmk.ST081.CPMK031.4-Mahasiswa mampu menentukan nilai kebenaran suatu kesimpulan menggunakan metode inferensi pada permasalahan logika sebagai dasar pemrograman.
 1. Mahasiswa mampu mengidentifikasi premis dan kesimpulan pada permasalahan logika berdasarkan kaidah inferensi yang digunakan dengan tepat. 2. Mahasiswa mampu menentukan nilai kebenaran kesimpulan menggunakan kaidah inferensi yang sesuai berdasarkan permasalahan logika yang diberikan dengan benar. 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" )=1 Menit]
 Topik
Kaidah Inferensi
Sub Topik
1. Modus Ponen
2. Modus Tollen
3. Silogisme Hipotetis
4. Silogisme Disjungtif
5. Konjungsi
6. Simplifikasi
7. Penjumlahan
8. Dilema Konstruktif
9. Resolusi
  • [1] Hal: 100
3
10 sub.cpmk.ST081.CPMK031.5-Mahasiswa mampu menjelaskan konsep logika biner, gerbang logika, dan aljabar Boolean serta keterkaitannya dalam logika kombinasi berdasarkan permasalahan yang diberikan
 1. Mahasiswa mampu menjelaskan konsep logika biner, operasi logika dasar, gerbang logika, serta aljabar Boolean dan fungsi Boolean berdasarkan permasalahan yang diberikan dengan tepat. 2. Mahasiswa mampu mengidentifikasi keterkaitan fungsi Boolean dengan gerbang logika dalam membentuk rangkaian digital sederhana berdasarkan permasalahan yang diberikan dengan benar. Kriteria
Rubrik Skala Persepsi
Teknik
Diskusi 		Kuliah,Proses Belajar,[PB=100 Menit]
 Topik
Logika biner, gerbang logika, dan fungsi Boolean
Sub Topik
1. Konsep dasar logika biner
2. Operasi logika dasar: AND, OR, NOT
3. Gerbang logika dasar: AND, OR, NOT
4. Aljabar Boolean
5. Fungsi Boolean
6. Representasi fungsi Boolean dengan gerbang logika
7. Rangkaian logika digital sederhana
  • [3] Hal: 34
3
11 sub.cpmk.ST081.CPMK032.6-Mahasiswa mampu menyusun fungsi Boolean menggunakan manipulasi aljabar Boolean pada logika kombinasi berdasarkan permasalahan yang diberikan
 1. Mahasiswa mampu menerapkan hukum-hukum dasar aljabar Boolean dalam melakukan manipulasi fungsi Boolean berdasarkan permasalahan yang diberikan dengan tepat. 2. Mahasiswa mampu menyederhanakan fungsi Boolean menggunakan manipulasi aljabar Boolean pada logika kombinasi berdasarkan permasalahan yang diberikan dengan benar. 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" )=1 Menit]
 Topik
Manipulasi Aljabar
Sub Topik
1. Hukum Identitas Dasar Aljabar Boolean
2. Penerapan Hukum Identitas pada Manipulasi Aljabar
3. Penyederhanaan Fungsi Logika menggunakan Manipulasi Aljabar
  • [4] Hal: 308
3
12 sub.cpmk.ST081.CPMK031.2-Mahasiswa mampu membedakan bentuk Sum of Products (SOP) dan Product of Sums (POS) pada logika kombinasi serta menerapkannya dalam penyederhanaan fungsi logika berdasarkan permasalahan yang diberikan.
 1. Mahasiswa mampu mengidentifikasi dan membedakan bentuk SOP dan POS berdasarkan fungsi Boolean yang diberikan dengan tepat. 2. Mahasiswa mampu mengonversi dan menyederhanakan fungsi Boolean ke dalam bentuk SOP dan POS berdasarkan permasalahan yang diberikan dengan benar. Kriteria
Rubrik Holistik
Teknik
Diskusi 		Kuliah,Proses Belajar,[PB=100 Menit]
 Penugasan,Penugasan Terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=1 Menit]
 Topik
Sum of Product (SOP) dan Product of Sum (POS)
Sub Topik
1. Bentuk standar: Product term dan Sum term
2. Pengertian SOP dan POS
3. Fungsi logika
4. Bentuk kanonik
5. Minterm dan Maxterm
6. Konversi Minterm dan Maxterm
  • [2] Hal: 210
3
13
14 sub.cpmk.ST081.CPMK032.1-Mahasiswa mampu menyederhanakan fungsi Boolean menggunakan metode Karnaugh Map (K-Map) dalam logika kombinasi
 1. Mahasiswa mampu menyusun K-Map 2, 3, dan 4 variabel berdasarkan fungsi Boolean yang diberikan dengan tepat. 2. Mahasiswa mampu menyederhanakan fungsi Boolean menggunakan K-Map 2, 3, dan 4 variabel berdasarkan permasalahan yang diberikan dengan benar. Kriteria
Menjawab
Teknik
Tugas 		Kuliah,Proses Belajar,[PB=100 Menit]
 Pemahaman materi mandiri,Penugasan Terstruktur dan Kegiatan Mandiri ,[PT+KM : (1+1 ) x (2 x 60" )=1 Menit]
 Topik
Karnaugh Map
Sub Topik
1. Mapping 2 variabel
2. Mapping 3 variabel
3. Mapping 4 variabel
  • [4] Hal: 310
3
15
16 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 Products (SOP) dan Product of Sums (POS) pada logika kombinasi serta menerapkannya dalam penyederhanaan fungsi logika berdasarkan permasalahan yang diberikan.
sub.cpmk.ST081.CPMK031.3-Mahasiswa mampu mengidentifikasi dan menjelaskan berbagai sifat kalimat logika, meliputi tautologi, kontradiksi, kontingensi, dan ekuivalensi, sebagai dasar dalam pemrograman berdasarkan permasalahan yang diberikan
sub.cpmk.ST081.CPMK031.4-Mahasiswa mampu menentukan nilai kebenaran suatu kesimpulan menggunakan metode inferensi pada permasalahan logika sebagai dasar pemrograman.
sub.cpmk.ST081.CPMK031.5-Mahasiswa mampu menjelaskan konsep logika biner, gerbang logika, dan aljabar Boolean serta keterkaitannya dalam logika kombinasi berdasarkan permasalahan yang diberikan
sub.cpmk.ST081.CPMK031.6-Mahasiswa mampu mengintegrasikan konsep logika proposisional dalam menyelesaikan permasalahan logika berdasarkan materi yang telah dipelajari.
 1. Mahasiswa mampu menentukan nilai kebenaran kesimpulan menggunakan metode inferensi berdasarkan premis yang diberikan dengan tepat. 2. Mahasiswa mampu menerapkan konsep logika biner, gerbang logika, aljabar Boolean, SOP, POS, dan Karnaugh Map dalam menyusun dan menyederhanakan fungsi Boolean pada logika kombinasi dengan benar. Kriteria
Rubrik Analitik
Teknik
Ujian Akhir Semester 		Ujian terjadwal,Durasi sesuai arahan DAAK,[D=100 Menit]
 Topik

Sub Topik

 35

Teknik Penilaian CPMK

CPL MK CPMK Diskusi Tanya jawab Kuis Tes Tulis (UTS) Tes Tulis ( UAS )
CPLP03 LOGIKA INFORMATIKA CPMK031 Y Y Y Y
CPLP03 LOGIKA INFORMATIKA CPMK032 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 Tanya jawab 2 Rubrik Skala Persepsi
CPLP03 CPMK032 sub.cpmk.ST081.CPMK032.2 Diskusi 2 Rubrik Skala Persepsi
CPLP03 CPMK032 sub.cpmk.ST081.CPMK032.3 Diskusi 3
CPLP03 CPMK032 sub.cpmk.ST081.CPMK032.4 Ceramah 3 Rubrik Analitik
CPLP03 CPMK031 sub.cpmk.ST081.CPMK031.3 Tugas 3
CPLP03 CPMK032 sub.cpmk.ST081.CPMK032.5 Tanya jawab 3 Rubrik Skala Persepsi
CPLP03 CPMK031 sub.cpmk.ST081.CPMK031.6 Penugasan di Kelas 4 Rubrik Holistik
CPLP03 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, sub.cpmk.ST081.CPMK031.6 Ujian Tengah Semester (UTS) 30 Rubrik Analitik
CPLP03 CPMK031 sub.cpmk.ST081.CPMK031.4 Ceramah 3 Rubrik Skala Persepsi
CPLP03 CPMK031 sub.cpmk.ST081.CPMK031.5 Diskusi 3 Rubrik Skala Persepsi
CPLP03 CPMK032 sub.cpmk.ST081.CPMK032.6 Ceramah 3 Rubrik Analitik
CPLP03 CPMK031 sub.cpmk.ST081.CPMK031.2 Diskusi 3 Rubrik Holistik
CPLP03 CPMK032 sub.cpmk.ST081.CPMK032.1 Tugas 3 Menjawab
CPLP03 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, sub.cpmk.ST081.CPMK031.6 Ujian Akhir Semester 35 Rubrik Analitik
Total 100
2. Penilaian CPMK
CPL MK CPMK Diskusi Tanya jawab Kuis Tes Tulis (UTS) Tes Tulis ( UAS ) Total
CPLP03 LOGIKA INFORMATIKA CPMK031 14% 0% 4% 30% 35% 83%
CPLP03 LOGIKA INFORMATIKA CPMK032 14% 3% 0% 0% 0% 17%
100%