Topic 9: Proof Methods Part 1 (Topik 9: Metode Pembuktian Matematis 1)

Open CourseWare Telkom University > Lessons > Topic 9: Proof Methods Part 1 (Topik 9: Metode Pembuktian Matematis 1)
Course Content
Topic 7: Logic Programming (Topik 7: Pemrograman Logika)
0/11
Topic 7: Logic Programming (Topik 7: Pemrograman Logika)
00:00
Materi kuliah (slides)
00:00
Forum Diskusi Materi Topik 7: Pemrograman Logika
00:00
Tautan eksternal
00:00
CII1B3-30212 – Logika Matematika – PB07 – M1 – APA ITU PROLOG
00:00
CII1B3-30212 – Logika Matematika – PB07 – M2 – TATA CARA INSTALASI PROLOG
00:00
CII1B3-30212 – Logika Matematika – PB07 – M3 – PEMAKAIAN INTERPRETER INTERAKTIF DAN ARITMATIKA PADA PROLOG
00:00
CII1B3-30212 – Logika Matematika – PB07 – M4 – DASAR-DASAR MENULIS PROGRAM PADA PROLOG
00:00
CII1B3-30212 – Logika Matematika – PB07 – M5 – INPUT OUTPOUT QUERY PADA PROLOG, VARIABEL DAN QUERY VARIABEL PADA PROLOG
00:00
CII1B3-30212 – Logika Matematika – PB07 – M6 – KONSTRUKSI ATURAN SEDERHANA PADA PROLOG
00:00
CII1B3-30212 – Logika Matematika – PB07 – M7 – KONSTRUKSI ATURAN SEDERHANA PADA PROLOG (BAGIAN 2)
00:00
Topic 8: High School Mathematics Review (Topik 8: Ulasan Matematika SMA)
0/12
Topic 8: High School Mathematics Review (Topik 8: Ulasan Matematika SMA)
00:00
Materi kuliah (slides)
00:00
Forum Diskusi Materi Topik 8: Ulasan Matematika SMA
00:00
Online Quiz 8: Ulasan Matematika SMAKuis
00:00
Tautan eksternal
00:00
CII1B3-30212 – Logika Matematika – PB08 – M1 – HIMPUNAN BILANGAN BULAT DAN DEFINISI KETERBAGIAN
00:00
CII1B3-30212 – Logika Matematika – PB08 – M2 – FPB (GCD) DAN KPK (LCM)
00:00
CII1B3-30212 – Logika Matematika – PB08 – M3 – BILANGAN GANJIL DAN BILANGAN GENAP
00:00
CII1B3-30212 – Logika Matematika – PB08 – M4 – DEFINISI KUADRAT SEMPURNA
00:00
CII1B3-30212 – Logika Matematika – PB08 – M5 – DEFINISI BILANGAN RASIONAL
00:00
CII1B3-30212 – Logika Matematika – PB08 – M6 – PANGKAT (EKSPONEN) DAN AKAR
00:00
CII1B3-30212 – Logika Matematika – PB08 – M7 – IDENTITAS ALJABAR
00:00
Topic 9: Proof Methods Part 1 (Topik 9: Metode Pembuktian Matematis 1)
0/12
Topic 9: Proof Methods Part 1 (Topik 9: Metode Pembuktian Matematis 1)
00:00
Materi kuliah (slides)
00:00
Forum Diskusi Materi Topik 9: Metode Pembuktian Matematis Bagian 1
00:00
Online Quiz 9: Metode Pembuktian Matematis 1Kuis
00:00
Tautan eksternal
00:00
CII1B3-30212 – Logika Matematika – PB09 – M1 – PENGANTAR DAN MOTIVASI PEMBUKTIAN MATEMATIS
00:00
CII1B3-30212 – Logika Matematika – PB09 – M2 – BUKTI LANGSUNG
00:00
CII1B3-30212 – Logika Matematika – PB09 – M3 – CONTOH BUKTI LANGSUNG (1)
00:00
CII1B3-30212 – Logika Matematika – PB09 – M4 – CONTOH BUKTI LANGSUNG (2)
00:00
CII1B3-30212 – Logika Matematika – PB09 – M5 – BUKTI TIDAK LANGSUNG DENGAN KONTRAPOSISI
00:00
CII1B3-30212 – Logika Matematika – PB09 – M6 – CONTOH PEMBUKTIAN KONTRAPOSISI 1
00:00
CII1B3-30212 – Logika Matematika – PB09 – M7 – CONTOH PEMBUKTIAN KONTRAPOSISI 2
00:00
Topic 10: Proof Methods Part 2 (Topik 10: Metode Pembuktian Matematis 2)
0/11
Topic 10: Proof Methods Part 2 (Topik 10: Metode Pembuktian Matematis 2)
00:00
Materi kuliah (slides)
00:00
Forum Diskusi Materi Topik 10: Metode Pembuktian Matematis Bagian 2
00:00
Tautan eksternal
00:00
CII1B3-30212 – Logika Matematika – PB10 – M1 – BUKTI TIDAK LANGSUNG DENGAN KONTRADIKSI
00:00
CII1B3-30212 – Logika Matematika – PB10 – M2 – CONTOH BUKTI TIDAK LANGSUNG DENGAN KONTRADIKSI (1)
00:00
CII1B3-30212 – Logika Matematika – PB10 – M3 – CONTOH BUKTI TIDAK LANGSUNG DENGAN KONTRADIKSI (2)
00:00
CII1B3-30212 – Logika Matematika – PB10 – M4 – PEMBUKTIAN AKAR 2 BILANGAN IRASIONAL
00:00
CII1B3-30212 – Logika Matematika – PB10 – M5 – PEMBUKTIAN PERNYATAAN YANG EKUIVALEN
00:00
CII1B3-30212 – Logika Matematika – PB10 – M6 – (CONTOH) PENYANGKAL PERNYATAAN
00:00
CII1B3-30212 – Logika Matematika – PB10 – M7 – STRATEGI PEMBUKTIAN & KESALAHAN DLM BUKTI MATEMATIS
00:00
Logika Matematika Terapan: Dari Pemrograman Logika hingga Metode Pembuktian Matematis dan Ulasan Materi Matematika SMA

    ComplexityTheory

    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.
    Previous
    Next
    Secret Link