Sluiten Help Print
 Cursus: 192111092
 Cursus informatie
Cursus192111092
Studiepunten (ECTS)5
CursustypeCursus
VoertaalEngels
Contactpersoondr.ing. E.M. Hahn
E-maile.m.hahn@utwente.nl
Docenten
 Contactpersoon van de cursus dr.ing. E.M. Hahn Examinator dr.ing. E.M. Hahn
Collegejaar2022
Aanvangsblok
 2B
AanmeldingsprocedureZelf aanmelden via OSIRIS Student
Inschrijven via OSIRISJa
 Cursusdoelen
 body { font-size: 9pt; font-family: Arial } table { font-size: 9pt; font-family: Arial } 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 and be able to work with a computer implementation of one of the topics.
 Inhoud
 body { font-size: 9pt; font-family: Arial } table { font-size: 9pt; font-family: Arial } 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 also study connections to other logic-related programming and specification paradigms: Binary Decision Diagrams, SAT solving and one of their implementations. Assessment 80% exam 20% take-home assignments
 Participating study
 Master Computer Science
Verplicht materiaal
Book
 M. Ben-Ari, Mathematical Logic for Computer Science (3rd ed.). Springer, 2012, ISBN 978-1-4471-4128-0
Aanbevolen materiaal
-
Werkvormen
Hoorcollege
 Aanwezigheidsplicht Ja

Werkcollege
 Aanwezigheidsplicht Ja

Zelfstudie geen begeleiding
 Aanwezigheidsplicht Ja

Toetsen
 Written exam, Take-home assignments
 Sluiten Help Print