Kode Mata Kuliah  : TIS 112
Mata Kuliah : Logika Informatika
SKS      : 2 (2-0)
Prasyarat                       : -

Mata kuliah ini membahas bagaimana proses penalaran manusia ditirukan oleh komputer, dari kumpulan fakta yang ada diturunkan menjadi fakta baru. Materi yang diberikan pada mata kuliah ini mencakup pengantar computational logic, representasi propotional logic mencakup sintaks dan semantik, representasi relational logic mencakup sintaks dan semantik, berbagai teknik pembuktian dari pendekatan semantic reasoning maupun proof method untuk propotional logic dan relational logic, serta paradigma pemrograman deklaratif yang menggunakan dasar relational logic untuk melakukan penalaran.

Buku Referensi:

  • Caferra, Ricardo. 2011. Logic for Computer Science and Artificial Intelligence. Wiley-ISTE
  • Dowek, G. 2011. Proofs and Algorithms: An Introduciton to Logic and Computability. London:  Springer
  • Li, W. 2014. Mathematical Logic: Foundation for Information Science 2nd Revised Edition. Basel: Springer
  • Rademaker, Alexandre. 2012. A proof theory for description logics. New York : Springer

DAFTAR MATA KULIAH TI

STMIK Teknokrat, Jln Z.A. Pagar Alam, 9-11 Kedaton Bandar Lampung
Telph: 0721-702022 Fax : 0721-702022