Topic outline
Logika dan Himpunan (SCMA601001/ 3 sks) Kelas Master
Kiki Ariyanti Sugeng
Bevina D. Handari
Nora Hariadi
kiki@ui.ac.id bevina@sci.ui.ac.id nora@ui.ac.id 
Arie Wibowo
Dipo Aldillaawibowo@ui.ac.id aldiladipol@sci.ui.ac.id Selamat datang rekan-rekan mahasiswa Universitas Indonesia angkatan 2020. Melalui mata kuliah/modul ini, Anda akan mempelajari dasar logika dan himpunan yang terdiri dari kalkulus proposisi, himpunan dan operasinya, predikat dan kuantifikasi, teknik-teknik pembuktian matematis, penggunaan logika proposisi dan logika predikat pada pembuktian matematis sederhana, dan penggunaan teknik pembuktian untuk menyelesaikan masalah matematis sederhana. Setelah mengikuti mata kuliah/modul anda akan mampu: menerapkan konsep dasar berpikir matematis.
Selamat belajar dan semoga sukses yaaaa.
LOGIKA PROPOSISI (Bagian 1)
Pada topik/modul ini, Anda diminta untuk
Orientasi (Asinkronus) :
- Membaca BRP (Buku Rancangan Pengajaran) dan kontrak kuliah.
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi konsep logika proposisi.
Orientasi (Sinkronus) :
- Mengikuti kuliah online tentang capaian pembelajaran dan motivasi untuk belajar logika dan himpunan serta pengantar konsep logika proposisi. (50 menit)
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi
- Pengerjaan tugas mandiri
Umpan Balik (Asinkronus):
- Memperoleh feedback dari diskusi di forum diskusi EMAS.
Setelah mempelajari topik ini, Anda akan mampu menjelaskan konsep logika proposisi (C2)
Video untuk Logika Proposisi bagian 1:
LOGIKA PROPOSISI (Bagian 2)
Pada topik/modul ini, Anda diminta untuk
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi konsep logika proposisi.
Latihan (Sinkronus):
- Pengerjakan Post-test (15 menit)
- Unggah tugas di LMS EMAS
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi di LMS EMAS(50 menit)
- Pengerjaan tugas mandiri (155 menit)
Umpan Balik (Sinkronus):
- Diskusi dan klarifikasi dari pengajar melalui MSTeams./Google Meet/Zoom (50 menit)
Umpan Balik (Asinkronus):
- Memperoleh nilai post-test serta hasil feedback dari tugas mahasiswa.
Setelah mempelajari topik ini, Anda akan mampu menjelaskan konsep logika proposisi (C2)
POST-TEST
Di EMAS 15 menit
HIMPUNAN DAN OPERASINYA (Bagian 1)
Pada topik/modul ini, Anda diminta untuk
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi konsep himpunan dan operasinya
Latihan (Sinkronus):
- Mengerjakan Pre-test
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi
- Pengerjaan tugas mandiri
Umpan Balik (Sinkronus):
- Diskusi dan klarifikasi dari pengajar melalui Forum diskusu EMAS(50 menit)
Umpan Balik (Asinkronus):
- Memperoleh nilai post-test serta hasil feedback dari tugas mahasiswa.
Setelah mempelajari topik ini, Anda akan mampu menjelaskan konsep himpunan dan operasinya (C2)
PRE-TEST
Di EMAS 15 menit
HIMPUNAN DAN OPERASINYA (Bagian 2)
Pada topik/modul ini, Anda diminta untuk
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi konsep himpunan dan operasiny.
Latihan (Sinkronus):
- Mengerjakan Post-test
- Unggah tugas di EMAS
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi
- Pengerjaan tugas mandiri
Umpan Balik (Sinkronus):
- Diskusi dan klarifikasi dari pengajar melalui MSTeams./Google Meet/zoom(50 menit)
Umpan Balik (Asinkronus):
- Memperoleh nilai post-test serta hasil feedback dari tugas mahasiswa.
Setelah mempelajari topik ini, Anda akan mampu menjelaskan konsep himpunan dan operasinya (C2)
KUIS 1
Materi: Logika Proposisi dan Himpunan
PREDIKAT DAN KUANTIFIKASI (Bagian 1)
Pada topik/modul ini, Anda diminta untuk membaca penjelasan di LMS EMAS mengenai apa yang harus dipelajari dan jadwal tugas serta pengumuman lainnya sebagai berikut:
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi konsep predikat dan kuantifikasi
Latihan (Sinkronus):
- Pengerjaan pretest materi konsep predikat dan kuantifikasi (15 menit)
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi di LMS EMAS (sinkronus) (50 menit)
- Pengerjaan tugas mandiri (125 menit)
Umpan Balik (Sinkronus):
- Diskusi dengan dosen (sinkronus) di LMS EMAS 50 menit
Umpan Balik (Asinkronus):
- Memperoleh nilai pre-test .
Setelah mempelajari topik ini, Anda akan mampu menjelaskan konsep predikat dan kuantifikasi (C2)
PRE-TEST
Di EMAS 15 menit
PREDIKAT DAN KUANTIFIKASI (Bagian 2)
Pada topik/modul ini, Anda diminta untuk membaca penjelasan di LMS EMAS mengenai apa yang harus dipelajari dan jadwal tugas serta pengumuman lainnya sebagai berikut:
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi konsep predikat dan kuantifikasi
Latihan (Sinkronus):
- -
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi di EMAS (sinkronus) (50 menit)
- Pengerjaan tugas mandiri (170 menit)
Umpan Balik (Sinkronus):
- Diskusi dan klarifikasi dari pengajar melalui MSTeams./Google Meet/zoom(50 menit)
Setelah mempelajari topik ini, Anda akan mampu menjelaskan konsep predikat dan kuantifikasi (C2)
PREDIKAT DAN KUANTIFIKASI (Bagian 3)
Pada topik/modul ini, Anda diminta untuk membaca penjelasan di LMS EMAS mengenai apa yang harus dipelajari dan jadwal tugas serta pengumuman lainnya sebagai berikut:
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi konsep predikat dan kuantifikasi
Latihan (Sinkronus):
- Pengerjaan post test materi konsep predikat dan kuantifikasi (15 menit)
- Kuis materi predikat dan kuantifikasi (30 menit)
- Unggah tugas predikat dan kuantifikasi ke LMS EMAS
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi di LMS EMAS (sinkronus) (50 menit)
- Pengerjaan tugas mandiri (125 menit)
Umpan Balik (Sinkronus):
- Diskusi dan klarifikasi dari pengajar melalui MSTeams./Google Meet/zoom(50 menit)
Umpan Balik (Asinkronus):
- Memperoleh nilai post-test serta hasil feedback dari tugas mahasiswa.
Setelah mempelajari topik ini, Anda akan mampu menjelaskan konsep predikat dan kuantifikasi (C2)
KUIS 2
Materi: Predikat dan Kuantifikasi
Kuis 2 terdiari dari 2 jenis soal:
1. 5 soal pilihan ganda
2. 1 soal essay
Semua soal dijawab melalui EMAS.
UJIAN MID SEMESTER
ATURAN INFERENSI (Bagian 1)
Pada topik/modul ini, Anda diminta untuk membaca penjelasan di LMS EMAS mengenai apa yang harus dipelajari dan jadwal tugas serta pengumuman lainnya sebagai berikut:
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi aturan inferensi
Latihan (Sinkronus) :
- Pengerjaan pre test materi aturan inferensi (15 menit)
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi di LMS EMAS (sinkronus) (50 menit)
Umpan Balik (Asinkronus):
- Diskusi dengan pengajar (sinkronus) di LMS EMAS (50 menit)
- Nilai pre-test
Setelah mempelajari topik ini, Anda akan mampu menjelaskan konsep predikat dan kuantifikasi (C2)
PRE-TEST
Di EMAS 15 menit
Kuis dilaksanakan hari Rabu 11 November 2020
Waktu : 10.00-10.15 waktu server EMAS
Materi : 1.6 Aturan Penarikan Kesimpulan
ATURAN INFERENSI (Bagian 2)
Pada topik/modul ini, Anda diminta untuk membaca penjelasan di LMS EMAS mengenai apa yang harus dipelajari dan jadwal tugas serta pengumuman lainnya sebagai berikut:
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi konsep aturan inferensi
Latihan (Sinkronus) :
- Pengerjaan post test materi aturan inferensi (15 menit)
- Unggah tugas di LMS EMAS
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi di LMS EMAS (sinkronus) (50 menit)
Umpan Balik (Sinkronus) :
- Diskusi dengan pengajar (sinkronus) melalui MSTeams/Google Meet/Zoom (50 menit)
Umpan Balik (Asinkronus) :
- Nilai post-test
- Umpan balik tugas mahasiswa di LMS EMAS
Setelah mempelajari topik ini, Anda akan mampu menjelaskan konsep predikat dan kuantifikasi (C2)
POST-TEST
Di EMAS 15 menit
TEKNIK PEMBUKTIAN (Bukti langsung dan tak langsung-Bagian 1)
Pada topik/modul ini, Anda diminta untuk membaca penjelasan di LMS EMAS mengenai apa yang harus dipelajari dan jadwal tugas serta pengumuman lainnya sebagai berikut:
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi teknik pembuktian
Latihan (Sinkronus):
- Pengerjaan pretest materi teknik pembuktiani (15 menit)
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi di LMS EMAS (sinkronus) (50 menit)
- Pengerjaan tugas mandiri (125 menit)
Umpan Balik (Sinkronus):
- Diskusi dengan dosen (sinkronus) di LMS EMAS 50 menit
Umpan Balik (Asinkronus):
- Memperoleh nilai pre-test .
Setelah mempelajari topik ini, Anda akan mampu menggunakan logika proposisi dan logika predikat pada pembuktian matematika sederhana (C3)
PRE-TEST
Di EMAS 15 menit
TEKNIK PEMBUKTIAN (Bukti langsung dan tak langsung-Bagian 2)
Pada topik/modul ini, Anda diminta untuk membaca penjelasan di LMS EMAS mengenai apa yang harus dipelajari dan jadwal tugas serta pengumuman lainnya sebagai berikut:
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi teknik pembuktian
Latihan (Sinkronus):
- -
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi di EMAS (sinkronus) (50 menit)
- Pengerjaan tugas mandiri (170 menit)
Umpan Balik (Sinkronus):
- Diskusi dan klarifikasi dari pengajar melalui MSTeams./Google Meet/zoom(50 menit)
Setelah mempelajari topik ini, Anda akan mampu menguji kebenaran pernyataan dalam masalah matematika sederhana menggunakan teknik pembuktian langsung, tidak langsung dan induksi matematika (C4)
TEKNIK PEMBUKTIAN (Bukti langsung dan tak langsung-Bagian 3)
Pada topik/modul ini, Anda diminta untuk membaca penjelasan di LMS EMAS mengenai apa yang harus dipelajari dan jadwal tugas serta pengumuman lainnya sebagai berikut:
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi teknik pembuktian
Latihan (Sinkronus):
- Pengerjaan post test materi teknik pembuktian (15 menit)
- Kuis materi teknik pembuktian (30 menit)
- Unggah tugas teknik pembuktian ke LMS EMAS
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi di LMS EMAS (sinkronus) (50 menit)
- Pengerjaan tugas mandiri (125 menit)
Umpan Balik (Sinkronus):
- Diskusi dan klarifikasi dari pengajar melalui MSTeams./Google Meet/zoom(50 menit)
Umpan Balik (Asinkronus):
- Memperoleh nilai post-test serta hasil feedback dari tugas mahasiswa.
Setelah mempelajari topik ini, Anda akan mampu menguji kebenaran pernyataan dalam masalah matematika sederhana menggunakan teknik pembuktian langsung, tidak langsung dan induksi matematika (C4)
KUIS 3
Materi: Aturan Inferensi, Teknik Pembuktian Langsung dan Tidak Langsung
TEKNIK PEMBUKTIAN (Bukti langsung dan tak langsung-Bagian 4)
Pada topik/modul ini, Anda diminta untuk membaca penjelasan di LMS EMAS mengenai apa yang harus dipelajari dan jadwal tugas serta pengumuman lainnya sebagai berikut:
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi bukti kasus dll
Latihan (Sinkronus) :
- Pengerjaan pre test materi bukti kasus dll(15 menit)
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi di EMAS (sinkronus) 50 menit
Umpan Balik (Asinkronus):
- Diskusi dengan pengajar (sinkronus) di EMAS 50 menit
- Nilai pre-test
Setelah mempelajari topik ini, Anda akan mampu menguji kebenaran pernyataan dalam masalah matematika sederhana menggunakan teknik pembuktian langsung, tidak langsung dan induksi matematika (C4)
PRE-TEST
Di EMAS 15 menit
TEKNIK PEMBUKTIAN (Induksi Matematika)
Pada topik/modul ini, Anda diminta untuk membaca penjelasan di LMS EMAS mengenai apa yang harus dipelajari dan jadwal tugas serta pengumuman lainnya sebagai berikut:
Orientasi (Asinkronus) :
- Membaca Informasi terkait kuliah minggu ini
- Belajar mandiri dengan melihat video (30 menit) dan ppt (30 menit) materi bukti kontradiksi
Latihan (Sinkronus) :
- Pengerjaan post test materi induksi matematik(15 menit)
- Unggah tugas di LMS EMAS
Latihan (Asinkronus) :
- Diskusi kelompok melalui forum diskusi di EMAS (sinkronus) (50 menit)
Umpan Balik (Asinkronus):
- Diskusi dengan pengajar (sinkronus) melalui MS Team/Google Meet/Zoom (50 menit)
- Nilai pre-test
Setelah mempelajari topik ini, Anda akan mampu menguji kebenaran pernyataan dalam masalah matematika sederhana menggunakan teknik pembuktian langsung, tidak langsung dan induksi matematika (C4)
POST-TEST
Di EMAS 15 menit
UJIAN AKHIR SEMESTER
MATERI UAS
1. Aturan Inferensi
- Pembuktian Langsung
- Pembuktian Tidak Langsung
- Pembuktian Kontradiksi
- Induksi Matematika
