Pengertian Logika Informatika

Pertemuan I mata kuliah Logika Informatika
Pengertian logika informatika adalah 

Disiplin ilmu yang mempelajari transformasi fakta berlambang yaitu data maupun informasi pada mesin berbasis komputasi dengan penalaran sehingga didapat suatu kesimpulan.

1.Logika proposisional

Fokus utama logika ini pada pernyataan-pernyataan yang dapat digolongkan dalam pengertian proposisiproposisi.

2.Logika predikat

Penyataan-pernyataan yang tidak dapat digolongkan sebagai proposisi, dan tidak dapat diproses dengan logika proposisional, akan ditangani logika predikat yang memfokuskan diri pada predikat yang selalu menyertai suatu pernyataan dalam bentuk kalimat.

Download Disini Materi Kuliah Pertemuan Pertama.