1. Technical University of Dresden
  2. Program
  3. Masters
  4. MSc Computational Logic

MSc Computational Logic

2 Years On Campus Masters Program

Technical University of Dresden

Program Overview

The programme is focused on artificial intelligence, computational logic, deduction systems, logic and constraint programming, formal software development methods, formal hardware design methods, deductive data bases, as well as logical principles of cognitive systems. The course structure is divided into five compulsory basic modules, three selected advanced modules, a project and a research master thesis

Program Key Stats

€1000 (Annual cost)



Eligibility Criteria


7

Additional Information & Requirements

Should a first university degree in Computer sciences or Mathematics, good knowledge of English (B2 +) (TOEFL 550/213/80 (writing/computer-based/internet-based) or IELTS-test 6.0 points or others) and knowledge, Aptitude Test, German language requiremnet:(DSH) with an overall score of at least DSH 2,test (TestDaF) with an overall score of at least TestDaF 4, Telc Deutsch C1 Hochschule, German Language Diploma of the Conference of State Ministers of Education and Cultural Affairs - Level II

Career Options

  • IT consultant
  • Cyber security consultant
  • Information systems manager

Book Free Session with Our Admission Experts

Admission Experts

Embark on your educational journey with confidence! Our team of admission experts is here to guide you through the process. Book a free session now to receive personalized advice, assistance with applications, and insights into your dream school. Whether you're applying to college, graduate school, or specialized programs, we're here to help you succeed.