Deskripsi
Mata kuliah Logika Himpunan membahas konsep dasar dan lanjutan dari logika dan himpunan yang digunakan dalam berbagai bidang ilmu komputer dan matematika. Mata kuliah ini mencakup penggunaan hukum-hukum logika untuk menyederhanakan proposisi, menguji kesahihan argumen, menentukan kebenaran proposisi logika dari kuantifier, konsep teoritis himpunan dan fungsi, operasi pada himpunan, prinsip inklusi dan eksklusi, konsep pemetaan dan pigeonhole, teknik-teknik menghitung, serta konsep induksi matematika dan teknik rekursi. Mahasiswa akan belajar untuk menerapkan konsep-konsep ini dalam menyelesaikan berbagai masalah.
Yang Kamu Pelajari
Hukum-Hukum Logika dan ProposisiKesahihan Argumen dan Kebenaran Proposisi Logika dari KuantifierKonsep Dasar Himpunan dan FungsiOperasi pada Himpunan dan Prinsip Inklusi dan EksklusiKonsep Pemetaan dan PigeonholeTeknik-Tehnik MenghitungInduksi MatematikaTeknik RekursiPenyusunan Bukti dengan Induksi Matematika
