德累斯顿工业大学 –计算逻辑
Dresden University of Technology：International Master's Programme in Computational Logic
学位：理学硕士
课程语言：英语
开学时间：冬季入学(十月)
课程时程：4学期
申请截止日期：5月15日
课程介绍：
此课程主要涉及以下研究内容：
数学逻辑，演绎系统，逻辑编程，形式化软件开发方法，形式化硬件设计方法，编程语言的语义和逻辑规则，演绎数据库，认知系统的逻辑规则，力学中形式化方法，语言处理中的逻辑规则和语义构建，机电一体化与形式化方法，生产系统和机器人技术。