BB03-RK16d RII.

0
15 Agustus 2019

SATUAN ACARA TUTORIAL (SAT) ONLINE

TAHUN 2021

Sesi ke- : 3/5/7*

Nama Mata Kuliah : Logika Informatika
Kode Mata Kuliah/ sks : MSIM 4103 / 3 SKS
Nama Pengembang : Fika Dara Nurina Firdaus
Nama Penelaah :
Capaian Pembelajaran Mata Kuliah : Mahasiswa mampu mengidentifikasi kalimat (dalam bahasa
logika proposisional dan logika predikat), menentukan
komponen kalimat (dalam bahasa logika proposisional dan
logika predikat), mengkonstruksikan kalimat (dalam bahasa
logika proposisional dan logika predikat) berdasarkan
aturan sintaktik, memberi nilai ke masing-masing
komponen pembentuk kalimat (dalam bahasa logika
proposisional dan logika predikat), menentukan nilai
kebenaran kalimat. Mahasiswa juga diharapkan mampu
menentukan sifat-sifat kalimat khususnya validitas kalimat,
melakukan substitusi kalimat baik total maupun parsial,
melakukan perluasan interpretasi kalimat (dalam Bahasa
logika proposisional dan logika predikat).

Capaian Pembelajaran Umum (CPU) : Mahasiswa mampu menjelaskan Pohon Semantik dan Sifat-
sifat Kalimat

Capaian Pembelajaran Khusus (CPK)
: 1. Mahasiswa mampu membuat pohon semantik untuk
menentukan nilai kalimat logika proposisional.
2. Mahasiswa mampu menentukan ukuran-ukuran pada
pohon semantik yang berkaitan dengan proses
penentuan nilai kalimat.
3. Mahasiswa mampu menentukan sifat kalimat
berdasarkan nilai dan lingkup interpretasinya.

Pokok Bahasan Sub Pokok Bahasan dan Rincian Bahasan

Pohon Semantik dan Sifat-sifat 1. Pohon Semantik
Kalimat 2. Sifat-sifat Kalimat
a. Sifat-Sifat Kalimat
b. Pohon Semantik dengan Beberapa Sifat Kalimat

Rincian Kegiatan Tuton Referensi &

No. Tahapan
(Skenario Pembelajaran Online) Sumber Belajar
1. Kegiatan  Menyapa mahasiswa [1][2][3]
Pendahuluan  Memberikan penjelasan singkat aktivitas belajar
 Memberikan penjelasan kompetensi yang diharapkan
 Memberikan paparan singkat materi pada sesi
sebelumnya: aturan semantik logika proporsional dan
interpretasi yang diperluas
2. Kegiatan Inti  Memberikan paparan singkat konsep
1. Pohon Semantik
2. Sifat-sifat Kalimat
 Menyiapkan materi pendukung PDF/PPT/MODUL
1/VIDEO/ARTIKEL/LINK
 BB03-RK16d RII.0
15 Agustus 2019

Rincian Kegiatan Tuton Referensi &

No. Tahapan
(Skenario Pembelajaran Online) Sumber Belajar
 Menyiapkan forum diskusi dan tanya jawabdengan
mahasiswa
 Memberikan feedback dan penilaian pada forum
diskusi
3. Tes Formatif Menjelaskan petunjuk cakupan materi dan aturan dalam
mengerjakan tes formatif (tes objektif)
4. Kegiatan Memberikan kesimpulan hasil diskusi
Penutup
5. Tugas  Penjelasan tentang tugas tutorial 1 yang harus
Tutorial dikerjakan oleh mahasiswa dan informasi batas waktu
1/2/3* mengunggah tugas.
 Penjelasan aturan dan tata cara penilaian tugas tutorial
1
* lingkari salah satu nomor sesuai sesi tutorial online

[1] Z. Manna and R. Waldinger, The Logical Basis for Computer Programming, Volume 2: Deductive
Systems, Addison - Wesley, 1990.
[2] M. Bergmann, J. Moor, and J. Nelson, The Logic Book. 6th edition. New York, NY: McGraw-Hill, 2014.
[3] K. H. Rosen, Discrete Mathematics and Its Applications. 7th edition. New York, NY: McGraw-Hill, 2012
 BB03-RK16d RII.0
