CloseHelpPrint
Kies de Nederlandse taal
Course module: 192111092
192111092
Advanced Logic
Course info
Course module192111092
Credits (ECTS)5
Course typeCourse
Language of instructionEnglish
Contact personprof.dr.ir. A. Rensink
E-mailarend.rensink@utwente.nl
Lecturer(s)
Lecturer
prof.dr.ir. A. Rensink
Contactperson for the course
prof.dr.ir. A. Rensink
Academic year2017
Starting block
2A
Application procedureYou apply via OSIRIS Student
Registration using OSIRISYes
Learning goals
Objectives
After completing this course successfully, the student can:
  • Indicate the relevance of formal logical methods in computer science.
  • Explain the role of and the relationship between formal syntax and semantics of proposition and predicate logic.
  • Explain the principles of Binary Decision Diagrams, and manipulate them.
  • Explain the principles of SAT solving and apply them to simple examples
  • Apply proof systems (semantic tableaus, Gentzen and Hilbert style deduction, resolution) and prove their equivalence.
  • Explain the meaning of soundness and completeness and how these apply to the aforementioned proof systems.
  • Understand the concepts of logic programming, and explain the connection with mathematical logic.
Content
Course description
In logic many aspects of computer science are treated in a theoretical way. Examples are the relationship between syntax and semantics, computability, and concepts of programming languages. In a more direct sense, logic is applied in, e.g., logic programming, but also in programming by contract and other types of formal verification.

In this course we study the formal syntax and semantics of proposition and predicate logic. Several proof systems (semantic tableaux, Hilbert and Gentzen style systems, resolution) and their equivalence are presented, and soundness and completeness are discussed. We then continue by studying connections to other logic-related programming and specification paradigms: Binary Decision Diagrams, SAT solving and logic programming.
Assumed previous knowledge
-
PARTICIPATING STUDY
M-CSC
Required materials
Book
M. Ben-Ari, Mathematical Logic for Computer Science (3rd ed.). Springer, 2012, ISBN 978-1-4471-2128-0
Recommended materials
-
Instructional modes
Lecture

Self study without assistance

Tutorial

Tests
Written exam

Remark
50% tentamen, 50% huiswerkopdrachten

CloseHelpPrint
Kies de Nederlandse taal