|
所在平台: Udemy |
课程主页: https://www.udemy.com/course/logika-matematika-bemath45z/
课程评论：没有评论
《数学逻辑》课程总结： 本课程深入探讨数学逻辑的基础知识和集合论。课程从命题的定义入手，详细讲解了命题的各种运算，包括合取、析取、蕴涵和双蕴涵，并辅以真值表进行说明。 随后，课程介绍了永真式（tautology）和永假式（contradiction）的概念。接下来，学习重点转向了量词，包括全称量词和存在量词。 在掌握了量词之后，课程进入了论证（argument）及其有效性证明。课程介绍了多种推理规则（rules of inference），如肯定前件（modus ponens）、否定后件（modus tollens）和假言推理（syllogism）等，以及替换规则（rules of replacement）。 最后，课程引导学习者如何运用这些规则进行不同类型的证明，包括直接证明和间接证明。 此外，课程还涵盖了集合论的初步知识，包括集合的定义、举例、运算、性质以及如何证明这些性质。
Kursus ini berisi materi tentang logika matematika dan teori himpunan. Mulai dari pemahaman tentang apa itu proposisi, operasi pada proposisi (konjungsi, disjungsi, implikasi, dan biimplikasi), tautologi dan kontradiksi, konvers, invers, kontraposisi, kuantor, aljabar boolean, aturan penarikan kesimpulan, serta pembuktian langsung dan tidak langsung. PadaPada pendahuluan tentang teori himpunan dijabarkan tentang definisi, contoh, operasi, sifat-sifat himpunan, serta bagaimana membuktikan sifat-sifat tersebut.Selanjutnya disajikan materi tentang proposisi, mulai dari pengertian dilanjutkan dengan proposisi majemuk yang dirangkai dengan operator dan, atau, jika maka, dan jika dan hanya jika (konjungsi, disjungsi, implikasi, dan biimplikasi). Semua penjelesan dilengkapi dengan tabel kebenaran.Materi selanjutnya adalah tentang apa yang terjadi jika suatu pernyataan selalu benar atau selalu salah, dalam hal ini yang dikenal dengan tautologi dan kontradiksi. Setelah itu masuk ke pembahasan tentang kuantor umum dan kuantor khusus.Setelah memahami kuantor, materi masuk ke pembahasan tentang apa itu argumen dan bagaimana membuktikan kesahihan argumen. Pembuktian ini dilakukan dengan menggunakan aturan pengambilan keputusan, mulai dari modus ponens, modus tolens, silogisme, dan berbagai aturan lainnya. Selain aturan pengambilan keputusan (rules of inference), materi juga dilengkapi dengan aturan penggantian atau rules of replacement.Dengan memahami kedua aturan tersebut, kita siap memasuki langkah-langkah pembuktian dengan menggunakan operator logika. Mulai dari pembuktian langsung, hingga pembuktian tidak langsung.