15 Agustus 2019

SATUAN ACARA TUTORIAL (SAT) ONLINE

TAHUN 2021

Sesi ke- : 3/5/7*

Nama Mata Kuliah : Logika Informatika
Kode Mata Kuliah/ sks : MSIM 4103 / 3 SKS
Nama Pengembang : Fika Dara Nurina Firdaus
Nama Penelaah :
Capaian Pembelajaran Mata Kuliah : Mahasiswa mampu mengidentifikasi kalimat (dalam bahasa
logika proposisional dan logika predikat), menentukan
komponen kalimat (dalam bahasa logika proposisional dan
logika predikat), mengkonstruksikan kalimat (dalam bahasa
logika proposisional dan logika predikat) berdasarkan
aturan sintaktik, memberi nilai ke masing-masing
komponen pembentuk kalimat (dalam bahasa logika
proposisional dan logika predikat), menentukan nilai
kebenaran kalimat. Mahasiswa juga diharapkan mampu
menentukan sifat-sifat kalimat khususnya validitas kalimat,
melakukan substitusi kalimat baik total maupun parsial,
melakukan perluasan interpretasi kalimat (dalam Bahasa
logika proposisional dan logika predikat).

Capaian Pembelajaran Umum (CPU) : Mahasiswa mampu menjelaskan subsitusi kalimat

Capaian Pembelajaran Khusus (CPK)
: 1. Mahasiswa mampu memahami notasi formal yang
digunakan dalam substitusi parsial maupun total.
2. Mahasiswa mampu melakukan substitusi kalimat secara
parsial maupun secara total.
3. Mahasiswa mampu mengevaluasi hasil substitusi.

Pokok Bahasan Sub Pokok Bahasan dan Rincian Bahasan

Subsitusi Kalimat 1. Substitusi Tunggal
a. Substitusi Total
b. Substitusi Parsial
2. Substitusi Multi
a. Substitusi Total
b. Substitusi Parsial

Rincian Kegiatan Tuton Referensi &

No. Tahapan
(Skenario Pembelajaran Online) Sumber Belajar
1. Kegiatan Pendahuluan  Menyapa mahasiswa [1][2][3]
 Memberikan penjelasan singkat aktivitas
belajar
 Memberikan penjelasan kompetensi yang
diharapkan
 Memberikan paparan singkat materi pada
sesi sebelumnya: Pembuktian Validitas
dengan Pohon semantik dan Proof by
Falsification.
2. Kegiatan Inti  Menjelaskan paparan singkat konsep
1. Substitusi Tunggal
2. Substitusi Multi
 BB03-RK16d RII.0
15 Agustus 2019

Rincian Kegiatan Tuton Referensi &

No. Tahapan
(Skenario Pembelajaran Online) Sumber Belajar
 Menyiapkan materi pendukung
PDF/PPT/MODUL 1/VIDEO/ARTIKEL/LINK
 Menyiapkan Forum diskusi dan tanya
jawabdengan mahasiswa
 Memberikan feedback dan penilaian pada
forum diskusi
3. Tes Formatif Menjelaskan petunjuk cakupan materi dan
aturan dalam mengerjakan tes formatif (tes
objektif)
4. Kegiatan Penutup Memberikan kesimpulan hasil diskusi
5. Tugas Tutorial 1/2/3*  Memberikan penjelasan tentang tugas
tutorial 2 yang harus dikerjakan oleh
mahasiswa dan informasi batas waktu
mengunggah tugas
 Memberikan penjelasan aturan dan tata
cara penilaian tugas tutorial 2
* lingkari salah satu nomor sesuai sesi tutorial online

Daftar Pustaka/OER

[1] Z. Manna and R. Waldinger, The Logical Basis for Computer Programming, Volume 2: Deductive
Systems, Addison - Wesley, 1990.
[2] M. Bergmann, J. Moor, and J. Nelson, The Logic Book. 6th edition. New York, NY: McGraw-Hill, 2014.
[3] K. H. Rosen, Discrete Mathematics and Its Applications. 7th edition. New York, NY: McGraw-Hill, 2012
 BB03-RK16d RII.0
