Computational Logic: Dresden University of Technology
- Degree
- Master of Computer Science
- Address
- Computational Logic: Dresden University of Technology, Technische Universität Dresden, Prof. Dr. Steffen Hölldobler, Nöthnitzer Straße 46, Dresden, 1187, Germany
- Ads
- Subject
- Computer Science
- Course Language(s)
- English
- Course Beginning
- Middle of October (winter semester)
- Duration
- 4 semester
- App Deadline
- 31-May
- Submit Application To
Dresden University of Technology, Department of Computer Science, International Center for Computational Logic, Prof. Dr. Steffen Hölldobler, Nöthnitzer Straße 46, 01187 Dresden
- Scholarship and Grants
- Telephone
- +49.351.463.383.41
- Fax
- +49.351.463.383.42
cl-s...@iccl.tu-dresden.de
- Website
- http://www.computational-logic.org/
The course structure is divided into
- essential foundation units and selected advanced units
- a project
- the Master's thesis.
Lectures and tutorials take place in the first three semester. The fourth semester is intended for the preparation of the Master's thesis.
The study is focussed on:
- mathematical logic
- deduction systems
- logic programming
- formal software development methods
- formal hardware design methods
- semantics and logical principles of programming languages
- deductive data bases
- logical principles of cognitive systems
- formal methods in mechanics
- logical principles and semantic construction of speech processing
- mechatronics and formal methods
- production systems and robotics.
People who viewed 'Computational Logic: Dresden University of Technology' also found interest in following institutions . . .
- Computer Science: University of Oxford
- Software Engineering MSc: University of Southampton
- Cognitive Science: University of Osnabrück
- MSc Computer Controlled Systems: Aalen University
- MSc Computer Networks and Distributed Computing: University of Westminster
- Web Technology: University of Southampton
- Computer Science: Saarland University