Mata kuliah ini merupakan
pengantar matematika yang memperkenalkan konsep-konsep himpunan dan logika,
sehingga diharapkan para mahasiswa mampu menyusun deduksi dan berpikir secara
sistematik. Lingkup bahasannya meliputi Himpunan, Relasi, Fungsi, Cardinalitas, Logika, Kuantor, Metode Pembuktian, dan Aljabar Boolean.
Capaian MK
Memahami sifat-sifat dan Operasi Himpunan. Mengidentifikasi suatu relasi berdasarkan jenisnya. Membuktikan suatu fungsi berdasarkan sifat-sifatnya. Mengidentifikasi keanggotaan suatu fungsi. Membuktikan nilai kebenaran dari suatu pernyataan berkuantor berdasarkan prinsip-prinsip tautologi dan silogisma. Membuktikan nilai kebenaran dari suatu pernyataan matematika/teorema dengan menggunakan prinsip-prinsip pembuktian. Menyederhakan suatu sirkuit berdasarkan prinsip-prinsip aljabar Boolean
- Pengajar: Muh. Irwan S.Si., M.Si