第379章 逻辑链重构（法则重写劫）
风清云逸提示您：看后求收藏（第379章 逻辑链重构（法则重写劫）,十圣纪元：机械飞升圣王录,风清云逸,7788文学网），接着再看更方便。
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。
文末注：
1.CurryHoward同构：程序语言与数理逻辑的对应关系
2.分形超滤子：集合论中构造扩展模型的拓扑工具
3.米田嵌入：范畴论�
更多内容加载中...请稍候...
本站只支持手机浏览器访问，若您看到此段落，代表章节内容加载失败，请关闭浏览器的阅读模式、畅读模式、小说模式，以及关闭广告屏蔽功能，或复制网址到其他浏览器阅读！
本章未完，点击下一页继续阅读。
