关爱留学

德累斯顿工业大学 –计算逻辑

Dresden University of Technology：International Master's Programme in Computational Logic

学位：理学硕士

课程语言：英语

开学时间：冬季入学(十月)

课程时程：4学期

申请截止日期：5月15日

课程介绍：

此课程主要涉及以下研究内容：

数学逻辑，演绎系统，逻辑编程，形式化软件开发方法，形式化硬件设计方法，编程语言的语义和逻辑规则，演绎数据库，认知系统的逻辑规则，力学中形式化方法，语言处理中的逻辑规则和语义构建，机电一体化与形式化方法，生产系统和机器人技术。