junqing的个人博客分享 http://blog.sciencenet.cn/u/junqing

博文

按标题搜索
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 ...
3507 次阅读|没有评论
汉诺塔算法的递归算法C++实现
2012-4-13 11:46
/****以下程序是汉诺塔算法的递归算法实现,算法虽然简单,但是能体现出递归算法的精髓, 正所谓"麻雀虽小,五脏俱全"! 很值得编程人员回味 ^_^ ****/ #includeiostream using namespace std; void move(int n, char x, char y) { cout"No."n": "x ...
17887 次阅读|没有评论
普适计算的概念包含了云计算?
2011-10-13 19:10
看到一篇文章谈到普适计算与云计算的区别,该文认为云计算是一个可商业实现的平台,它是包含于普适计算当中?换句话说,普适计算的概念更为广泛. 恩,本人较认同该观点,但我认为普适计算是提出了一种新的计算模式,目的还是更广泛地资源融合,以及相关技术融合;当然也产生了很多挑战.例如,普适环境下的容错 ...
4168 次阅读|没有评论
如何在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; ...
42355 次阅读|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.本书适合计算机系的本科学生、初学者。比较重要的部分就是指针及其应用、字符串处理等。花了将近两天的时间看完这本书,多少还是有些收获的。觉得这本书缺乏有趣的 ...
3917 次阅读|没有评论
关于常量指针和指针常量的区别
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++. 指针常量就是指针的值是常 ...
2658 次阅读|没有评论
关于命题逻辑的内容
2011-6-28 09:24
1.基本的逻辑连接符号 2.自然演绎规则 (1)合取规则:一个引入规则和两个消去规则 (2)双重否定规则 (3)蕴含消去规则 (4)蕴含引入规则 (5)析取规则:两个引入规则和一个消去规则 (6)否定规则 (7)派生规则:反证规则(MT)等 直觉主义逻辑学家和经典主义学家的不同观点(反证法,排中律等) 3. ...
2634 次阅读|没有评论
关于<<Logic in Computer Science>>这本书
2011-6-27 10:41
看过这本书,给出一些感想: 它的英文名为"Logic in Computer Science".作者是 Michael Huth, Mark Ryan. 这本书主要介绍了命题逻辑,谓词逻辑,模型检测中的时态逻辑(包括,线性时态逻辑LTL,计算树逻辑CTL,以及CTL*),模型检测算法和不动点的证明,程序验证,模态逻辑,二叉树判定图.本书还给出相关的模型检测工具NuSMV等, ...
4261 次阅读|没有评论
关于论文反抄袭检测软件
热度 5 2011-6-14 19:36
该软件可以看作是一把双刃剑:一方面,它可以起到正面的作用,有利于阻挡论文抄袭的浪潮,提高论文的质量,至少写论文要花点时间;另一方面,它只是注重形式,例如,只关心文字是否重复,而不注重实际的内容,这样是否有意义呢? 该软件的可信度有多高呢? 而且它跟所使用的数据库密切相关,不同的数据库以及数据库的大小都会影响到检 ...
8288 次阅读|5 个评论 热度 5

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

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

GMT+8, 2021-5-14 17:43

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部