Materi 0 OVERVIEW KULIAH

1
Materi 0 OVERVIEW KULIAH

• ASK 202-3 LOGIKA FORMAL DASAR
• Semester Genap 2006/2007

2
TUJUAN

• memberikan dasar pengetahuan bagaimana memodelkan
  fakta ke dalam bentuk logika proposisi dan logika
  predikat tingkat pertama
• memberikan dasar pengetahuan bagaimana
  menggunakan aturan dan sifat-sifat logika untuk
  melakukan inferensi

3
PUSTAKA

1. Manna, Zohar dan Richard Waldinger. The Logical
   Basis for Computer Programming, Volume I
   Deductive Reasoning. Addison-Wesley, 1985
2. Huth, Michael dan Mark Ryan. Logic in Computer
   Science Modelling and Reasoning about Systems.
   Cambridge University Press, 2000
3. Hamburger, Henry dan Dana Richards, Logic and
   Language Models for Computer Science.
   Prentice-Hall, 2002
4. Korfhage, Robert R. Logic and Algorithms with
   Applications to the Computer and Information
   Sciences. John Wiley Sons, 1966

4
MATERI

• Logika Proposisi
• Sintaks, semantik, sifat-sifat kalimat, tabel
  kebenaran, pohon semantik, hukum ekivalensi,
  substitusi, aturan inferensi
• Logika Predikat Tingkat Pertama
• Sintaks, semantik, aturan untuk quantifier,
  substitusi aman, aturan inferensi

5
PENILAIAN

• Tugas 30
• UTS 35
• UAS 35