论数学真理观的后现代转向黄秦安【英文标题】ThePostmodernTurnoftheViewonMathematicTruthHUANGQin-an(DepartmentofPhilosophy,NanjingUniversity,Nanjing210093,China)【作者简介】黄秦安(1962-)，男，陕西西安人，南京大学哲学系博士研究生，陕西师范大学数学与信息科学学院教授。南京大学哲学系，南京210093【内容提要】在数学思想、内容与方法的历史性
系统 2019-08-29 23:07:41 2663
4月12日“工作搜索能与即时通讯结合吗？能，现在我可以这样回答。你在MSN加“job@01hr.com”为好友，然后向它发送“销售北京”看看它回复什么？它返回的是五条满足你的搜索要求的结果，还可以用“/next或/n”向下翻页！据我所知，工作搜索领域国内还没有这样结合的，国外也没见到，但我们做到了，从试用用户的反馈意见中可以看出，大家都非常高兴能有这样一项既精巧又实用的小工具！”以上这段话是从职通车张忠国的Blog上摘录过来的，职通车又有了新的版本和功能（
系统 2019-08-29 22:59:22 2663
在Android系统中，所有安装到系统的应用程序都必有一个数字证书，此数字证书用于标识应用程序的作者和在应用程序之间建立信任关系,如果一个permission的protectionLevel为signature，那么就只有那些跟该permission所在的程序拥有同一个数字证书的应用程序才能取得该权限。Android使用Java的数字证书相关的机制来给apk加盖数字证书，要理解android的数字证书，需要先了解以下数字证书的概念和java的数字证书机制。
系统 2019-08-29 22:58:34 2663
在与SQLServer建立连接时出现与网络相关的或特定于实例的错误。未找到或无法访问服务器。请验证实例名称是否正确并且SQLServer已配置为允许远程连接。(provider:命名管道提供程序,error:40-无法打开到SQLServer的连接)处理过程:1.设置SqlServer2008,以使其打开远程设置;参考:http://wenku.baidu.com/view/db17247102768e9951e73819.html(远程连接SQLServ
系统 2019-08-29 22:14:58 2663
环境准备【服务器端】JDK1.6，“java.net”包对网络编程提供了非常全面的支持，包括Socket开发环境：Eclipse【客户端】Flex4，”flash.net”包也提供了Socket的支持开发环境：FlashBuilder4实例效果我是用Java启动一个ServerSocket作为服务器，Flex创建一个页面，当点击页面上的按钮时向Java服务器发送消息。Flex客户端输入“阿里巴巴”再点击按钮：Java控制台：注意事项Flex项目分为两种：一
系统 2019-08-12 09:30:30 2663
1，查看是否有装VNCserver[root@mylab~]#rpm-qa|grepvncvnc-4.1.2-14.el5#客户端软件vnc-server-4.1.2-14.el5#服务器端软件如果没有，采用rpm或者yum安装2，开启vncserver服务[root@mylab~]#servicevncserverstartStartingVNCserver:nodisplaysconfigured[OK]3，开启第一个session[root@myla
系统 2019-08-12 09:30:25 2663
第五章介绍ex编辑器可以用空格来分隔行地址、模式、命令首先利用ex打开文件exfilename查看文件的第一行:1p或者1打印文件的1到3行:1,3替换命令:(将当前行中的a全部替换成为A)s/a/A/g如果当前行是第9行,那么如下的命令可以达到同样的效果9s/a/A/g命令:vi可以从ex转换到vi中在vi命令模式下,Q命令可调用ex,在ex中的任何时刻,命令vi可使你返回到vi编辑器:10,16d[elete]删除10到16行的内容定义行的范围使用明确
系统 2019-08-12 09:27:43 2663
注意：2007/11/2116点更新，之前下载的请重新下载，并且使用本地址的DXperience7.3.3（http://www.cnblogs.com/fosoyo/archive/2007/11/20/966330.html），否则会出现key不同。解压密码请在群里询问downloadThisisforforVisualStudio2005,2008在專案中加入附件中fosoyo.cnblogs.com.Localization.dll參考在MDI的M
系统 2019-08-12 09:27:42 2663
题目：http://acm.hdu.edu.cn/showproblem.php?pid=1704题意：最多能找出多少条不通的路。。。。。题目没有说明不会有回路，因为如果有回路的话，回路里的对手都不能分出胜负。。。。而杭电的数据说明了不会有回路的。传递闭包：用来求图中，任意两点是否可以通，思想类似Floyed，都是3重循环，Floyed：是否存在一个中间点，使得从起点——》中间点——》终点跟短，传递闭包：是否存在一个中间点，起点到终点本来不通的，但从起点—
系统 2019-08-12 09:26:53 2663
ql中constraint主要是增加约束这个主要就是增加约束的以下几种约束、并一一列举：1.主键约束：主键约束：就是对一个列进行了约束，约束为（非空、不重复）要对一个列加主键约束的话，这列必须满足条件非空，这样才可以约束以下是代码要对一个列加主键，列名为id,表名为emp格式为：altertable表格名称addconstraint约束名称增加的约束类型（列名）例子：altertableempaddconstraintpppprimarykey(id)2.
系统 2019-08-12 01:54:42 2663
