LOGIKA MATEMATIKA
0%
Previous
Course data
Course Announcement (Pengumuman Perkuliahan)
General News and Announcements
Mathematical Logic Course Plan (2021)
How to edit your profile picture in LMS?
How to Use Google Meet Using Telkom University SSO Login?
Telegram Channel for Backup Communication (IF-46-INT)
CII1B3 (Mathematical Logic, School of Computing, Telkom University)
RPS Logika Matematika
0. Pendahuluan Perkuliahan (ID)
0. Course Introduction (EN)
Topic 0: Introduction (Topik 0: Pendahuluan)
Course Plan for Mathematical Logic (RPS Logika Matematika)
0. Course Introduction (EN).
0. Pendahuluan Perkuliahan (ID)
Introduce Yourself Here! (Perkenalkan Dirimu Di Sini!)
Topic 1: Propositional Logic 1 (Topik 1: Logika Proposisi 1)
1. Materi Kuliah Topik 1 (ID)
1. Course Material for Topic 1 (EN)
Forum Diskusi Materi Topik 1: Logika Proposisi Bagian 1
Online Quiz 1: Logika Proposisi 1
Truth Table Generator
Truth Table Generator (Lawrence Turner)
Application: Logic's Gate
CII1B3-30212 - Logika Matematika - PB01 - M1 - MOTIVASI PENGGUNAAN LOGIKA PROPOSISI DALAM INFORMATIKA
CII1B3-30212 - Logika Matematika - PB01 - M2 - DEFINISI LOGIKA PROPOSISI
CII1B3-30212 - Logika Matematika - PB01 - M3 - CONTOH PROPOSISI
CII1B3-30212 - Logika Matematika - PB01 - M4 - BEBERAPA OPERATOR LOGIKA
CII1B3-30212 - Logika Matematika - PB01 - M5 - BAGIAN KEDUA DARI OPERATOR YANG ADA DALAM LOGIKA PROPOSISI
CII1B3-30212 - Logika Matematika - PB01 - M6 - PROPOSISI MAJEMUK
CII1B3-30212 - Logika Matematika - PB01 - M7 - PRESEDENS DALAM OPERATOR LOGIKA
Topic 2: Propositional Logic 2 (Topik 2: Logika Proposisi 2)
2. Materi Kuliah Topik 2 (ID)
2. Course Material for Topic 2 (EN)
Forum Diskusi Materi Topik 2: Logika Proposisi Bagian 2
Online Quiz 2: Logika Proposisi 2
Semantic Checker for Well-formed Propositional Formula
Some Logic Puzzles
Propositional Logic Word Problems
Propositional Equivalences
CII1B3-30212 - Logika Matematika - PB02 - M1 - INTERPRETASI DAN ATURAN SEMANTIK
CII1B3-30212 - Logika Matematika - PB02 - M2 - SIFAT FORMULA LOGIKA PROPOSISI
CII1B3-30212 - Logika Matematika - PB02 - M3 - CONTOH SIFAT FORMULA LOGIKA PROPOSISI
CII1B3-30212 - Logika Matematika - PB02 - M4 - KONSEKUENSI LOGIS
CII1B3-30212 - Logika Matematika - PB02 - M5 - KESETARAAN ATAU EKUIVALENSI
CII1B3-30212 - Logika Matematika - PB02 - M6 - HUKUM EKUIVALENSI LOGIKA
CII1B3-30212 - Logika Matematika - PB02 - M7 - CONTOH PENERAPAN HUKUM EKUIVALENSI LOGIKA PROPOSISI
Topic 3: Propositional Logic 3 (Topik 3: Logika Proposisi 3)
3. Materi Kuliah Topik 3 (ID)
3. Course Material for Topic 3 (EN)
Forum Diskusi Materi Topik 3: Logika Proposisi Bagian 3
Online Quiz 3: Logika Proposisi 3
Rules of Inference (by Stefan Waner and Steven R. Costenoble)
Translating Natural Languages and Logical Inferences
Rules of Inference: Summary
CII1B3-30212 - Logika Matematika - PB03 - M1 - TRANSLASI BAHASA ALAMI KE LOGIKA PROPOSISI
CII1B3-30212 - Logika Matematika - PB03 - M2 - CONTOH KONSISTENSI SPESIFIKASI SISTEM
CII1B3-30212 - Logika Matematika - PB03 - M3 - CONTOH PENERAPAN KONSISTENSI KOLEKSI FORMULA
CII1B3-30212 - Logika Matematika - PB03 - M4 - INFERENSI DASAR 1
CII1B3-30212 - Logika Matematika - PB03 - M5 - INFERENSI DASAR 2
CII1B3-30212 - Logika Matematika - PB03 - M6 - LATIHAN INFERENSI LOGIKA PROPOSISI 1
CII1B3-30212 - Logika Matematika - PB03 - M7 - LATIHAN INFERENSI LOGIKA PROPOSISI 2
CLO 1 Summary and Discussion
Topic 4: Predicate Logic 1 (Topik 4: Logika Predikat 1)
Topic 5: Predicate Logic 2 (Topik 5: Logika Predikat 2)
Topic 6: Predicate Logic 3 (Topik 6: Logika Predikat 3)
Topic 7: Logic Programming (Topik 7: Pemrograman Logika)
CLO 2: Summary and Discussion
Topic 8: High School Mathematics Review (Topik 8: Ulasan Matematika SMA)
Topic 9: Proof Methods Part 1 (Topik 9: Metode Pembuktian Matematis 1)
Topic 10: Proof Methods Part 2 (Topik 10: Metode Pembuktian Matematis 2)
Topic 11: Mathematical Induction 1 (Topik 11: Induksi Matematika 1)
Topic 12: Mathematical Induction 2 (Topik 12: Induksi Matematika 2)
CLO 3: Summary and Discussion
Topic 13: Elementary Set Theory 1 (Topik 13: Teori Himpunan Elementer 1)
Topic 14: Elementary Set Theory 2 (Topik 14: Teori Himpunan Elementer 2)
CLO 4: Summary and Discussion
Assignment 4: Elementary Set Theory
Next
Side panel
English (en)
Bahasa Indonesia (id)
English (en)
Enter your search query
Log in
CII1B3-29010
Home
Skip to main content
Course info
Home
Courses
FAKULTAS INFORMATIKA (FIF)
PRODI S1 TEKNOLOGI INFORMASI (FIF)
CII1B3-29010
Summary
LOGIKA MATEMATIKA
Teacher:
BAMBANG ARI WAHYUDI
Teacher:
WIKKY FAWWAZ AL MAKI
Teacher:
DANANG TRIANTORO MURDIANSYAH