学科分类

已选分类 理学数学
设一阶语言,证明中的下列公式是永真式。 (1) (2)。
进入题库练习
有红球4个,黄球3个,白球3个,把它们排成一条直线,问有多少种排法?
进入题库练习
如果树中没有度数为2的顶点。是否树叶一定比分支点多?
进入题库练习
设是传递集,证明也是传递集。
进入题库练习
判断题∫cosx2dx=sin2x+C( )
进入题库练习
令是在命题演算形式系统中增加如下命题公式作为公理得到的形式系统: 证明:中存在公式使得。
进入题库练习
判断题若|A|≠0,则矩阵A一定可逆.( )
进入题库练习
判断题任何代数系统都存在子代数.
进入题库练习
证明无向树中任何两条最长路径都有公共顶点。
进入题库练习
证明:如果是正交阵,则。
进入题库练习
判断题从编号1到10的十张卡片中任取一张,若以A表示卡片编号是奇数,B表示卡片编号小于5
进入题库练习
进入题库练习
已知7个人中,会讲英语;会讲英语和汉语。会讲英语、意大利语和俄语;会讲汉语和日语;会讲意大利语和德语,会讲俄语、日语和法语;会讲德语和法语,能否将他们的座位安排在圆桌旁,使得每个人都能与他身边的人交谈?
进入题库练习
判断题曲线y=f(x)在点M(x0
进入题库练习
设集合,问: (1)上有多少个二元关系? (2)上有多少个等价关系?
进入题库练习
判断题若函数f(x)在闭区间[a,b]上连续,且f(a)=f(b),则至少存在一点ξ∈(a,b)
进入题库练习
判断题如果线性规划问题有可行解,就有最优解.( )
进入题库练习
判断题n阶方阵可逆的充要条件是A≠0( )
进入题库练习
判断题 对谓词公式中的自由变元进行代入后得到公式。( )
进入题库练习
判断题可数个可数集的并集一定是可数集.( )
进入题库练习