Course Description
Examining mathematical characteristics, deductive-axiomatic systems and structures, logical operations, quantifiers, drawing conclusions, sets, relations and functions
Program Objectives (PO)
- Memahami ciri matematika,pola pikir matematika sebagai struktur deduktif-aksiomatik
- Memahami konsep logika, kuantor, penarikan kesimpulan, validitas pembuktian, dan metode pembuktian
- Memahami konsep himpunan, relasi dan operasi himpunan, hukum aljabar himpunan,dan pembuktian proposisi himpunan
- Memahami relasi dan fungsi, relasi ekuivalen, fungsi bijektif, poset