科学网—JingdeCheng的博文

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › JingdeCheng的博文

JingdeCheng

https://wap.sciencenet.cn/?2371919

软件工程| 知识工程| 相关逻辑| 信息安全性工程| 数理逻辑| 计算科学| 人工智能| 其它| 他山之石| 逻辑学| 哲学逻辑| 科学研究|

相关逻辑 (5) - 形式化公理系统: 热度 1 程京德 2024-8-5 08:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！相关逻辑 (5) - 形式化公理系统程京德 ...; 个人分类: 相关逻辑|5222 次阅读|2 个评论热度 1

自动定理发现领域的创始者 - 沃斯: 程京德 2024-6-29 06:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！自动定理发现领域的创始者 - 沃斯 ...; 个人分类: 相关逻辑|4302 次阅读|没有评论

相关逻辑 (4) - 形式语言: 程京德 2024-6-25 08:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！相关逻辑 (4) - 形式语言程京德自2 ...; 个人分类: 相关逻辑|4759 次阅读|没有评论

相关逻辑 (3) - 特征: 程京德 2024-6-18 06:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！相关逻辑 (3) - 特征程京德自20世 ...; 个人分类: 相关逻辑|5738 次阅读|没有评论

相关逻辑 (2) - 创建: 程京德 2024-6-9 06:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！相关逻辑 (2) - 创建程京德自20世纪 ...; 个人分类: 相关逻辑|5345 次阅读|没有评论

相关逻辑 (1) - 背景和前史: 程京德 2024-5-28 08:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！相关逻辑(1) - 背景和前史程京德 &n ...; 个人分类: 相关逻辑|4973 次阅读|没有评论

实现人工通用智能的关键必由之路 -- 基于强相关逻辑的形式理论自动定理发现: 程京德 2023-10-20 08:59; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！实现人工通用智能的关键必由之路 -- 基于强相关逻辑的形式理论自动定理发现程 ...; 个人分类: 相关逻辑|2120 次阅读|没有评论

强相关逻辑及其应用（简约版）: 程京德 2023-8-14 06:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！强相关逻辑及其应用（简约版）程京德概要 ...; 个人分类: 相关逻辑|2586 次阅读|没有评论

强相关逻辑及其应用（下）: 程京德 2023-8-13 05:08; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！强相关逻辑及其应用（下）程京德 ...; 个人分类: 相关逻辑|6966 次阅读|没有评论

强相关逻辑及其应用（中）: 程京德 2023-8-9 05:08; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！强相关逻辑及其应用（中）程京德 &nbs ...; 个人分类: 相关逻辑|5401 次阅读|没有评论

会议

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2026-2-27 19:14

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部