- Course Announcement (Pengumuman Perkuliahan)Course Announcement (Pengumuman Perkuliahan)
- General News and AnnouncementsForumGeneral News and announcements.
- Supporting Documents
- Mathematical Logic Course Plan (2023)FileMathematical Logic Course Plan (2023).
- How to edit your profile picture in LMS?How to edit your profile picture in LMS?(Bagaimana cara mengedit foto profil Anda di LMS?)
- How to edit your profile picture in MS Teams?How to edit your profile picture in MS Teams?(Bagaimana cara mengedit foto profil Anda di MS Teams?)
- Telegram Channel for Backup Communication
- Telegram Channel for Backup Communication (IF-47-PJJ)URLPlease join the following Telegram channel as a backup for our communication of Mathematical Logic class at IF-46-PJJ.
- Topic 1: Propositional Logic 1 (Topik 1: Logika Proposisi 1)
Welcome to Topic 1 about Propositional Logic 1. After completing this topic, you are expected to:- LO-01: understand the definition of a proposition
- LO-02: know several types of propositional operators, such as: unary operator (negation) and binary operators (conjunction, disjunction, exclusive-disjunction (xor), implicaton, and bi-implication)
- LO-03: understand compound proposition constructed from atomic propositions
- LO-04: understand the precedence (order of operations) of logical operators
- LO-05: understand the methods to construct propositional formulas (supplementary).
Selamat datang di Topik 1 mengenai Logika Proposisi 1. Setelah menyelesaikan topik ini, Anda diharapkan menguasai capaian berikut:- LO-01: Memahami definisi dari proposisi.
- LO-02: Mengetahui jenis-jenis operator logika proposisional, di antaranya: operator uner: (negasi) dan operator biner (konjungsi, disjungsi, disjungsi eksklusif (xor), implikasi, dan biimplikasi)
- LO-03: Memahami proposisi majemuk yang dibentuk dari beberapa proposisi atomik.
- LO-04: Memahami presedens (urutan pengerjaan) dari operator logika.
- LO-05: Mengetahui metode pembentukan formula logika proposisi (suplemen).
- Materi kuliah (slides)
- 1. Materi Kuliah Topik 1 (ID)FileMateri Kuliah Topik 1: Logika Proposisi 1.
- 1. Course Material for Topic 1 (EN)FileCourse Material for Topic 1: Propositional Logic 1.
- Forum Diskusi Materi Topik 1: Logika Proposisi Bagian 1
- Forum Diskusi Materi Topik 1: Logika Proposisi Bagian 1Discussion Forum for Topic 1: Propositional Logic Part 1. You can ask and comment on the material of Topic 1 here.
Forum Diskusi Materi Topik 1: Logika Proposisi Bagian 1. Anda dapat bertanya terkait materi yang diberikan di topik ini. - Online Quiz
Online Quiz 1: Logika Proposisi 1Restricted Not available unless:- The activity (Missing activity) is marked complete
- The activity Forum Diskusi Materi Topik 1: Logika Proposisi Bagian 1 is marked complete
ID:Kuis untuk materi yang terkait dengan Topik 1: Logika Proposisi 1.Pastikan Anda sudah terdaftar dan login dengan akun mahasiswa Anda. Kuis terdiri atas 15 soal yang diambil secara acak dari setidaknya 30 soal pada bank soal untuk satu topik. Setiap mahasiswa memperoleh tiga kesempatan percobaan. Nilai kuis yang diambil adalah nilai percobaan terakhir.
Soal dapat berupa: pilihan ganda, isian singkat, mencocokkan/menjodohkan, atau soal benar/salah.- Tautan eksternal
- Truth Table GeneratorURL
- Truth Table Generator (Lawrence Turner)URL
- Application: Logic’s GateURL
- Video
- CII1B3-30212 – Logika Matematika – PB01 – M1 – MOTIVASI PENGGUNAAN LOGIKA PROPOSISI DALAM INFORMATIKAInteractive Content
- CII1B3-30212 – Logika Matematika – PB01 – M2 – DEFINISI LOGIKA PROPOSISIInteractive Content
- CII1B3-30212 – Logika Matematika – PB01 – M3 – CONTOH PROPOSISIInteractive Content
- CII1B3-30212 – Logika Matematika – PB01 – M4 – BEBERAPA OPERATOR LOGIKAInteractive Content
- CII1B3-30212 – Logika Matematika – PB01 – M5 – BAGIAN KEDUA DARI OPERATOR YANG ADA DALAM LOGIKA PROPOSISIInteractive Content
- CII1B3-30212 – Logika Matematika – PB01 – M6 – PROPOSISI MAJEMUKInteractive Content
- CII1B3-30212 – Logika Matematika – PB01 – M7 – PRESEDENS DALAM OPERATOR LOGIKAInteractive Content
- Topic 2: Propositional Logic 2 (Topik 2: Logika Proposisi 2)
Welcome to Topic 2 about Propositional Logic 2. After completing this topic, you are expected to:- LO-01: know how to determine the interpretation of compound propositional formulas,
- LO-02: know the semantics rule of propositonal logic,
- LO-03: know the properties of propositional logic formulas, such as: validity, satisfiability, contradiction, and contingency,
- LO-04: know validity proofs using formula schema (supplementary),
- LO-05: know the relationship between logical consequence and logical equivalence of some propositional formulas,
- LO-06: know some laws of equivalence for propositional logic.
Selamat datang di Topik 2 mengenai Logika Proposisi 2. Setelah menyelesaikan topik ini, Anda diharapkan menguasai capaian berikut:- LO-01: Mengetahui interpretasi dari suatu formula logika proposisi.
- LO-02: Mengetahui aturan semantik pada logika proposisi.
- LO-03: Mengetahui sifat-sifat dari formula logika proposisi di antaranya: sifat keabsahan (validity), sifat keterpenuhan (satisfiability), sifat kontradiksi (contradiction), dan sifat kontingensi (contingency).
- LO-04: Mengetahui pembuktian keabsahan dari skema formula (suplemen).
- LO-05: Mengetahui kaitan konsekuensi logis dan kesetaraan (ekuivalensi) dan dari beberapa formula logika.
- LO-06: Mengetahui hukum-hukum ekuivalensi logika proposisi.
- Materi kuliah (slides)
- 2. Materi Kuliah Topik 2 (ID)FileMateri Kuliah Topik 2: Logika Proposisi 2.
- 2. Course Material for Topic 2 (EN)FileCourse Material for Topic 2: Propositional Logic 2.
- Forum Diskusi
- Forum Diskusi Materi Topik 2: Logika Proposisi Bagian 2Discussion Forum for Topic 2: Propositional Logic Part 2. You can ask and comment on the material of Topic 2 here.
Forum Diskusi Materi Topik 1: Logika Proposisi Bagian 2. Anda dapat bertanya terkait materi yang diberikan di topik ini. - Online Quiz
- Online Quiz 2: Logika Proposisi 2Restricted Not available unless:
- The activity (Missing activity) is marked complete
- The activity Forum Diskusi Materi Topik 2: Logika Proposisi Bagian 2 is marked complete
The problem can be: multiple choice, short answer, matching, or true/false.
ID:Kuis untuk materi yang terkait dengan Topik 2: Logika Proposisi 2.Pastikan Anda sudah terdaftar dan login dengan akun mahasiswa Anda. Kuis terdiri atas 15 soal yang diambil secara acak dari setidaknya 30 soal pada bank soal untuk satu topik. Setiap mahasiswa memperoleh tiga kesempatan percobaan. Nilai kuis yang diambil adalah nilai percobaan terakhir.Soal dapat berupa: pilihan ganda, isian singkat, mencocokkan/menjodohkan, atau soal benar/salah. - Tautan eksternal
- Semantic Checker for Well-formed Propositional FormulaURL
- Some Logic PuzzlesURL
- Propositional Logic Word ProblemsURL
- Propositional EquivalencesURL
- Video
- CII1B3-30212 – Logika Matematika – PB02 – M1 – INTERPRETASI DAN ATURAN SEMANTIKInteractive Content
- CII1B3-30212 – Logika Matematika – PB02 – M2 – SIFAT FORMULA LOGIKA PROPOSISIInteractive Content
- CII1B3-30212 – Logika Matematika – PB02 – M3 – CONTOH SIFAT FORMULA LOGIKA PROPOSISIInteractive Content
- CII1B3-30212 – Logika Matematika – PB02 – M4 – KONSEKUENSI LOGISInteractive Content
- CII1B3-30212 – Logika Matematika – PB02 – M5 – KESETARAAN ATAU EKUIVALENSIInteractive Content
- CII1B3-30212 – Logika Matematika – PB02 – M6 – HUKUM EKUIVALENSI LOGIKAInteractive Content
- CII1B3-30212 – Logika Matematika – PB02 – M7 – CONTOH PENERAPAN HUKUM EKUIVALENSI LOGIKA PROPOSISIInteractive Content
- Topic 3: Propositional Logic 3 (Topik 3: Logika Proposisi 3)
Welcome to Topic 3 about Propositional Logic 3. After completing this topic, you are expected to be able to- LO-01: translate a simple natural language sentence into its corresponding propositional formula,
- LO-02: determine the consistency of a system specification,
- LO-03: determine the validity of an argument in propositional calculus inference,
- LO-04: perform elementary inference in propositional logic.
- LO-01: Mentranslasikan kalimat sederhana dalam bahasa alami ke formula logika proposisi yang bersesuaian.
- LO-02: Menentukan konsistensi dari suatu spesifikasi sistem sederhana.
- LO-03: Menentukan validitas argumen dalam inferensi kalkulus proposisi.
- LO-04: Melakukan inferensi sederhana dalam kalkulus proposisi.
- Materi kuliah (slides)
- 3. Materi Kuliah Topik 3 (ID)FileMateri Kuliah Topik 3: Logika Proposisi 3.
- 3. Course Material for Topic 3 (EN)FileCourse Material for Topic 3: Propositional Logic 3.
- Forum Diskusi
- Forum Diskusi Materi Topik 3: Logika Proposisi Bagian 3Discussion Forum for Topic 3: Propositional Logic Part 3. You can ask and comment on the material of Topic 3 here.
Forum Diskusi Materi Topik 3: Logika Proposisi Bagian 3. Anda dapat bertanya terkait materi yang diberikan di topik ini. - Online Quiz
- Online Quiz 3: Logika Proposisi 3Restricted Not available unless:
- The activity (Missing activity) is marked complete
- The activity Forum Diskusi Materi Topik 3: Logika Proposisi Bagian 3 is marked complete
The problem can be: multiple choice, short answer, matching, or true/false.
ID:Kuis untuk materi yang terkait dengan Topik 3: Logika Proposisi 3.Pastikan Anda sudah terdaftar dan login dengan akun mahasiswa Anda. Kuis terdiri atas 15 soal yang diambil secara acak dari setidaknya 30 soal pada bank soal untuk satu topik. Setiap mahasiswa memperoleh tiga kesempatan percobaan. Nilai kuis yang diambil adalah nilai percobaan terakhir.Soal dapat berupa: pilihan ganda, isian singkat, mencocokkan/menjodohkan, atau soal benar/salah. - Tautan eksternal
- Rules of Inference (by Stefan Waner and Steven R. Costenoble)URL
- Translating Natural Languages and Logical InferencesURL
- Rules of Inference: SummaryURL
- Video
- CII1B3-30212 – Logika Matematika – PB03 – M1 – TRANSLASI BAHASA ALAMI KE LOGIKA PROPOSISIInteractive Content
- CII1B3-30212 – Logika Matematika – PB03 – M2 – CONTOH KONSISTENSI SPESIFIKASI SISTEMInteractive Content
- CII1B3-30212 – Logika Matematika – PB03 – M3 – CONTOH PENERAPAN KONSISTENSI KOLEKSI FORMULAInteractive Content
- CII1B3-30212 – Logika Matematika – PB03 – M4 – INFERENSI DASAR 1Interactive Content
- CII1B3-30212 – Logika Matematika – PB03 – M5 – INFERENSI DASAR 2Interactive Content
- CII1B3-30212 – Logika Matematika – PB03 – M6 – LATIHAN INFERENSI LOGIKA PROPOSISI 1Interactive Content
- CII1B3-30212 – Logika Matematika – PB03 – M7 – LATIHAN INFERENSI LOGIKA PROPOSISI 2Interactive Content
Tinggalkan Balasan