Logic, Master's Programme – international and interdisciplinary
Uppladdad av Medieteknik Göteborgs universitet den 17 oktober, 2019
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.