15 Agustus 2019

SATUAN ACARA TUTORIAL (SAT) ONLINE

TAHUN 2021

Sesi ke- : 3/5/7*

Nama Mata Kuliah : Logika Informatika
Kode Mata Kuliah/ sks : MSIM 4103 / 3 SKS
Nama Pengembang : Fika Dara Nurina Firdaus
Nama Penelaah :
Capaian Pembelajaran Mata Kuliah : Mahasiswa mampu mengidentifikasi kalimat (dalam bahasa
logika proposisional dan logika predikat), menentukan
komponen kalimat (dalam bahasa logika proposisional dan
logika predikat), mengkonstruksikan kalimat (dalam bahasa
logika proposisional dan logika predikat) berdasarkan
aturan sintaktik, memberi nilai ke masing-masing
komponen pembentuk kalimat (dalam bahasa logika
proposisional dan logika predikat), menentukan nilai
kebenaran kalimat. Mahasiswa juga diharapkan mampu
menentukan sifat-sifat kalimat khususnya validitas kalimat,
melakukan substitusi kalimat baik total maupun parsial,
melakukan perluasan interpretasi kalimat (dalam Bahasa
logika proposisional dan logika predikat).

Capaian Pembelajaran Umum (CPU) : Mahasiswa mampu menjelaskan interpretasi yang diperluas
dan validitas pada kalimat logika predikat.

Capaian Pembelajaran Khusus (CPK) : 1. Mahasiswa mampu memahami pengertian tentang

interpretasi yang diperluas.
2. Mahasiswa mampu memperluas interpretasi.
3. Mahasiswa mampu menentukan nilai kalimat
terkuantifaier.
4. Mahasiswa mampu menentukan validitas kalimat logika
predikat.

Pokok Bahasan Sub Pokok Bahasan dan Rincian Bahasan

Interpretasi yang Diperluas dan 1. Interpretasi yang Diperluas
Validitas 2. Validitas Kalimat Logika Predikat

Rincian Kegiatan Tuton Referensi &

No. Tahapan
(Skenario Pembelajaran Online) Sumber Belajar
1. Kegiatan Pendahuluan  Menyapa mahasiswa [1][2][3]
 Memberikan penjelasan singkat aktivitas
belajar
 Memberikan penjelasan kompetensi yang
diharapkan
 Memberikan paparan singkat materi pada
sesi sebelumnya: Kalimat Logika Predikat
2. Kegiatan Inti  Memberikan paparan singkat konsep
1. Interpretasi yang Diperluas
2. Validitas Kalimat Logika Predikat
 Menyiapkan materi pendukung
PDF/PPT/MODUL 1/VIDEO/ARTIKEL/LINK
 BB03-RK16d RII.0
15 Agustus 2019

Rincian Kegiatan Tuton Referensi &

No. Tahapan
(Skenario Pembelajaran Online) Sumber Belajar
 Menyiapkan Forum diskusi dan tanya
jawabdengan mahasiswa
 Memberikan feedback dan penilaian pada
forum diskusi
3. Tes Formatif Menjelaskan petunjuk cakupan materi dan
aturan dalam mengerjakan tes formatif (tes
objektif)
4. Kegiatan Penutup Memberikan kesimpulan hasil diskusi
5. Tugas Tutorial 1/2/3*  Memberikan penjelasan tentang tugas
tutorial 3 yang harus dikerjakan oleh
mahasiswa dan informasi batas waktu
mengunggah tugas
 Memberikan penjelasan aturan dan tata
cara penilaian tugas tutorial 3
* lingkari salah satu nomor sesuai sesi tutorial online

Daftar Pustaka/OER

[4] Z. Manna and R. Waldinger, The Logical Basis for Computer Programming, Volume 2: Deductive
Systems, Addison - Wesley, 1990.
[5] M. Bergmann, J. Moor, and J. Nelson, The Logic Book. 6th edition. New York, NY: McGraw-Hill, 2014.
[6] K. H. Rosen, Discrete Mathematics and Its Applications. 7th edition. New York, NY: McGraw-Hill, 2012