《序，拓撲及其在理論計算機科學中的套用》是依託南京航空航天大學，由毛徐新擔任項目負責人的數學天元基金項目。
基本介紹
- 中文名：序，拓撲及其在理論計算機科學中的套用
- 項目類別：數學天元基金項目
- 項目負責人：毛徐新
- 依託單位：南京航空航天大學
- 批准號：10726028
- 申請代碼：A0112
- 研究期限：2008-01-01 至 2008-12-31
- 負責人職稱：副教授
- 支持經費：3（萬元）
項目摘要
Domain理論作為電腦程式設計語言指稱語義學的數學基礎，是當前國際上極為活躍的理論計算機科學研究領域之一。本項目擬對Domain進行綜合性深入研究，從代數、形式拓撲和信息系統等不同角度出發對多種類型Domain的內蘊結構和特徵進行深入剖析和探討，由此獲得若干重要Domain的表示和刻畫；從內蘊拓撲、收斂刻畫方面研究若干廣義Domain，從而擴充Domain理論的套用領域和研究架構；從範疇方面考察相關範疇的笛卡兒閉性，為理論計算機中函式式語義學提供適當的數學模型；建立能行Domain理論與第二型能行性理論的直接聯繫，並考察廣義Domain的能行性問題。本研究除豐富Domain理論外，還與代數學、近代分析、可計算分析及理論計算機等相關聯，有重要的理論意義和套用價值。
