博文
全部博文|计算机软件理论与工程|
开源软件项目研究与分析|
信息安全理论与工程|
数据库与知识库|
IT评论与高校教学心得|
ACM图灵奖|
IEEE计算机先驱奖|
信息＆工程＆逻辑哲学|
其它方面|
并行计算与分布式处理|
计算机网络理论与工程|
计算机科学数学与逻辑|
集群、虚拟、网格、云|
计算机算法理论与工程|
学术研究辅助工具和软件|
信息管理与信息系统研究|
系统科学与系统哲学|
智能科学与技术|
电子商务与商业智能|
服务计算与普适计算|
认知科学与认知哲学|
物联网工程|
计算语言学/自然语言工程|
信息检索与搜索引擎|
数据挖掘与机器学习|
信息对抗理论与技术|
国外交叉资料阅读笔记|
模式识别|
复杂网络与复杂系统|
智能交通系统|
- 形式化方法实务简述
- 一、形式化方法（formal methods）的定义： 形式化方法是用 （形式系统）使理论严格化、精确化的程序和方法。具体方法是理论中的概念转化为符号、命题转化为符号公式、推演就是符号公式的推理变化。著名哲学家与逻辑史家波亨斯基（I.M. I.M.Bochenski ,1902-1995)在当代思维方法 ...
- 数学机械化重点实验室
- 数学定理的机器证明思想早期研究人员：法国数学家笛卡尔（Descartes)、德国数学家莱布尼兹（Leibnize)、德国数学家希尔伯特(Hilbert)、波兰数学家塔思基(Tarski)、 美藉华裔数理逻辑学家王浩、 我国数学家吴文俊 等 电子计算机的出现对定理证明机械化的研究起到了推波助澜的作用。 以下信息来源于: http:/ ...
- 霍尔逻辑（Hoare logic）
- 霍尔逻辑是一套由英国计算机科学家霍尔（ C. A. R. Hoare ）开发的形式系统，后来又通过他与其它研究者做了进一步的精细化处理，这个系统的构建目的是用来推理验证程序的正确性，用数学的严格性做保证。 & ...
12
