科学网—JingdeCheng的博文

设为首页收藏本站

开启辅助访问切换到宽版

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

JingdeCheng

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

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

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

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

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

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

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

悖论集锦(2) –- 作为逻辑学中最大难题的蕴涵悖论问题（下）: 程京德 2024-4-18 08:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！悖论集锦(2) –- 作为逻辑学中最大难题的蕴涵悖论问题（下） ...; 个人分类: 逻辑学|3265 次阅读|没有评论

悖论集锦(2) –- 作为逻辑学中最大难题的蕴涵悖论问题（上）: 热度 2 程京德 2024-3-18 08:58; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！悖论集锦(2) –- 作为逻辑学中最大难题的蕴涵悖论问题 ...; 个人分类: 逻辑学|2824 次阅读|5 个评论热度 2

对ChatGPT与文心一言进行的逻辑推理“智力”测验: 程京德 2024-1-27 06:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！对ChatGPT与文心一言进行的逻辑推理“智力”测验 -- 对Sam Altma ...; 个人分类: 人工智能|1271 次阅读|没有评论

悖论集锦 (1) –- 逻辑学中也有悖论意味着什么？: 热度 1 程京德 2024-1-20 08:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！悖论集锦 (1) –- 逻辑学中也有悖论意味着什么？程京德 ...; 个人分类: 逻辑学|5408 次阅读|5 个评论热度 1

逻辑学对于发现与预测的重要性 -- 兼论美国国家三院特设委员会的数字孪生基础研究需求报告: 热度 4 程京德 2024-1-5 06:08; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！逻辑学对于发现与预测的重要性 -- 兼论 ...; 个人分类: 逻辑学|4485 次阅读|17 个评论热度 4

12 3 4 5 6 7 8 下一页

会议

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

GMT+8, 2024-7-27 13:01

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部