Germany

Master's in Computational Logic

Germany

TU Dresden

Dresden, Germany

https://www.jeduka.com/storage/school_landing_banner/1599130036_Germany.jpg

About Course


Key information
Duration
: 2 Year
Study Type
: Full Time
Exam Accepted
: IELTS 6.5/9
Exam Intake
: Oct
Conditional Scholarship
: NA
Check here the list of Scholarships available for Germany. View All Scholarships »
  • 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.
    During the first three semesters, students attend lectures and tutorials, while the fourth semester is intended for the preparation of the master’s thesis.
  • The programme consists of mandatory basic modules, selected advanced modules, a project and a research-oriented master's thesis 
  • It focuses on mathematical logic, deduction systems, logic programming, formal software development methods, formal hardware design methods etc

Entry Requirement


  • Applicant must hold a bachelor's degree from a recognized college or university
  • Applicant must have a bachelor degree.

TU Dresden

To know more about more courses, university ranking, tuition fees, entry requirements, Videos & Photo gallery etc.

KNOW MORE >>
Other Courses in TU Dresden
Showing courses based on your selection

Diploma Civil Engineering

Duration Tution Fees Exams Accepted view details
5 Year EUR IELTS , TOEFL

Master's in Regenerative Biology and Medicine

Duration Tution Fees Exams Accepted view details
2 Year EUR IELTS , TOEFL

Master's in Computational Logic

Duration Tution Fees Exams Accepted view details
2 Year EUR IELTS

Apply to This University