Untuk menggunakan layanan RBV secara fulltext, Anda gunakan login yang teraktivasi pada UT-Online (http://elearning.ut.ac.id) dan terdaftar sebagai mahasiswa Universitas Terbuka
MSIM4103 – Logika Informatika
Soeprapto
- Edisi 1 / 3 SKS / 9 Modul
- 404 Halaman: ilustrasi; 21 cm
- ISBN 9786023927760 | ESBN 9786023927777
- Tangerang Selatan: Universitas Terbuka, 2019
- Kelas DDC 23: 005.131
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.