Memahami Logika Matematika: Dari Dasar Logika Proposisi hingga Tingkat Lanjut

OCW Open CourseWare (OCW) Fakultas Informatika (FIF)

Memahami Logika Matematika: Dari Dasar Logika Proposisi hingga Tingkat Lanjut

Teacher

Telkom University

Last Update:

Agustus 13, 2024

Review:

0(0)

About Course

Sumber : onlinelearning.telkomuniversity.ac.id

Course Announcement (Pengumuman Perkuliahan)

Supporting Documents

Mathematical Logic Course Plan (2023)File

Mathematical Logic Course Plan (2023).

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?

(Bagaimana cara mengedit foto profil Anda di MS Teams?)

Telegram Channel for Backup Communication

Telegram Channel for Backup Communication (IF-47-PJJ)URL

Please join the following Telegram channel as a backup for our communication of Mathematical Logic class at IF-46-PJJ.

Course Content

Topic 1: Propositional Logic 1 (Topik 1: Logika Proposisi 1)

Topic 2: Propositional Logic 2 (Topik 2: Logika Proposisi 2)

Topic 3: Propositional Logic 3 (Topik 3: Logika Proposisi 3)

Student Ratings & Reviews

No Review Yet

Course Details

Memahami Logika Matematika: Dari Dasar Logika Proposisi hingga Tingkat Lanjut

Teacher

Last Update:

Review:

About Course

Telegram Channel for Backup Communication

Course Content

Topic 1: Propositional Logic 1 (Topik 1: Logika Proposisi 1)

Propositional Logic 1 (Logika Proposisi 1)

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)

Propositional Logic 2 (Logika Proposisi 2)

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)

Propositional Logic 3 (Logika Proposisi 3)

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

Telkom University

English

Link Terkait

Akademik

Subscribe