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

作者: 更新时间:2011-06-30 点击数:

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

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

 

学位:理学硕士

 

课程语言:英语

 

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

 

课程时程:4学期

 

申请截止日期:5月15日

 

课程介绍:

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

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

 

加入收藏