相关试题
【判断题】
任一命题公式的主析取范式和它的主合取范式互为对偶式
【判断题】
任一命题公式都可以表示成与其等值的若干极小项的析取式
【判断题】
在谓词公式中，一个变量只能是自由变量或约束变量中的一种
【判断题】
公式 (x)(P(x)→Q(x) )R(y) 中量词x的作用域为P(x)
【判断题】
同一谓词公式，指定不同的论域，其真值不一定相同
【判断题】
谓词公式(x)P(x)(y)﹁P(y)是矛盾式
【判断题】
(x)(P(x)→Q(x) )→((x)P(x)→(x)Q(x) )为真
【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中自由变量进行代入后，有(z)(P(z)∧Q(a,z)∧M(z,b))∨R(z)
【判断题】
(x) (y) (P(x)→Q(y) )(x)P(x)→(y)Q(y)
【判断题】
P(x)、Q(x)表示谓词，P表示命题，有(x) (P(x)→P)(x)P(x)→P
【判断题】
(x) (A(x)∧B(x) )(x)A(x)∧(x)B(x)
【判断题】
(x) (A(x)→B(x) )(x)A(x)∧(x)B(x)
【判断题】
公式(x)P(x)→(y)Q(x,y)的前束范式为(x) (y) (P(x)→Q(x,y) )
【判断题】
公式(x)(﹁(y)P(x,y)→((z)Q(z)→R(x)))的前束范式为(x) (y) (z) (P(x,y)∨﹁Q(z) ∨R(x))
【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中约束变量z改名后，得到的等价公式为：(t)(P(t)∧Q(x,t)∧M(t,y))∨R(t)
【判断题】
{Φ}∈{Φ,{Φ}}且{Φ}{Φ,{Φ}}
【判断题】
设A={Φ}，B=P(P(A))，则有{Φ}∈B，且{Φ}B
【判断题】
设A、B是集合，则命题AB 和A∈B可能同时成立
【判断题】
设A、B是任意集合，则P(A-B)=P(A)-P(B)
【判断题】
设A、B是任意集合，若{A∩B,B-A}是A∪B的一个划分，则有A-B=Φ
【判断题】
设A、B是两个非空集合，若{A-B,B-A}是A∪B的一个划分，则有A∩B=Φ
【判断题】
设A、B是任意集合，若{A∩B, A-B,B-A}是A∪B的一个划分，则有A∩B=Φ，A-B=Φ，B-A =Φ
【判断题】
设A、B是任意集合，若{A∩B }是A∪B的一个划分，则有A-B=B-A =Φ
【判断题】
集合A={1,2,3}的任何关系R都不可能既是对称的，又是反对称的
【判断题】
集合A={a,b,c}上的关系R={<a,b>,<a,c>}是不可传递的
【判断题】
若R和S是集合A上的任意两个自反关系，则RS也是自反的
【判断题】
若R和S是集合A上的任意两个反自反关系，则RS也是反自反的
【判断题】
若R和S是集合A上的任意两个对称关系，则RS也对称的
【判断题】
若R和S是集合A上的任意两个传递关系，则RS也是传递的
【判断题】
若R为是集合A上的反对称关系，则t(R)一定是反对称的
【判断题】
若R是集合A上的传递关系，则R2也是集合A上的传递关系
【判断题】
设R和S是集合A上的等价关系，则R∪S一定是等价的
推荐试题
【单选题】
求平方根函数的函数名___
A. cos
B. abs
C. pow
D. sqrt
【单选题】
int a[10];合法的数组元素的最小下标值为___
【单选题】
char a[10];不能将字符串“abs”存储在数组中的是___
A. strcpy(a,“abs”)
B. a[0]=0;strcat(a,“abs”)
C. a=“abs”
D. int i;for(i=0;i<3;i++) a[i]=i+97;a[i]=0
【单选题】
int i,j,a[2][3];按照数组a的元素在内存的排列次序，不能将数1,2,3,4,5,6存入a数组的是___
A. for(i=0;i<2;i++) for(j=0;j<3;j++) a[i][j]=i*3+j+1
B. for(i=0;i<3;i++) for(j=0;j<2;j++) a[i][j]=j*3+i+1
C. for(i=0;i<6;i++) a[i/3][i%3]=i+1
D. for(i=1;i<=6;i++) a[i][i]=i
【单选题】
static char str[10]=“China”;数组元素个数为___
【单选题】
若char a[10];已正确定义，以下语句不能从键盘上给a数组的所有元素输入值的语句是___
A. gets(a)
B. scanf(“%s”,a)
C. for(i=0;i<10;i++) a[i]=getchar()
D. a=getchar()
【单选题】
以下程序段的输出结果为___ char c[]=“abc”; int i=0; do; while (c[i++]!=’\0’); printf(“%d”,i-1)
【单选题】
char a1[]=“abc”,a2[80]=“1234”;将a1串连接到a2串后面的语句是___
A. strcat(a2,a1)
B. strcpy(a2,a1)
C. strcat(a1,a2)
D. strcpy(a1,a2)
【单选题】
C语言中不可以嵌套的是___
A. 函数调用
B. 函数定义
C. 循环语句
D. 选择语句
【单选题】
C语言程序中必须有的函数是___
A. #include “stdio.h”
B. main
C. printf
D. scanf
【单选题】
一个C语言的执行是从___
A. 本程序的main函数开始，到main函数结束
B. 本程序文件的第一个函数开始，到本程序文件的最后一个函数结束
C. 本程序的main函数开始，到本程序文件的最后一个函数结束
D. 本程序文件的第一个函数开始，到本程序main函数结束
【单选题】
一个C语言程序是由___
A. 一个主程序和若干子程序组成
B. 函数组成
C. 若干过程组成
D. 若干子程序组成
【单选题】
C语言规定，在一个源程序中，main函数的位置是___
A. 必须在最开始
B. 必须在系统调用的库函数的后面
C. 可以任意
D. 必须在最后
【单选题】
以下叙述不正确的是___
A. 一个C源程序可由一个或多个函数组成
B. 一个C源程序必须包含一个main函数
C. C程序的基本组成单位是函数
D. 在C程序中，注释说明只能位于一条语句的后面
【单选题】
以下叙述正确的是___
A. 在C程序中，main函数必须位于程序的最前面
B. C程序的每行中只能写一条语句
C. C语言本身没有输出语句
D. 在对一个C程序进行编译的过程中，可发现注释中的拼写错误
【单选题】
表达式18/4*sqrt(4.0)/8值的数据类型为___
A. int
B. float
C. double
D. 不确定
【单选题】
C语言运算对象必须是整型的运算符是___
【单选题】
若变量已正确定义并赋值，下面符合C语言语法的表达式是___
A. a:=b+1
B. a=b=c+2
C. int 18.5%3
D. a=a+7=c+b
【单选题】
设以下变量均为int类型，则值不等于7的表达式是___
A. （x=y=6,x+y,x+1）
B. （x=y=6,x+y,y+1）
C. (x=6,x+1,y=6,x+y)
D. (y=6,y+1,x=y,x+1)
【单选题】
在C语言中，int、char和shor三种类型数据在内存中所占用的字节数___
A. 由用用户自己定义
B. 均为2个字节
C. 是任意的
D. 由所用机器的机器字长决定
【单选题】
若有定义：int a=7; float x=2.5,y=4.7; 则表达式x+a%3*(int)(x+y)%2/4的值是___
A. 2.500000
B. 2.750000
C. 3.500000
D. 0.00000
【单选题】
已知大写字母A的ASCII码值是65，小写字母a的ASCII码值是97，则用八进制表示的字符常量’\101’是___
A. 字符A
B. 字符a
C. 字符e
D. 非法的常量
【单选题】
以下选项中合法的用户标识符是___
A. long
B. _2Test
C. 3Dmax
D. A.dat
【单选题】
语句printf(“a\bre\’hi\’y\\\bou\n”);的输出结果是（说明：’\b’是退格符）___
A. a\ber\’hi\’y\\\bou
B. a\ber\’hi\’y\bou
C. re’hi’you
D. abre’hi’y\bou
【单选题】
若已定义x和y为double类型，则表达式x=1,y=x+3/2的值是___
【单选题】
设有 int x=11;则表达式（x++ * 1/3）的值是___
【单选题】
若以下变量均为整型，且num=sum=7;则计算表达式sum=num++,sum++,++num后sum的值为___
【单选题】
C语言中的标识符只能由字母，数字和下划符组成，且第一个字符___
A. 必须为字母
B. 必须为下划线
C. 必须为字母或下划线
D. 可以是字母，数字和下划线中任一字符
【单选题】
假设所有变量均为整型，则表达式（a=2,b=5,b++,a+b）的值是___
【单选题】
若有说明语句;char c=’\72’;则变量c___
A. 包含1个字符
B. 包含2个字符
C. 包含3个字符
D. 说明不合法，c的值不确定
【单选题】
下面不正确的字符串常量是___
A. ‘abc’
B. “12’12”
C. “0”
D. “ ”
【单选题】
若a为int类型，且其值为3，则执行完表达式a+=a-=a*a后，a的值是___
【单选题】
下列选项中，合法的C语言关键词是___
A. VAR
B. cher
C. integer
D. default
【单选题】
以下选项中，与k=n++完全等价的表达式是___
A. k=n,n=n+1
B. n=n+1,k=n
C. k=++n
D. k+=n+1
【单选题】
以下for循环的执行次数是 for(x=0,y=0;(y=123)&&(x<4);x++);___
A. 是无限循环
B. 循环次数不定
C. 4次
D. 3次
【单选题】
语句while(!E);中的表达式!E等价于___
A. E==0
B. E!=1
C. E!=0
D. E==1
【单选题】
下面有关for循环的正确描述是___
A. for循环只能用于循环次数已经确定的情况
B. for循环是先执行循环循环体语句，后判断表达式
C. 在for循环中，不能用break语句跳出循环体
D. for循环的循环语句中，可以包含多条语句，但必须用括号括起来
【单选题】
C语言中while和do-while循环的主要区别是___
A. do-while的循环体至少无条件执行一次
B. while的循环控制条件比do-while的循环控制条件更严格
C. do-while允许从外部转到循环体内
D. do-while的循环体不能是复合语句
【单选题】
以下不是无限循环的语句为___
A. for(y=0,x=1;x>++y;x=i++) i=x
B. for(;;x++=i)
C. while(1){x++;}
D. for(i=10;;i--) sum+=i
【单选题】
C语言用于结构化程序设计的三种基本结构是___
A. 顺序结构、选择结构、循环结构
B. if、switch、break
C. for、while、do-while
D. if、for、continue
