University of Gothenburg
Tjeerd from the Netherlands tells you about the programme and what it is like to study in Gothenburg.
Logic is genuinely interdisciplinary and located on the border between Philosophy, Mathematics, Computer Science, and Linguistics. The first year of the two year programme consists mostly of compulsory courses in the theoretical fundamentals of logic such as set theory, modal logic, model theory, and proof theory. The second year our students work toward a specialized profile. These courses are chosen from a wide range of subjects, such as Artificial Intelligence, Logic for web technologies and Formal theories of truth.
Graduates will be well prepared for applying to PhD programmes worldwide. The programme prepare the student for industry demands, e.g., competence in formal methods in software engineering, argument analysis, deductive databases, and the semantic web. Non-academic career choices include education and jobs in the information and communication technology sector.
More information:
http://flov.gu.se/mil
https://utbildning.gu.se/education/courses-and-programmes/program_detail?programid=H2LOG .
