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

Logic in Computer Science

Master's level | 7.5 credits | Course code: DIT201
Autumn 2019
50% Day
Göteborg
Period: 2 September 2019 - 1 November 2019
INSTRUCTION LANGUAGE: English
2 Closed GU-18654
2) Only EU/EEA citizens and students with approved residence permit in Sweden can apply

About the Course

In recent years, powerful tools for verifying software and hardware systems have been developed. These tools rely in a crucial way in 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.

More Information

http://gul.gu.se/public/cour...

Show more

Course Syllabus

DIT201

Requirements and Selection

Requirements: To be eligible for the course students should have successfully completed courses corresponding to 60 credits within the subject Computer Science or Mathematics, including 7.5 credits 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 equivalent level of an internationally recognized test, for example TOELF, IELTS.

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

Tuition Fee

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

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

Study Guidance

E-post: svl@cse.gu.se

Department

Department of Computer Science and Engineering
41296 Göteborg

Visiting address: Rännvägen 6 B

Page Manager: Pontus Sundén
Last update: 6/15/2018 12:12 PM

Tell a friend about this page
Print version

Page Manager: Pontus Sundén|Last update: 10/16/2018
Share:

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?