Graduiertenkolleg解决了一个连贯的主题范围从基本代数问题到信息应用技术。学习计划的构建是为了让参与研究生学生和博士后研究员在这些主题上发展了广泛的专业知识。
研究
该程序侧重于数学逻辑在计算机中的应用科学和代数,包括:- 人工数据库理论中的模型检验问题情报和程序验证。
- 算术结构和代数/几何的模型理论模型理论方法。
参与教授名单
研究生项目主席
如有更多问题,请联系Graduiertenkolleg主席或发送发送电子邮件至pfeiffer(at)informatik.uni-freiburg.de公司.Georg Lausen教授博士
Lehrstuhl日期库和信息系统
阿尔伯特·路德维希弗赖堡大学
乔治·科勒·阿勒(Georges-Köhler Allee,Geb)。51
邮编:D-79110弗赖堡。
德国
电话++49 761 203-8121(Secr.-8180,传真-8182)
电子邮件:劳森(at)informatik.uni-freiburg.de
WWW地址:http://dbis.informatik.uni-freiburg.de/index.php?file=lausen.html