Memahami Logika Matematika Lanjutan: Dari Induksi Matematika hingga Teori Himpunan Elementer | Open CourseWare Telkom University

Course Details

MOOC Fakultas Informatika (FIF)

Memahami Logika Matematika Lanjutan: Dari Induksi Matematika hingga Teori Himpunan Elementer

Teacher

Telkom University

Last Update:

Juli 5, 2024

Review:

0(0)

About Course

Sumber : onlinelearning.telkomuniversity.ac.id

Course Announcement (Pengumuman Perkuliahan)
Course Announcement (Pengumuman Perkuliahan)
- General News and AnnouncementsForum
  General News and announcements.
- Supporting Documents
- Mathematical Logic Course Plan (2023)File
  Mathematical Logic Course Plan (2023).
- How to edit your profile picture in LMS?
  How to edit your profile picture in LMS?
- How to edit your profile picture in MS Teams?
  How to edit your profile picture in MS Teams?
- Telegram Channel for Backup Communication
- Telegram Channel for Backup Communication (IF-47-PJJ)URL
  Please join the following Telegram channel as a backup for our communication of Mathematical Logic class at IF-46-PJJ.

Course Content

Topic 11: Mathematical Induction 1 (Topik 11: Induksi Matematika 1)
Induction-DominoWelcome to topic 11 on Mathematical Induction 1 (Ordinary Mathematical Induction). After completing this topic, you are expected to understand:LO-01: the motivation and relevance of the principle of mathematical induction in mathematical proofs, LO-02: the structure of proofs in ordinary mathematical induction, LO-03: methods to apply mathematical induction in mathematical proofs.Selamat datang di Topik 11 mengenai Induksi Matematika 1 (Induksi Matematika Biasa). Setelah meyelesaikan topik ini, Anda diharapkan menguasai capaian berikut:LO-01: Mengetahui motivasi dan relevansi penggunaan prinsip induksi matemartika biasa dalam pembuktian matematis. LO-02: Mengetahui struktur pembutikan dengan prinsip induksi matematika biasa. LO-03: Menerapkan prinsip induksi matematika biasa dalam pembuktian matematis. Materi kuliah (slides)

Topic 12: Mathematical Induction 2 (Topik 12: Induksi Matematika 2)
StrongInductionWelcome to Topic 12 on Mathematical Induction 2 (Strong Induction). After completing this topic, you are expected to understand:LO-01: the motivation and relevance of strong induction in mathematical proofs, LO-02: the structure of mathematical proofs involving strong induction, LO-03: methods to prove mathematical statements using strong induction.Selamat datang di Topik 12 mengenai Induksi Matematika 2 (Induksi Kuat). Setelah menyelesaikan topik ini, Anda diharapkan menguasai capaian berikut:LO-01: Mengetahui motivasi dan relevansi penggunaan induksi kuat dalam pembuktian matematis. LO-02: Mengetahui struktur pembuktian dengan induksi kuat. LO-03: Menerapkan induksi kuat dalam pembuktian matematis. Materi kuliah (slides)

Topic 13: Elementary Set Theory 1 (Topik 13: Teori Himpunan Elementer 1)
Venn'sDiagram Welcome to Topic 13 in Elementary Set Theory Part 1 . After completing this topic, you are expected to be able in:LO-01: reading and writing set notations correctly, LO-02: classifying elements of pertinent sets of numbers, LO-03: drawing Venn diagram of several sets operation, LO-04: determining the relationship between two or more sets: subset, superset, set equality, LO-05: determining the cardinality of finite sets, LO-06: determining the power set of a finite set.Selamat datang di Topik 13 mengenai Teori Himpunan Elementer – Bagian 1. Setelah menyelesaikan topik ini, Anda diharapkan menguasai capaian berikut:LO-01: Membaca dan menulis notasi himpunan dengan benar dan tepat. LO-02: Mengetahui elemen-elemen dari himpunan bilangan yang penting. LO-03: Menggambarkan diagram Venn dari himpunan-himpunan yang terlibat. LO-04: Memahami hubungan antar himpunan: himpunan bagian (subset), superset, dan kesamaan himpunan. LO-05: Menentukan kardinalitas himpunan berhingga. LO-06: Menentukan himpunan kuasa dari suatu himpunan berhingga. Materi kuliah (slides)

Topic 14: Elementary Set Theory 2 (Topik 14: Teori Himpunan Elementer 2)
SetOperationWelcome to Topic 14 in Elementary Set Theory 2. After completing this topic, you are expected to understand the methods to:LO-01: perform elementary set operations (intersection, union, difference, xor, and complement), LO-02: perform generalized set operations, LO-03: read and write Cartesian product notation, LO-04: perform principle of inclusion and exclusion for two or three sets, LO-05: determine whether a collection of sets is a partition of a particular set, LO-06: write mathematical elementary proofs related to elementary set theory.Selamat datang di Topik 14 mengenai Teori Himpunan Bilangan Elementer – Bagian 2. Setelah menyelesaikan topik ini, Anda diharapkan menguasai capaian berikut:LO-01: Melakukan operasi himpunan elementer (irisan, gabungan, selisih, xor, dan komplemen). LO-02: Memahami operasi himpunan yang diperumum. LO-03: Membaca dan menulis notasi dasar produk kartesian. LO-04: Menerapkan prinsip inklusi-eksklusi untuk kasus sederhana. LO-05: Menentukan apakah suatu kumpulan himpunan merupakan suatu partisi dari himpunan berhingga tertentu. LO-06: Menuliskan bukti matematis sederhana yang terkait dengan himpunan. Materi kuliah (slides)

Student Ratings & Reviews

No Review Yet

No Review Yet