Logics for Computer Science

Instructor

• Reza Pulungan

Schedule

• Lectures
  • Fridays: 13:00-15:30, at SIC 3.01
• Exams
  • Mid-term:
  • Final:

Objectives

Syllabus

Textbooks

Grading

• Mid-term exam: 50%
• Final exam: 50%

Lectures

Lecture 0 (June 4, 2010)

• Pengantar

Lecture 1 (June 11, 2010)

• Logika Proposisional

Lecture 2 (June 25, 2010)

• Logika Proposisional

Lecture 3 (July 2, 2010)

• Logika Proposisional + Logika Predikat

Lecture 4 (July 9, 2010)

• Logika Predikat

Lecture 5 (July 16, 2010)

• Logika Predikat

Lecture 6 (July 23, 2010)

• Logika Predikat