设l(x):x是整数N(x):x是负数S(x,y):y是x的平方,命题任何整数的平方非负可表示为谓词公式().
设E(x)表示“x是偶数”,0(x)表示“r是奇数”、P(x)表示“x是质数”,N(x)表示“x是负数”,I(x)表示“x是整数”和一些中缀表示的谓词诸如y=x2+1等、将下列各句译成逻辑符:
(a)一个整数是奇数,如果它的平方是奇数。
(b)两个偶数之和是偶数。
(c)一个偶数和一个奇数之和是一个奇数。
(d)有两个奇数它们的和是奇数。
(e)任何整数的平方都是负数。
(f)有某个质数其平方是偶数。
(g)不存在一个整数x使x2+1是负数。
(h)对任何两个整数x和y,z-y或y-x是非负的。
(i)如果1=3,那么任何整数的平方是负的。
(j)如果1=3,那么任何整数的平方是正的。
(k)任何两个质数之和是一个质数。
(d)存在两个质数其和是质数。
(m)对任何整数,如果它的平方是负的,那么1=1。
设1={1,2,...,n}是1的一个子集.mc(x)是一个偏假p正确蒙特卡罗算法.该算法用于判定所给的整数1≤x≤n是否为集合S中的整数,即x∈S.设q=1-p.由偏假算法的定义可知,对任意x∈S有Prob{mc(x)=true}=1.当x∈S时,Prob{mc(x)=truc}≤q.考虑下面的产生S中随机元素的算法GenRand如下:
假设由语句“x=rnd.Random(n)+1;"产生的整数x∈S的概率为r,证明算法GenRand返回的整数不在S中的概率最多为
设光滑闭曲线L在光滑曲面S上,S的方程为z=f(x,y),曲线L在XY面上的投影曲线为l,函数P(x,y,z)在L上连续,证明
“设a1,a2,...,an是不同的整数,试证:当n>4时,(x-a1)(x-a2)...(x-an)+1是Q[x]中不可约多项式。”举例说明题中条件“n>4”不能去掉(除非n=1,3)。
设谓词P(x):x是奇数;Q(x):x是偶数:谓词公式在个体域()中是可满足的.
A.自然数
B.整数
C.实数
D.以上均不成立
⑴液面高度X与电容C的关系;
(2)液位计的灵敏度S=dC/dx,并分析X与C是否是线性关系。