About Lesson
Welcome to topic 9 on Proof Methods Part 1. After completing this topic, you are expected to understand:
- LO-01: the terminologies used in mathematical proving,
- LO-02: the importance of mathematical proofs in computer science and informatics,
- LO-03: sentences and language used in theorem and proofs,
- LO-04: direct proof methods,
- LO-05: indirect proof methods using contrapositive.
Selamat datang di Topik 9 mengenai Teknik Pembuktian 1. Setelah menyelesaikan topik ini, Anda diharapkan menguasai capaian berikut:
- LO-01: Mengetahui istilah-istilah yang digunakan dalam pembuktian matematis.
- LO-02: Mengetahui motivasi pembuktian matematis dalam ilmu komputer dan informatika.
- LO-03: Memahami kalimat dan penggunaan bahasa pada teorema dan bukti.
- LO-04: Mengetahui metode pembuktian matematis dengan bukti langsung.
- LO-05: Mengetahui metode pembuktian matematis dengan bukti tak langsung menggunakan kontraposisi.