第379章 逻辑链重构(法则重写劫) (第5/5页)
风清云逸提示您:看后求收藏(同人小说网www.ambledene.net),接着再看更方便。
文末注:
1.CurryHoward同构:程序语言与数理逻辑的对应关系
2.分形超滤子:集合论中构造扩展模型的拓扑工具
3.米田嵌入:范畴论�
更多内容加载中...请稍候...
本站只支持手机浏览器访问,若您看到此段落,代表章节内容加载失败,请关闭浏览器的阅读模式、畅读模式、小说模式,以及关闭广告屏蔽功能,或复制网址到其他浏览器阅读!
风清云逸提示您:看后求收藏(同人小说网www.ambledene.net),接着再看更方便。
文末注:
1.CurryHoward同构:程序语言与数理逻辑的对应关系
2.分形超滤子:集合论中构造扩展模型的拓扑工具
3.米田嵌入:范畴论�
更多内容加载中...请稍候...
本站只支持手机浏览器访问,若您看到此段落,代表章节内容加载失败,请关闭浏览器的阅读模式、畅读模式、小说模式,以及关闭广告屏蔽功能,或复制网址到其他浏览器阅读!