Computational Model Theory (algorithmische Modelltheorie) und ihre Anwendungen in der Informatik

计算模型理论及其在计算机科学中的应用

• 批准号: 5280774
• 负责人: Professor Dr. Erich Grädel
• 金额: --
• 依托单位: Informatik 7: Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2000
• 资助国家: 德国
• 起止时间: 1999-12-31 至 2008-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5280774?language=en
• 关键词: Computational; Model; Theory; algorithmische; Modelltheorie

Ziel dieses Vorhabens ist Erforschung des Zusammenhangs von algorithmischer Komplexität und logische Definierbarkeit auf informatikrelevanten unendlichen Strukturen und damit die Erweiterung der Endlichen Modelltheorie zu einer allgemeineren computational model theory. Insbesondere soll der Ansatz der deskriptiven Komplexitätstheorie systematisch von endlichen Strukturen auf geeignete Klassen unendlicher Strukturen übertragen werden.

Ziel dieses Vorhabens ist Erforschung des zusammenhang von algorithmischer Komplexität and logische Definierbarkeit auatiatikrelated unendlichen structure and damit die Erweiterung der Endlichen model理论学（einer allgemeinteren计算模型理论）Insbesondere sololder Ansatz der deskritiven Komplexitätstheorie systematisch von endlichen Strukturen auf geeignete Klassen unendlicher Strukturen <e:1> bertragen werden。