Semua Course

Topic 7: Logic Programming (Topik 7: Pemrograman Logika)

Open CourseWare Telkom University > Lessons > Topic 7: Logic Programming (Topik 7: Pemrograman Logika)
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
About Lesson

PrologScript

Welcome to Topic 7 on Logic Programming with Prolog. After completing this topic, you are expected to:

  • LO-01: know Prolog (in general) as well as methods to install it,
  • LO-02: know how to use an interactive interpreter in Prolog,
  • LO-03: understand the basics of logic programming in Prolog (facts and queries),
  • LO-04: understand the methods to construct simple rules in Prolog,
  • LO-05: understand the representation of quantifiers in Prolog (supplementary),
  • LO-06: understand the terms equality and inequality in Prolog (supplementary).

 

 

Selamat datang di Topik 7 mengenai Pemograman Logika dengan Prolog. Setelah menyelesaikan topik ini, Anda diharapkan menguasai capaian berikut:

 

  • LO-01: Mengetahui Prolog secara umum dan tata cara instalasinya.
  • LO-02: Memahami cara pemakaian interpreter interaktif pada Prolog.
  • LO-03: Memahami dasar pemrograman logika pada Prolog: fakta dan query.
  • LO-04: Memahami cara mengkonstruksi aturan sederhana pada Prolog.
  • LO-05: Memahami representasi kuantor pada Prolog (suplemen).
  • LO-06: Memahami kesamaan dan ketaksamaan term pada Prolog (suplemen).
Previous
Next