Materi 1

LOGIKA FORMAL DAN

ILMU KOMPUTER

ASK 202-3 LOGIKA FORMAL DASAR

Semester Genap 2006/2007
 LOGIKA FORMAL
 Suatu bahasa formal yang mempunyai
 Sintaks : aturan untuk membentuk kalimat yang sah
 Semantik : aturan untuk memberikan makna dari suatu

kalimat
 Sistem pembuktian : suatu cara untuk mendapatkan

kebenaran suatu fakta berdasarkan kebenaran

sekumpulan fakta lain yang telah diketahui sebelumnya

logika formal & ikom - LFD - 2007 2

MENGAPA PERLU LOGIKA FORMAL ?

 Peranan logika dalam Ilmu Komputer :

membangun bahasa untuk memodelkan
situasi-situasi yang memungkinkan kita untuk
melakukan penalaran secara formal[2]
 Butuh bahasa formal (tidak ambigu)

 Butuh mekanisme inferensi

logika formal & ikom - LFD - 2007 3

PERANAN LOGIKA FORMAL DALAM
ILMU KOMPUTER
 RPL : pembuatan spesifikasi PL, verifikasi PL
 Rekayasa perangkat keras : simulasi,

perancangan, diagnosis, pengujian

 Sistem Cerdas : representasi pengetahuan,

metode inferensi

logika formal & ikom - LFD - 2007 4