MSIM4103 – Logika Informatika (Edisi 2)

Deskripsi Mata Kuliah

Buku Materi Pokok (BMP) MSlM4103 Logika Informatika diberikan untuk membekali mahasiswa tentang konsep bahasa formal yaitu bahasa logika proposisional dan bahasa logika predikat yang keduanya merupakan dasar-dasar logika untuk pemrograman baik yang prosedural dan khususnya pemrograman lojik (seperti PROLOG). Mahasiswa akan belajar baik secara mandiri maupun berkelompok tentang bagaimana membuat kalimat (pernyataan) dengan menggunakan aturan sintaktik serta bagaimana menentukan nilai sebuah kalimat dengan menggunakan aturan semantik. Mahasiswa juga akan belajar bagaimana membuktikan validitas sebuah kalimat dengan menggunakan pohon semantik (semantic tree) dan teknik PBF (proof by falsification). Lebih dari itu setelah selesai mempelajari mata kuliah ini mahasiwa akan dibekali dengan kemampuan reasoning. Ketercapaian hasil belajar diukur dengan memberikan soal-soal kepada mahasiswa dalam bentuk ujian.