LOGIKA MATEMATIKA A
0%
Previous
Course data
Course Announcement (Pengumuman Perkuliahan)
Pengumuman
Announcements
Pengumuman Perkuliahan (Course Announcement)
CII-1B3 (Fakultas Informatika, Progam Studi S1 Informatika, S1 Teknologi Informasi, S1 Rekayasa Perangkat Lunak)
RPS Logika Matematika
0. Pendahuluan Perkuliahan (ID)
0. Course Introduction (EN)
Topik 1: Logika Proposisi 1
1. Materi Kuliah Topik 1 (ID)
1. Course Material for Topic 1 (EN)
Assignment 1: Propositional Logic 1
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
MSH1B3 - LOGIKA MATEMATIKA A - PB01 - M1 - MOTIVASI PENGGUNAAN LOGIKA PROPOSISI DALAM INFORMATIKA
MSH1B3 - LOGIKA MATEMATIKA A - PB01 - M2 - DEFINISI LOGIKA PROPOSISI
MSH1B3 - LOGIKA MATEMATIKA A - PB01 - M3 - CONTOH PROPOSISI
MSH1B3 - LOGIKA MATEMATIKA A - PB01 - M4 - BEBERAPA OPERATOR LOGIKA
MSH1B3 - LOGIKA MATEMATIKA A - PB01 - M5 - BAGIAN KEDUA DARI OPERATOR YANG ADA DALAM LOGIKA PROPOSISI
MSH1B3 - LOGIKA MATEMATIKA A - PB01 - M6 - PROPOSISI MAJEMUK
MSH1B3 - LOGIKA MATEMATIKA A - PB01 - M7 - PRESEDENS DALAM OPERATOR LOGIKA
Topik 2: Logika Proposisi 2
2. Materi Kuliah Topik 2 (ID)
2. Course Material for Topic 2 (EN)
Assignment 2: Propositional Logic 2
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
MSH1B3 - LOGIKA MATEMATIKA A - PB02 - M1 - INTERPRETASI DAN ATURAN SEMANTIK
MSH1B3 - LOGIKA MATEMATIKA A - PB02 - M2 - SIFAT FORMULA LOGIKA PROPOSISI
MSH1B3 - LOGIKA MATEMATIKA A - PB02 - M3 - CONTOH SIFAT FORMULA LOGIKA PROPOSISI
MSH1B3 - LOGIKA MATEMATIKA A - PB02 - M4 - KONSEKUENSI LOGIS
MSH1B3 - LOGIKA MATEMATIKA A - PB02 - M5 - KESETARAAN ATAU EKUIVALENSI
MSH1B3 - LOGIKA MATEMATIKA A - PB02 - M6 - HUKUM EKUIVALENSI LOGIKA
MSH1B3 - LOGIKA MATEMATIKA A - PB02 - M7 - CONTOH PENERAPAN HUKUM EKUIVALENSI LOGIKA PROPOSISI
Topik 3: Logika Proposisi 3
3. Materi Kuliah Topik 3 (ID)
3. Course Material for Topic 3 (EN)
Assignment 3: Propositional Logic 3
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
MSH1B3 - LOGIKA MATEMATIKA A - PB03 - M1 - TRANSLASI BAHASA ALAMI KE LOGIKA PROPOSISI
MSH1B3 - LOGIKA MATEMATIKA A - PB03 - M2 - CONTOH KONSISTENSI SPESIFIKASI SISTEM
MSH1B3 - LOGIKA MATEMATIKA A - PB03 - M3 - CONTOH PENERAPAN KONSISTENSI KOLEKSI FORMULA
MSH1B3 - LOGIKA MATEMATIKA A - PB03 - M4 - INFERENSI DASAR 1
MSH1B3 - LOGIKA MATEMATIKA A - PB03 - M5 - INFERENSI DASAR 2
MSH1B3 - LOGIKA MATEMATIKA A - PB03 - M6 - LATIHAN INFERENSI LOGIKA PROPOSISI 1
MSH1B3 - LOGIKA MATEMATIKA A - PB03 - M7 - LATIHAN INFERENSI LOGIKA PROPOSISI 2
Topik 4: Logika Predikat 1
4. Materi Kuliah Topik 4 (ID)
4. Course Material for Topic 4 (EN)
Assignment 4: Predicate Logic 1
Forum Diskusi Materi Topik 4: Logika Predikat Bagian 1
Online Quiz 4: Logika Predikat 1
First-Order Logic: Formal Definition
Introduction to Quantifiers
Predicate Logic: Syntax Rules
MSH1B3 - LOGIKA MATEMATIKA A - PB04 - M1 - PENDAHULUAN DAN MOTIVASI
MSH1B3 - LOGIKA MATEMATIKA A - PB04 - M2 - KUANTOR UNIVERSAL
MSH1B3 - LOGIKA MATEMATIKA A - PB04 - M3 - KUANTOR EKSISTENSIAL
MSH1B3 - LOGIKA MATEMATIKA A - PB04 - M4 - VARIABEL TERIKAT DAN VARIABEL BEBAS
MSH1B3 - LOGIKA MATEMATIKA A - PB04 - M5 - KUANTOR BERSUSUN (BAGIAN 1)
MSH1B3 - LOGIKA MATEMATIKA A - PB04 - M6 - KUANTOR BERSUSUN (BAGIAN 2)
MSH1B3 - LOGIKA MATEMATIKA A - PB04 - M7 - CAKUPAN DAN PRESEDENS
Topik 5: Logika Predikat 2
5. Materi Kuliah Topik 5 (ID)
5. Course Material for Topic 5 (EN)
Assignment 5: Predicate Logic 2
Forum Diskusi Materi Topik 5: Logika Predikat Bagian 2
Online Quiz 5: Logika Predikat 2
Negation of Quantified Statements
Prenex Normal Form
Some Theorems with Nested Quantification
MSH1B3 - LOGIKA MATEMATIKA A - PB05 - M1 - KEBENARAN FORMULA BERKUANTOR TUNGGAL
MSH1B3 - LOGIKA MATEMATIKA A - PB05 - M2 - KEBENARAN FORMULA DGN KUANTIFIKASI DUA VARIABEL (TEORI)
MSH1B3 - LOGIKA MATEMATIKA A - PB05 - M3 - KEBENARAN FORMULA DGN KUANTIFIKASI DUA VARIABEL (CONTOH)
MSH1B3 - LOGIKA MATEMATIKA A - PB05 - M4 - ILUSTRASI FORMULA DGN KUANTIFIKASI DUA VARIABEL
MSH1B3 - LOGIKA MATEMATIKA A - PB05 - M5 - SEMANTIK INTUITIF FORMULA LOGIKA PREDIKAT
MSH1B3 - LOGIKA MATEMATIKA A - PB05 - M6 - NEGASI KUANTOR UNIVERSAL & EKSISTENSIAL
MSH1B3 - LOGIKA MATEMATIKA A - PB05 - M7 - LATIHAN NEGASI KUANTOR UNIVERSAL & EKSISTENSIAL
Topik 6: Logika Predikat 3
6. Materi Kuliah Topik 6 (ID)
6. Course Material for Topic 6 (EN)
Assignment 6: Predicate Logic 3
Forum Diskusi Materi Topik 6: Logika Predikat Bagian 3
Online Quiz 6: Logika Predikat 3
Summary on First-Order Logic Inferences
From English to Logic
Rules of Inference by Mark Thorsby
MSH1B3 - LOGIKA MATEMATIKA A - PB06 - M1 - TRANSLASI BAHASA ALAMI KE LOGIKA PREDIKAT
MSH1B3 - LOGIKA MATEMATIKA A - PB06 - M2 - CONTOH TRANSLASI DARI BAHASA MANUSIA KE FORMULA PREDIKAT
MSH1B3 - LOGIKA MATEMATIKA A - PB06 - M3 - LATIHAN TRANSLASI DARI BAHASA ALAMI KE FORMULA PREDIKAT
MSH1B3 - LOGIKA MATEMATIKA A - PB06 - M4 - NEGASI KALIMAT BERKUANTOR
MSH1B3 - LOGIKA MATEMATIKA A - PB06 - M5 - DEFINISI INSTANSI UNIVERSAL, GENERALISASI UNIVERSAL, DAN INSTANSIASI EKSISTENSIAL
MSH1B3 - LOGIKA MATEMATIKA A - PB06 - M6 - GENERALISASI EKSISTENSIAL, MODUS PONENS DAN TOLLENS UNIVERSAL
MSH1B3 - LOGIKA MATEMATIKA A - PB06 - M7 - LATIHAN SOAL INFERENSI
Topik 7: Pemrograman Logika
7. Materi Kuliah Topik 7 (ID)
7. Course Material for Topic 7 (EN)
Assignment 7: Logic Programming
Forum Diskusi Materi Topik 7: Pemrograman Logika
Online Quiz 7: Pemrograman Logika
Free Electronic Book: Learn Prolog Now!
SWI Prolog Homepage
SWISH: Prolog Online Editor and Interpreter
Watson: A Supercomputer that Uses Prolog
MSH1B3 - LOGIKA MATEMATIKA A - PB07 - M1 - APA ITU PROLOG
MSH1B3 - LOGIKA MATEMATIKA A - PB07 - M2 - TATA CARA INSTALASI PROLOG
MSH1B3 - LOGIKA MATEMATIKA A - PB07 - M3 - PEMAKAIAN INTERPRETER INTERAKTIF DAN ARITMATIKA PADA PROLOG
MSH1B3 - LOGIKA MATEMATIKA A - PB07 - M4 - DASAR-DASAR MENULIS PROGRAM PADA PROLOG
MSH1B3 - LOGIKA MATEMATIKA A - PB07 - M5 - INPUT OUTPOUT QUERY PADA PROLOG, VARIABEL DAN QUERY VARIABEL PADA PROLOG
MSH1B3 - LOGIKA MATEMATIKA A - PB07 - M6 - KONSTRUKSI ATURAN SEDERHANA PADA PROLOG
MSH1B3 - LOGIKA MATEMATIKA A - PB07 - M7 - KONSTRUKSI ATURAN SEDERHANA PADA PROLOG (BAGIAN 2)
Topik 8: Ulasan Matematika SMA
8. Materi Kuliah Topik 8 (ID)
8. Course Material for Topic 8 (EN)
Assignment 8: High School Mathematics Review
Forum Diskusi Materi Topik 8: Ulasan Matematika SMA
Online Quiz 8: Ulasan Matematika SMA
Khan Academy: Basics Algebra
Planet Math: Integers and Rational Numbers
Brilliant: Some Important Algebraic Identities
MSH1B3 - LOGIKA MATEMATIKA A - PB08 - M1 - HIMPUNAN BILANGAN BULAT DAN DEFINISI KETERBAGIAN
MSH1B3 - LOGIKA MATEMATIKA A - PB08 - M2 - FPB (GCD) DAN KPK (LCM)
MSH1B3 - LOGIKA MATEMATIKA A - PB08 - M3 - BILANGAN GANJIL DAN BILANGAN GENAP
MSH1B3 - LOGIKA MATEMATIKA A - PB08 - M4 - DEFINISI KUADRAT SEMPURNA
MSH1B3 - LOGIKA MATEMATIKA A - PB08 - M5 - DEFINISI BILANGAN RASIONAL
MSH1B3 - LOGIKA MATEMATIKA A - PB08 - M6 - PANGKAT (EKSPONEN) DAN AKAR
MSH1B3 - LOGIKA MATEMATIKA A - PB08 - M7 - IDENTITAS ALJABAR
Topik 9: Metode Pembuktian Matematis 1
9. Materi Kuliah Topik 9 (ID)
9. Course Material for Topic 9 (EN)
Assignment 9: Proof Methods 1
Forum Diskusi Materi Topik 9: Metode Pembuktian Matematis Bagian 1
Online Quiz 9: Metode Pembuktian Matematis 1
Scott Kennedy: An Introduction to Mathematical Theorems
Brilliant: Direct Proof
Proofs by Contraposition
MSH1B3 - LOGIKA MATEMATIKA A - PB09 - M1 - PENGANTAR DAN MOTIVASI PEMBUKTIAN MATEMATIS
MSH1B3 - LOGIKA MATEMATIKA A - PB09 - M2 - BUKTI LANGSUNG
MSH1B3 - LOGIKA MATEMATIKA A - PB09 - M3 - CONTOH BUKTI LANGSUNG (1)
MSH1B3 - LOGIKA MATEMATIKA A - PB09 - M4 - CONTOH BUKTI LANGSUNG (2)
MSH1B3 - LOGIKA MATEMATIKA A - PB09 - M5 - BUKTI TIDAK LANGSUNG DENGAN KONTRAPOSISI
MSH1B3 - LOGIKA MATEMATIKA A - PB09 - M6 - CONTOH PEMBUKTIAN KONTRAPOSISI 1
MSH1B3 - LOGIKA MATEMATIKA A - PB09 - M7 - CONTOH PEMBUKTIAN KONTRAPOSISI 2
Topik 10: Metode Pembuktian Matematis 2
10. Materi Kuliah Topik 10 (ID)
10. Course Material for Topic 2 (EN)
Assignment 10: Proof Methods 2
Forum Diskusi Materi Topik 10: Metode Pembuktian Matematis Bagian 2
Online Quiz 10: Metode Pembuktian Matematis 2
Proofs by Contradictions
Counterexamples
Classic Fallacies in Math
MSH1B3 - LOGIKA MATEMATIKA A - PB10 - M1 - BUKTI TIDAK LANGSUNG DENGAN KONTRADIKSI
MSH1B3 - LOGIKA MATEMATIKA A - PB10 - M2 - CONTOH BUKTI TIDAK LANGSUNG DENGAN KONTRADIKSI (1)
MSH1B3 - LOGIKA MATEMATIKA A - PB10 - M3 - CONTOH BUKTI TIDAK LANGSUNG DENGAN KONTRADIKSI (2)
MSH1B3 - LOGIKA MATEMATIKA A - PB10 - M4 - PEMBUKTIAN AKAR 2 BILANGAN IRASIONAL
MSH1B3 - LOGIKA MATEMATIKA A - PB10 - M5 - PEMBUKTIAN PERNYATAAN YANG EKUIVALEN
MSH1B3 - LOGIKA MATEMATIKA A - PB10 - M6 - (CONTOH) PENYANGKAL PERNYATAAN
MSH1B3 - LOGIKA MATEMATIKA A - PB10 - M7 - STRATEGI PEMBUKTIAN & KESALAHAN DLM BUKTI MATEMATIS
Topik 11: Induksi Matematika 1
11. Materi Kuliah Topik 11 (ID)
11. Course Material for Topic 11 (EN)
Assignment 11: Mathematical Induction 1
Forum Diskusi Materi Topik 11: Induksi Matematika Bagian 1
Online Quiz 11: Induksi Matematika 1
The Math Page: Mathematical Induction
Mathematical Induction: Some Problems and Solution (analyzemath.com)
Wikibooks: Proof by Induction
Proving Program Correctness Using Induction
MSH1B3 - LOGIKA MATEMATIKA A - PB11- M1 - MOTIVASI INDUKSI MATEMATIKA DAN VERIFIKASI KEBENARAN DENGAN CONTOH
MSH1B3 - LOGIKA MATEMATIKA A - PB11- M2 - ARTI DAN ANALOGI INDUKSI MATEMATIKA (BIASA)
MSH1B3 - LOGIKA MATEMATIKA A - PB11- M3 - CARA KERJA INDUKSI MATEMATIKA
MSH1B3 - LOGIKA MATEMATIKA A - PB11- M4 - CONTOH PEMBUKTIAN DENGAN INDUKSI MATEMATIKA (1)
MSH1B3 - LOGIKA MATEMATIKA A - PB11- M5 - CONTOH PEMBUKTIAN DENGAN INDUKSI MATEMATIKA (2)
MSH1B3 - LOGIKA MATEMATIKA A - PB11- M6 - CONTOH PEMBUKTIAN DENGAN INDUKSI MATEMATIKA (3)
MSH1B3 - LOGIKA MATEMATIKA A - PB11- M7 - PROBLEM SOLVING
Topik 12: Induksi Matematika 2
12. Materi Kuliah Topik 12 (ID)
12. Course Material for Topic 12 (EN)
Assignment 12: Mathematical Induction 2
Forum Diskusi Materi Topik 12: Induksi Matematika Bagian 2
Online Quiz 12: Induksi Matematika 2
Brilliant: Strong Induction
Weak Induction vs. Strong Induction
Proving Program Correctness Using Strong Induction
MSH1B3 - LOGIKA MATEMATIKA A - PB12 - M1 - ARTI DAN DEFINISI INDUKSI KUAT
MSH1B3 - LOGIKA MATEMATIKA A - PB12 - M2 - CONTOH PEMBUKTIAN DENGAN INDUKSI KUAT (TEOREMA 4)
MSH1B3 - LOGIKA MATEMATIKA A - PB12 - M3 - KETERBATASAN INDUKSI MATEMATIKA BIASA
MSH1B3 - LOGIKA MATEMATIKA A - PB12 - M4 - CONTOH PEMBUKTIAN DENGAN INDUKSI KUAT (TEOREMA 5)
MSH1B3 - LOGIKA MATEMATIKA A - PB12 - M5 - CONTOH PEMBUKTIAN DENGAN INDUKSI KUAT (TEOREMA 6)
MSH1B3 - LOGIKA MATEMATIKA A - PB12 - M6 - PROBLEM SOLVING APPROACH BAGIAN (1)
MSH1B3 - LOGIKA MATEMATIKA A - PB12 - M7 - PROBLEM SOLVING APPROACH BAGIAN (2)
Topik 13: Teori Himpunan Elementer 1
13. Materi Kuliah Topik 13 (ID)
13. Course Material for Topic 13 (EN)
Assignment 13: Elementary Set Theory 1
Forum Diskusi Materi Topik 13: Teori Himpunan Elementer Bagian 1
Online Quiz 13: Teori Himpunan Elementer 1
A Brief History of Numbers
An Infinite Set: How Big is Infinity?
Subsets and Supersets
MSH1B3 - LOGIKA MATEMATIKA A - PB13 - M1 - DEFINISI, NOTASI, DAN CONTOH HIMPUNAN
MSH1B3 - LOGIKA MATEMATIKA A - PB13 - M2 - CARA MENDEFINISIKAN DAN MENULIS HIMPUNAN
MSH1B3 - LOGIKA MATEMATIKA A - PB13 - M3 - BEBERAPA HIMPUNAN BILANGAN
MSH1B3 - LOGIKA MATEMATIKA A - PB13 - M4 - HIMPUNAN SEMESTA DAN DIAGRAM VENN
MSH1B3 - LOGIKA MATEMATIKA A - PB13 - M5 - KESAMAAN HIMPUNAN DAN HIMPUNAN BAGIAN
MSH1B3 - LOGIKA MATEMATIKA A - PB13 - M6 - KARDINALITAS HIMPUNAN
MSH1B3 - LOGIKA MATEMATIKA A - PB13 - M7 - HIMPUNAN KUASA
Topik 14: Teori Himpunan Elementer 2
14. Materi Kuliah Topik 14 (ID)
14. Course Material for Topic 14 (EN)
Assignment 14: Teori Himpunan Elementer 2
Forum Diskusi Materi Topik 14: Teori Himpunan Elementer Bagian 2
Online Quiz 14: Teori Himpunan Elementer 2
Geeks for Geeks: Basic Set Operations
Set Theory: Identities and Theorems
Youtube Video: Prinsip Inklusi-Eksklusi (Bahasa Indonesia)
Youtube Video: Principle of Inclusion-Exclusion (English)
MSH1B3 - LOGIKA MATEMATIKA A - PB14 - M1 - GABUNGAN, IRISAN, DAN SELISIH
MSH1B3 - LOGIKA MATEMATIKA A - PB14 - M2 - OPERASI XOR, KOMPLEMEN, DAN HUKUM - HUKUM ALJABAR HIMPUNAN
MSH1B3 - LOGIKA MATEMATIKA A - PB14 - M3 - OPERASI GABUNGAN, IRISAN, DAN XOR YANG DI PERUMUM
MSH1B3 - LOGIKA MATEMATIKA A - PB14 - M4 - PRODUK KARTESIUS
MSH1B3 - LOGIKA MATEMATIKA A - PB14 - M5 - PRINSIP INKLUSI - EKSKLUSI DUA HIMPUNAN
MSH1B3 - LOGIKA MATEMATIKA A - PB14 - M6 - PRINSIP INKLUSI - EKSKLUSI TIGA HIMPUNAN
MSH1B3 - LOGIKA MATEMATIKA A - PB14 - M7 - PARTISI HIMPUNAN
Next
Side panel
English (en)
Bahasa Indonesia (id)
English (en)
Enter your search query
Log in
CLOMSH1B3
Home
Skip to main content
Course info
Home
Courses
ADVANCE LEARNING
CELOE DEVELOPMENT (CODE)
CLOMSH1B3
Summary
LOGIKA MATEMATIKA A
Teacher:
ANNISA ADITSANIA
Teacher:
MUHAMMAD ARZAKI
Teacher:
ANIQ ATIQI ROHMAWATI
Teacher:
RIO GUNTUR UTOMO
Teacher:
NURUL IKHSAN
Teacher:
IRMA PALUPI
Teacher:
DANANG TRIANTORO MURDIANSYAH