-
XML 语言学习笔记
-
2012-5-19 19:18
-
参考书籍: Java2 核心技术卷 2 :高级特性(第 7 版)英文版, 作者 Cay S.Horstmann Gary Cornell 人民邮电出版社 1) The structure of an XML document ?xml version=”1.0” encoding=”UTF-8”? !-- This is ...
-
4409 次阅读|没有评论
-
汉诺塔算法的递归算法C++实现
-
2012-4-13 11:46
-
/****以下程序是汉诺塔算法的递归算法实现,算法虽然简单,但是能体现出递归算法的精髓, 正所谓"麻雀虽小,五脏俱全"! 很值得编程人员回味 ^_^ ****/ #includeiostream using namespace std; void move(int n, char x, char y) { cout"No."n": "x ...
-
19356 次阅读|没有评论
-
普适计算的概念包含了云计算?
-
2011-10-13 19:10
-
看到一篇文章谈到普适计算与云计算的区别,该文认为云计算是一个可商业实现的平台,它是包含于普适计算当中?换句话说,普适计算的概念更为广泛. 恩,本人较认同该观点,但我认为普适计算是提出了一种新的计算模式,目的还是更广泛地资源融合,以及相关技术融合;当然也产生了很多挑战.例如,普适环境下的容错 ...
-
5121 次阅读|没有评论
-
如何在Latex文档中直接画图?
-
热度 2 2011-7-7 08:11
-
Latex提供直接画图的命令,其参考手册是pgf/tikz. 下面给个简单例子: documentclass {article} ... usepackage{tikz} % Optional PGF libraries usepackage{pgflibraryarrows} usepackage{pgflibrarysnakes} ... begin{document} ... begin{tikzpicture} draw (1,0) -- (0,1) -- (-1,0) -- (0,-1) -- cycle; ...
-
44629 次阅读|2 个评论 热度 2
-
关于《A Structured Programming Approach using C》
-
2011-7-1 09:47
-
这是一本介绍C语言及软件工程方面的书籍,书名《A Structured Programming Approach using C, Third Edition》,作者是 B. A. Forouzan and R. F. Gilberg.本书适合计算机系的本科学生、初学者。比较重要的部分就是指针及其应用、字符串处理等。花了将近两天的时间看完这本书,多少还是有些收获的。觉得这本书缺乏有趣的 ...
-
4770 次阅读|没有评论
-
关于常量指针和指针常量的区别
-
2011-6-30 15:22
-
常量指针就是允许该指针指向受常量约束的变量,例如,const int a=10; const int* pa= a; 当然,该指针也可以指向一般变量,例如,int b=20; const int* pb=b; 另一种定义方式是: int const *pb , 与 const int* pb是等价的. 常量指针的值是可以改变的,例如,pa++, pb++. 指针常量就是指针的值是常 ...
-
3711 次阅读|没有评论
-
关于命题逻辑的内容
-
2011-6-28 09:24
-
1.基本的逻辑连接符号 2.自然演绎规则 (1)合取规则:一个引入规则和两个消去规则 (2)双重否定规则 (3)蕴含消去规则 (4)蕴含引入规则 (5)析取规则:两个引入规则和一个消去规则 (6)否定规则 (7)派生规则:反证规则(MT)等 直觉主义逻辑学家和经典主义学家的不同观点(反证法,排中律等) 3. ...
-
3568 次阅读|没有评论
-
关于<<Logic in Computer Science>>这本书
-
2011-6-27 10:41
-
看过这本书,给出一些感想: 它的英文名为"Logic in Computer Science".作者是 Michael Huth, Mark Ryan. 这本书主要介绍了命题逻辑,谓词逻辑,模型检测中的时态逻辑(包括,线性时态逻辑LTL,计算树逻辑CTL,以及CTL*),模型检测算法和不动点的证明,程序验证,模态逻辑,二叉树判定图.本书还给出相关的模型检测工具NuSMV等, ...
-
5244 次阅读|没有评论
-
关于论文反抄袭检测软件
-
热度 5 2011-6-14 19:36
-
该软件可以看作是一把双刃剑:一方面,它可以起到正面的作用,有利于阻挡论文抄袭的浪潮,提高论文的质量,至少写论文要花点时间;另一方面,它只是注重形式,例如,只关心文字是否重复,而不注重实际的内容,这样是否有意义呢? 该软件的可信度有多高呢? 而且它跟所使用的数据库密切相关,不同的数据库以及数据库的大小都会影响到检 ...
-
9755 次阅读|5 个评论 热度 5
本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