摘要:
1.逻辑常项与逻辑变项 逻辑常项是在命题逻辑中的逻辑形式的联结词。逻辑常项是逻辑形式中不变的部分,表示思维的形式。 简单命题,例如“所有金属都是导电的”、“有些顾客不是会员”等,这类命题可以写成“所有S都是P”、“有些S不是P”的表达形式,其中,“S”和“P”是逻辑变项,“所有……都是……”、... 阅读全文
摘要:
空间坐标 以空间一点O为原点,建立三条两两垂直的数轴;x轴,y轴,z轴,这时建立了空间直角坐标系Oxyz,其中点O叫做坐标原点,三条轴统称为坐标轴,由坐标轴确定的平面叫坐标平面。 距离公式编辑在空间中: 设A(x1,y1,z1),B(x2,y2,z2) |AB|=[(x1-x2)2 + (y1-... 阅读全文
摘要:
#include #include #include using namespace std; int Prime(int x,int y) { if(x =tmp1) { ++nCount; } break; } } } return ... 阅读全文
摘要:
方法1: #include #include #include #include #include #include using namespace std; void getResult(vector a,int result) { sort(a.begin(),a.end()); ... 阅读全文
摘要:
// $Id: multi.cpp 7 2006-11-02 06:30:51Z JiangMiao $ // JiangMiao's Blog http://blog.csdn.net/antter #include #include using namespace std; #defi... 阅读全文
摘要:
linux下使用openssl生成 csr crt CA证书 点击打开链接 阅读全文
摘要:
从事计算机编程职业的人来说,程序设计能力是衡量一个程序员优劣的一个重要方面,也是众多软件公司面试中所要进行测试的重要环节,为了提升这方面的能力,所以广大的编程爱好者或者计算机专业人士会选择在北京大学的poj板块内进行刷提来提升自己的编程能力,北大poj为大家提供许多数据结构和算法题目。 方法/... 阅读全文
摘要:
Winsock 2 入门指南 (翻译自MSDN+CBuilder2010文档) Translated by Xana Hopper Blog: http://blog.xanahopper.com Email: xanahopper@21cn.com 一下是Windows Sockets编程的入... 阅读全文