Deskripsi

Mata kuliah Logika Matematika membahas konsep penting terkait logika dalam matematika yang selanjutnya digunakan untuk membangun pemikiran logis dalam menyelesaikan persoalan matematis, baik secara lisan maupun tulisan. Dalam mata kuliah ini dikaji konsep fundamental logika dalam matematika dan proposisi yang dilanjutkan dengan validitas deduksi dan proposisi majemuk. Pembahasan lebih lanjut terkait proposisi diberikan dalam bentuk tautologi, kontradiksi, konvers, dan invers. Pembuktian dua kolom dan langsung atau tak langsung juga dibahas menjelang tengah semester. Mahasiswa juga dibekali dengan pemahaman mendasar terkait himpunan dan operasinya, kuantor, relasi dan fungsi, serta ditutup dengan relasi ekivalensi.

Capaian Pembelajaran

• CPL 5 | CPMK 5.1 – Mampu menjelaskan (C2) dan mendemontrasikan (C3) penggunaan teori dan konsep dasar matematika meliputi logika, geometri, analisis bilangan riil, aljabar linier dan struktur aljabar dalam menganalisis (C4) masalah matematis dan membangun bukti yang valid dan logis.
• CPL 9 | CPMK 9.2 – Mahasiswa mampu menyesuaikan (C3) strategi komunikasi akademik yang rigor dan formal untuk menjelaskan konsep dan dasar teoretis matematika secara lisan dan tertulis kepada audiens akademik.

Referensi