Loading...
Preparing your educational journey
Computational Logic logo
TU Dresden logo

Computational Logic

TU Dresden
Tuition EUR 1,500 (Tuition (Module)) — International students; EUR 500 (Tuition (Module)) — EU/EEA students
Degree MSc
Duration 24 months
Deadline 2031-05-18
Delivery On-campus
Location Dresden, Germany
Language English

Program Overview

The Computational Logic at TU Dresden is a MSc programme in Humanities over 24 months, delivered On-campus. This programme equips graduates with advanced knowledge and practical skills for professional and academic careers in the field.

Students gain a rigorous grounding in both the theoretical foundations and applied dimensions of humanities. The programme combines coursework, research components, and practical projects that develop critical thinking, problem-solving, and specialist expertise relevant to industry and research needs.

Graduates of the Computational Logic programme are well-prepared for careers in academia, industry, government, and the private sector across Germany and internationally. The programme provides an internationally recognised qualification within the Bologna higher education framework.

Key Program Features

  1. Duration: 24 months
  2. Language of instruction: English
  3. Study mode: On-campus
  4. English requirement: IELTS 6
  5. Tuition: EUR 1,500 (Tuition (Module)) — International students; EUR 500 (Tuition (Module)) — EU/EEA students
  6. Location: Dresden, Germany

Career Opportunities

Graduates of the Computational Logic programme are prepared for diverse careers in humanities:

  1. Researcher / Academic
  2. Cultural Programme Manager
  3. Editor / Writer
  4. Translator / Interpreter
  5. Museum Curator
  6. Communications Specialist

Program Curriculum

Course Structure

  1. Mathematical logic
  2. Logic programming
  3. Deduction systems
  4. Knowledge representation
  5. Artificial intelligence
  6. Methods of formal specification and verification
  7. Inference techniques
  8. Syntax-directed semantics
  9. The relationship between theoretical computer science and logic.

Admission Requirements

Academic Requirements

  • Bachelor\'s degree in Computer Science or Mathematics or equivalent degree
  • Proof of adequate knowledge of English
  • Good knowledge in the areas: Foundations of Logic, \xc2\xa0Theoretical Computer Science, Foundations of Artificial Intelligence, Declarative Programming

English Proficiency: IELTS 6 or equivalent.

Tuition & Financial Information

Tuition Fee

EUR 1,500 (Tuition (Module)) — International students; EUR 500 (Tuition (Module)) — EU/EEA students

Tuition fees: EUR 1,500 (Tuition (Module)) — International students; EUR 500 (Tuition (Module)) — EU/EEA students

IELTS requirement: 6

Financial Aid & Scholarships

Contact TU Dresden directly for scholarship, grant, and financial aid information for this programme. Many European universities offer merit-based and need-based funding for international and domestic students.

About TU Dresden

TU Dresden logo

TU Dresden

Dresden, Germany

TU Dresden, also as the Dresden University of Technology, is a public research university in Dresden, Germany. It is the largest institute of higher education in the city of Dresden, the largest...

University Profile
  • Application Deadline 2031-05-18
  • Start Date 2018-09-01
  • Language English
  • Duration 24 months