camera |
2011-03-30 22:26 |
中国科学院计算技术研究所2011年计算机科学与基础考博试题
1.证明一个重言式。 \
E5kpm _:Y
|a> 2.把一句话用谓词表示并证明。 1{cF/ :o e9S*^2; 3.证明满足一些条件的一个集合是另一个群的子群。 SjJ$Oinc +[S<"}ls7 4.9个a,9个b,9个c,排成一个圈,使长度为3的27个字各出现一次。 AtAu$"ue {Q]7!/>> 5.证明V-e+r=2,(欧拉公式证明) Kh&a# ~c PqyR,Bcx0 6.一道有限自动机的题,证明下面是有限自动机。 `r\/5|M SwrzW'%A 7.旅行家问题,给一个图,求解空间并用回朔写。 o(3OChH { M[iYFg= 8.证明下表的数据不是布尔代数。 (0?FZ.9%
|
|