Logic in Computer Science - University of Gothenburg Till startsida
To content Read more about how we use cookies on gu.se

Logic in Computer Science

Master's level | 7.5 credits | Course code: DIT202
Autumn 2020
50% Day
Period: 31 August 2020 - 1 November 2020
2) Only EU/EEA citizens and students with approved residence permit in Sweden can apply

About the Course

Powerful tools for verifying software and hardware systems have been developed. These tools rely in a crucial way on logical techniques.
This course provides a sound basis in logic and a short introduction to some logical frameworks used in modelling, specifying and verifying computer systems. A sound basic knowledge in logic is a welcome prerequisite for courses in program verification, formal methods and artificial intelligence.
The course covers propositional and predicate calculus, and model-checking.
More concretely, the course gives a thorough introduction to fundamental notions of logicsuch as natural deduction, semantics of both propositional and predicate calculus,soundness and completeness, conjunctive normal forms, Horn clauses, undecidability and expressiveness of predicate logic, plus an introduction to model checking: Linear-time temporal logic (LTL) and Branching-time temporal logic (CTL).

More Information


Show more

Course Syllabus


Requirements and Selection

Requirements: To be eligible for the course, students must have successfully completed courses corresponding to 105 hec within the subject Computer Science or Mathematics.
Including 7.5 hec in discrete mathematics (for example DIT980 Discrete Mathematics for Computer Scientists or the sub-course Introductory Algebra of MMG200 Mathematics 1).

Applicants must prove knowledge of English: English 6/English B or the equivalent level of an internationally recognized test, for example TOEFL, IELTS.

Selection: Selection is based upon the number of credits from previous university studies, maximum 225 credits.

Tuition Fee

Application fee: 900 SEK
Full course cost: 17 875 SEK
First payment: 17 875 SEK

EU/EEA citizens, Swedish residence permit holders and exchange students do not pay fees. More information on: http://www.universityadmissions.se

Study Guidance



Department of Computer Science and Engineering
41296 Göteborg

Visiting address: Rännvägen 6 B

Page Manager: Jörgen Ölund
Last update: 2/18/2020 2:41 PM

Tell a friend about this page
Print version

Page Manager: Jörgen Ölund|Last update: 10/16/2018

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?

Denna text är utskriven från följande webbsida:
Utskriftsdatum: 2020-08-10