博文

立存此照：科学网博主的“科学素养”之一例

热度 6 2017-9-14 08:03

立存此照：科学网博主的“科学素养”之一例 程京德 本人从来都认为，来科学网写博客文章的都是至少具备一点基本科学素养的，无论是学者还是学生。这两天遇见一件事，颠覆了本人的看法。 本人昨天评论了某位博主的博文 ，仅仅是就事论事 ，完全没有针对博主个人的意思，今早发现被该博主删除了。于 ...

个人分类: 其它|4047 次阅读|18 个评论 热度 6

哥德尔关于可计算性的开创性工作不容忽视

热度 1 2017-9-13 09:16

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 哥德尔关于可计算性的开创性工作不容忽视 程京德 9月12 ...

个人分类: 数理逻辑|3946 次阅读|2 个评论 热度 1

“规范相关逻辑及其应用”之原始创新论文

2017-7-22 00:42

“规范相关逻辑及其应用”之原始创新论文 程京德 这是本人及学生 2002 年到 2008 年的四篇论文，开创了“规范相关逻辑及其应用”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将四篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获 ...

个人分类: 相关逻辑|2741 次阅读|没有评论

“信息安全性工程自动化智能化”系列论文

2017-7-19 20:56

“信息安全性工程自动化智能化”系列论文 程京德 放在这里交流的是本人及学生们在“信息安全性工程自动化智能化”研究方向的系列论文（中文论文，持续存放，主要目的是向国内介绍我们的工作），一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 宝达，程京德：“基于ISO/I ...

个人分类: 信息安全性工程|2833 次阅读|1 个评论

“认识程序设计”之原始创新论文

2017-6-28 23:32

“认识程序设计”之原始创新论文 程京德 这是本人 1996 年和 1999 年的四篇论文，开创了“认识程序设计”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将四篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下 ...

个人分类: 知识工程|2692 次阅读|没有评论

“并行程序依存性分析及应用”之原始创新论文

2017-6-16 18:49

“并行程序依存性分析及应用”之原始创新论文 程京德 这是本人 1992 年和 1993 年的几篇论文，开创了“并行程序依存性分析及应用”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将这几篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取 ...

个人分类: 软件工程|2366 次阅读|没有评论

“信息安全性工程环境”之原始创新论文

2017-6-16 09:19

“信息安全性工程环境”之原始创新论文 程京德 这是本人 2008 年和 2009 年的两篇论文，开创了“信息安全性工程环境”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 顺便把论文 ...

个人分类: 信息安全性工程|2670 次阅读|没有评论

“先期推理反应系统”之原始创新论文

2017-6-16 08:22

“先期推理反应系统”之原始创新论文 程京德 这是本人 2002 年和 2004 年的两篇论文，开创了“先期推理反应系统”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻 ...

个人分类: 信息安全性工程|2197 次阅读|没有评论

本页有 2 篇博文因作者的隐私设置或未通过审核而隐藏