Untuk melihat detail setiap judul pertemuan, silahkan masuk ke sistem CERDAS terlebih dahulu.
- Kontrak Kuliah dan RPS
- Tabel kebenaran logika matematika
- Tautologi, Kontradiksi dan Kontingensi, Konvers, Invers, dan Kontrapositif
- pernyatan yang eqivalen, serta pernyataan Berkuantor
- Modus Ponen, Modus Tollens, hyphotecal Silogisme, dan Silogisme Disjungtif
- pembuktian implikasi dan pembuktian tidak langsung
- pembuktian tautology
- UTS
- menyatakan himpunan, macam-macam himpunan
- hubungan antar dua himpunan, operasi himpunan
- sifat-sifat operasi himpunan
- Konsep dua dan tiga himpunan
- Pengertian tentang relasi dan Macam-macam relasi
- Fungsi
- Macam-macam Fungsi
- UAS