1.证明一个重言式。 \tP*Pz
Zv9%}%7p
2.把一句话用谓词表示并证明。 U8</aQLGF
v+( P 4fS
3.证明满足一些条件的一个集合是另一个群的子群。 `7.$
A U
Z2-"NB
4.9个a,9个b,9个c,排成一个圈,使长度为3的27个字各出现一次。 =4OV
}z=I
nj-
LG!"a
5.证明V-e+r=2,(欧拉公式证明) Q@"!uB.e
!wZIXpeL
6.一道有限自动机的题,证明下面是有限自动机。 UMHFq-
_T;Kn'Gz(&
7.旅行家问题,给一个图,求解空间并用回朔写。 9S<V5$}
7Jpq7;
8.证明下表的数据不是布尔代数。 V@\u<LO0G