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 ...

4399 次阅读|没有评论

汉诺塔算法的递归算法C++实现

陈俊清 2012-4-13 11:46

/****以下程序是汉诺塔算法的递归算法实现,算法虽然简单,但是能体现出递归算法的精髓, 正所谓"麻雀虽小,五脏俱全"! 很值得编程人员回味 ^_^ ****/ #includeiostream using namespace std; void move(int n, char x, char y) { cout"No."n": "x ...

19345 次阅读|没有评论

普适计算的概念包含了云计算?

陈俊清 2011-10-13 19:10

看到一篇文章谈到普适计算与云计算的区别,该文认为云计算是一个可商业实现的平台,它是包含于普适计算当中?换句话说,普适计算的概念更为广泛. 恩,本人较认同该观点,但我认为普适计算是提出了一种新的计算模式,目的还是更广泛地资源融合,以及相关技术融合;当然也产生了很多挑战.例如,普适环境下的容错 ...

5103 次阅读|没有评论

如何在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; ...

44618 次阅读|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.本书适合计算机系的本科学生、初学者。比较重要的部分就是指针及其应用、字符串处理等。花了将近两天的时间看完这本书，多少还是有些收获的。觉得这本书缺乏有趣的 ...

4755 次阅读|没有评论

关于常量指针和指针常量的区别

陈俊清 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++. 指针常量就是指针的值是常 ...

3696 次阅读|没有评论

关于命题逻辑的内容

陈俊清 2011-6-28 09:24

1.基本的逻辑连接符号 2.自然演绎规则 (1)合取规则:一个引入规则和两个消去规则 (2)双重否定规则 (3)蕴含消去规则 (4)蕴含引入规则 (5)析取规则：两个引入规则和一个消去规则 (6)否定规则 (7)派生规则：反证规则（MT）等 直觉主义逻辑学家和经典主义学家的不同观点（反证法，排中律等） 3. ...

3550 次阅读|没有评论

关于<<Logic in Computer Science>>这本书

陈俊清 2011-6-27 10:41

看过这本书,给出一些感想: 它的英文名为"Logic in Computer Science".作者是 Michael Huth, Mark Ryan. 这本书主要介绍了命题逻辑,谓词逻辑,模型检测中的时态逻辑(包括,线性时态逻辑LTL,计算树逻辑CTL,以及CTL*),模型检测算法和不动点的证明,程序验证,模态逻辑,二叉树判定图.本书还给出相关的模型检测工具NuSMV等, ...

5229 次阅读|没有评论

关于论文反抄袭检测软件

热度 5 陈俊清 2011-6-14 19:36

该软件可以看作是一把双刃剑:一方面,它可以起到正面的作用,有利于阻挡论文抄袭的浪潮,提高论文的质量,至少写论文要花点时间;另一方面,它只是注重形式,例如,只关心文字是否重复,而不注重实际的内容,这样是否有意义呢? 该软件的可信度有多高呢? 而且它跟所使用的数据库密切相关,不同的数据库以及数据库的大小都会影响到检 ...

9746 次阅读|5 个评论 热度 5

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