Logika dan Himpunan
Deskripsi
Setelah mempelajari mata kuliah ini mahasiswa diharapkan mempunyai kemampuan tentang dasar logika dan himpunan serta mampu menggunakannya untuk menyelesaikan permasalahan yang berkaitan dengan logika dan himpunan. Mata kuliah ini membahas tentang materi logika dan himpunan. Materi logika, yaitu dasar-dasar logika, tabel kebenaran, proposisi majemuk, tautologi, ekuivalensi logis, pembuktian logika dan analisis argumen, kuantor, dan rangkaian logika. Materi himpunan, yaitu istilah dan simbol himpunan, diagram Venn, relasi himpunan, operasi himpunan, dan relasi. Budaya keislaman dibangun dengan rutinitas pada awal perkuliahan yaitu membaca Al-fatihah, 5-10 ayat Al-Qur’an dan artinya, serta doa Tholabul Ilmi, sedangkan pada akhir perkuliahan membaca doa Kafarotul Majlis. Strategi penyajian mata kuliah ini meliputi ekspositori, presentasi, diskusi, latihan, dan tugas-tugas. Penilaian akhir keberhasilan belajar mahasiswa pada mata kuliah ini menggunakan pendekatan acuan patokan (PAP) dengan unsure penilaian meliputi aktivitas kehadiran, tugas-tugas, ujian tengah semester, dan ujian akhir semester.
Capaian Pembelajaran
a. Mahasiswa mampu mengevaluasi validitas argumen dari proposisi majemuk yang terdiri dari premispremis dan kesimpulan dengan tabel kebenaran.
b. Mahasiswa mampu mengevaluasi validitas argumen dari proposisi majemuk yang terdiri dari premispremis dan kesimpulan dengan cara penyederhanaan atau stategi pembalikan
c. Mahasiswa dapat menggunakan logika proposisional baik dalam matematika sendiri, dalam mata pelajaran lain, maupun dalam kehidupan sehari-hari
d. Mahasiswa mampu menerapkan prinsip inklusi dan eksklusi pada himpunan untuk menyelesaikan permasalahan dalam kehidupan sehari-hari
e. Mahasiswa dapat mengevaluasi sifat dan operasi relasi dan fungsi dari dua himpunan yang diketahui
Materi
a. Dasar-dasar logika,
b. Tabel kebenaran,
c. Proposisi majemuk,
d. Tautologi,
e. Ekuivalensi logis,
f. Pembuktian logika dan analisis argumen,
g. Kuantor,
h. Rangkaian logika,
i. Istilah dan simbol himpunan,
j. Diagram Venn,
k. Relasi himpunan,
l. Operasi himpunan,
m. Relasi.
Penilaian
1. Presensi
2. Tugas
3. UTS
4. UAS