已閱讀1頁，還剩72頁未讀， 繼續(xù)免費閱讀
版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領
文檔簡介
1、范疇理論是20世紀40年代中后期，由S.Eilenberg和S.MacLane等為研究同調代數(shù)而創(chuàng)立的一個抽象代數(shù)分支，以范疇、函子和自然變換等為基本概念統(tǒng)一地研究某些數(shù)學結構及其性質。隨著理論計算機科學的發(fā)展，特別是域論理論、直覺邏輯、類型理論以及計算機科學中的代數(shù)與共代數(shù)方法的深入研究，范疇理論在計算機科學領域的應用也日益廣泛。 由于范疇理論本身十分抽象，有些構造和計算還具有一定的復雜性，因此我們希望設計一個范疇論計算演示工
2、具，構造一個平臺來輔助我們學習與研究范疇理論。 簡單地說，范疇論計算演示語言的設計目標要提供一個簡單的語言，以一種命令行交互的形式，給出有關范疇論基本構造的一些具體的、離散的例子，使得范疇論學習者對范疇論這些抽象的構造及其性質有一個初步的感性認識。范疇論學習者可通過使用該工具舉出一些范疇論構造的直觀例子，并對這些構造的一些簡單性質進行驗證，從而熟悉和理解這些范疇論構造。 本文設計并開發(fā)了一個范疇理論計算演示開發(fā)工具，該軟
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容，請與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于 QT 的串口通信工具的設計與實現(xiàn)演示ppt.dps
- 基于 QT 的串口通信工具的設計與實現(xiàn)演示ppt.dps
- 微波自動化測量線計算演示系統(tǒng)的設計與實現(xiàn).pdf
- Fuzzing工具的設計與實現(xiàn).pdf
- 基于模型驅動演示框架的算法演示語言的設計與實現(xiàn).pdf
- 計算機可用性建模與評估工具的設計與實現(xiàn).pdf
- 高端容錯計算機故障注入工具的設計與實現(xiàn).pdf
- 軟件度量工具的設計與實現(xiàn).pdf
- 基于AutoCAD的客船撤離計算輔助工具的設計與實現(xiàn).pdf
- 計算機支持的協(xié)同工作工具平臺設計與實現(xiàn).pdf
- 混沌圖像加密工具的設計與實現(xiàn).pdf
- 治工具管理系統(tǒng)的設計與實現(xiàn).pdf
- 可擴展MDA工具的設計與實現(xiàn).pdf
- 安全編碼支持工具的設計與實現(xiàn).pdf
- Windows進程防護工具的設計與實現(xiàn).pdf
- 網絡協(xié)議分析工具的設計與實現(xiàn).pdf
- 信任管理仿真工具的設計與實現(xiàn).pdf
- Windows下計算機取證工具的研究與實現(xiàn).pdf
- 設計模式檢測工具的設計與實現(xiàn).pdf
- 臨近空間網絡演示驗證系統(tǒng)的設計與實現(xiàn).pdf
評論
0/150
提交評論