博文
-
相关逻辑 (5) - 形式化公理系统
- 热度 1
- 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 相关逻辑 (5) - 形式化公理系统 程京德 ...
-
自动定理发现领域的创始者 - 沃斯
- 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 自动定理发现领域的创始者 - 沃斯 ...
-
相关逻辑 (4) - 形式语言
- 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 相关逻辑 (4) - 形式语言 程京德 自2 ...
-
相关逻辑 (3) - 特征
- 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 相关逻辑 (3) - 特征 程京德 自20世 ...
-
相关逻辑 (2) - 创建
- 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 相关逻辑 (2) - 创建 程京德 自20世纪 ...
-
相关逻辑 (1) - 背景和前史
- 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 相关逻辑(1) - 背景和前史 程京德 &n ...
- 实现人工通用智能的关键必由之路 -- 基于强相关逻辑的形式理论自动定理发现
- 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 实现人工通用智能的关键必由之路 -- 基于强相关逻辑的形式理论自动定理发现 程 ...
- 强相关逻辑及其应用（简约版）
- 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 强相关逻辑及其应用（简约版） 程京德 概要 ...
-
强相关逻辑及其应用（下）
- 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 强相关逻辑及其应用（下） 程京德 ...
-
强相关逻辑及其应用（中）
- 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 强相关逻辑及其应用（中） 程京德 &nbs ...
