雨课堂学堂在线学堂云《高级数理逻辑（北京化工）》单元测试考核答案

第1题数理逻辑不包括以下哪个子领域：（）。A集合论B图论C模型论D递归论第2题白马非马论是由以下哪位名家提出的：（）。A韩非子B墨子C公孙龙D赵惠文王第3题以下说法错误的是：（）。A数理逻辑是数学的一个子领域B数理逻辑是计算机学科的基础C逻辑是哲学的一个子领域D计算机科学是数理逻辑的基础第4题最先提出符号逻辑思想的是以下哪位数学家或科学家：（）。A牛顿B爱因斯坦C莱布尼兹D伽利略第5题以下哪位数学家在几何公理化方面作出了突出贡献：（）。A希尔伯特B图灵C莱布尼兹D牛顿第6题以下哪位数学家提出了连续统假设：（）。A策梅洛B康托C科恩D哥德尔第7题以下哪位数学家提出了著名的23个问题：（）。A希尔伯特B康托C罗巴切夫斯基D皮耶罗第8题以下说法正确的是：（）。A哥德尔证明了非完备性定理，但是没有证明完备性定理B哥德尔证明了完备性定理，但是没有证明非完备性定理C哥德尔既证明了完备性定理，又证明了非完备性定理D哥德尔既没有证明完备性定理，也没有证明非完备性定理第9题名句“Canmachinesthink?”出自以下哪篇论文：（）。ANewDirectionsinCryptographyBComputingMachineryandIntelligenceCTheChemicalBasisofMorphogenesisDCommunicationTheoryofSecrecySystems第10题关于布尔巴基合作者协会，以下说法正确的是：（）。A布尔巴基是法国人B布尔巴基是中国人C布尔巴基是德国人D布尔巴基是个虚构的人物第11题二十世纪在集合论和公理化领域出现的经典悖论不包括：（）。A生日悖论B罗素悖论C斯科伦悖论D理查德悖论第12题菲尔茨奖得主科恩提出了以下哪个技术或概念：（）。A良序定理(Well-OrderingTheorem)B选择公理(AxiomofChoice)C连续统假设(ContinuumHypothesis)D力迫(Forcing)第1题ABCD第2题ABCD第3题ABCD第4题A24种B36种C64种D81种第5题ABCD第6题A满射但不是单射B单射但不是满射C双射D不是单射也不是满射第7题ABCD第8题ABCD第9题ABCD第10题以下说法正确的是：（）。A整数集比自然数集的势大B有理数集比整数集的势大C实数集比有理数集的势大D复数集比实数集的势大第11题以下说法正确的是：（）。A区间(0,1)比区间[0,1]的势小B区间[0,1]比区间(1,2)的势小C区间(1,2)比区间[0,2]的势小D区间(1,2)与区间[0,1]等势第12题ABCD习题第1题图灵机不包括以下哪个要素：（）。A无限长的带子B读写头C堆栈D控制规则第2题自然数4的一元数表示是：（）。A100B1111C04D011第3题图灵机的控制规则不能用以下哪种表示法表示：（）。A3元组表示法B4元组表示法C5元组表示法D表格表示法第4题ABCD第5题以下语言属于正则语言的是：（）。ABCD第6题关于DFA与NDFA的计算能力，以下说法正确的是：（）。ADFA比NDFA的计算能力强BDFA比NDFA的计算能力弱CDFA与NDFA的计算能力相当D无法判断第7题关于有限状态机与图灵机，以下说法不正确的是：（）。A图灵机是有限状态机的一部分B有限状态机只能读不能写C图灵机既能读又能写D有限状态机是图灵机的一部分第8题与图灵机计算能力相当的计算模型是：（）。A有限状态机B算盘自动机C下推自动机D组合逻辑第9题关于算盘自动机，以下说法错误的是：（）。A算盘自动机能够实现加法运算B算盘自动机能够实现乘法运算C算盘自动机不能实现指数运算D算盘自动机能够实现指数运算第10题关于可判定语言和可识别语言，以下说法错误的是：（）。A可判定语言一定是可识别语言B可识别语言一定是可判定语言C有些可识别语言是可判定语言D有些可判定语言是可识别语言第11题

图灵完全的系统(或语言)不包括：（）。AC++BPascalCJavaD下推自动机第12题以属于可判定问题的是：（）。A

f(x)=2xB莱斯定理C希尔伯特第十个问题D停机问题习题第1题以下哪些语句是命题：（）。A吃了吗？B今天是星期五。C今天不是星期五吗？D请勿吸烟!第2题ABCD第3题ABCD第4题通常，优先级最高的联结词是：（）。ABCD第5题命题逻辑公式的表达方式不包括：（）。A波兰表达式B逆波兰表达式C树D关系第6题二元联结词一共有：（）。A2种B4种C8种D16种第7题ABCD第8题ABCD第9题下列集合中哪些不是联结词完备集：（）。ABCD第10题极小全功能联结词集中可能包含冗余联结词的数量是：（）。A

0个B1个C2个D3个第11题以下哪些式子不是永真蕴含式：（）。ABCD第12题以下哪些公式是析取范式：（）。ABCD习题第1题以下哪个集合包含互补文字：（）。ABCD第2题如果一个语义树的所有分支都是不可满足的,那么该语义树是：（）。A不可满足的B可满足的C全真的D无法判断第3题A可靠性B完备性C紧致性D传递性第4题A可靠性B完备性C紧致性D传递性第5题关于金琛系统，以下说法正确的是：（）。A金琛系统的公理中不含互补文字B金琛系统的公理中只能有正文字C金琛系统的公理中必须包含互补文字D金琛系统的公理中只能有负文字第6题关于证明，以下说法正确的是：（）。A一个证明由一个函数序列构成B一个证明由一个公理序列构成C一个证明由一个语义树构成D一个证明由一个公式序列构成第7题以下属于推导系统的是：（）。A语义树B金琛系统C希尔伯特空间D前束范式第8题以下不属于希尔伯特系统派生规则的是：（）。A前提引入规则B逆否规则C传递规则D反对称规则第9题在求取合取范式的过程中，以下说法正确的是：（）。A应先运用交换律，再运用分配律B应先运用分配律，再运用交换律C应先运用德⋅摩根律，再运用分配律D应先运用分配律，再运用德⋅摩根律第10题一个合取范式是永真式，当且仅当：（）。A它的某个基本积是永真式B它的每个基本积都是永真式C它的某个基本和是永真式D它的每个基本和都是永真式第11题关于子句标准形，以下说法正确的是：（）。A子句标准形与合取范式一一对应B子句标准形与析取范式一一对应C子句标准形不能是空集D有些命题公式无法转换成子句标准形第12题归结前的公式与归结后的公式：（）。A等价B具有不同的可满足性C具有相同的可满足性D无法判定习题第1题与命题逻辑相比,一阶逻辑引入了：（）。A常量B联结词C副词D量词第2题谓词本质上是：（）。A常量B关系C个体域D量词第3题A既是自由变量又是约束变量B是自由变量，不是约束变量C不是自由变量，是约束变量D既不是自由变量又不是约束变量第4题一阶逻辑公式的解释不含：（）。A个体域的具体化B谓词的具体化C常量的具体化D联结词的具体化第5题关于永真式，以下说法正确的是：（）。A永真式的部分解释不是模型B永真式的所有解释都是模型C永真式不是可满足式D永假式是可满足式第6题以下公式哪些是永真式：（）。ABCD第7题以下公式哪些不是永真等价式：（）。ABCD第8题以下公式哪些是永真蕴含式：（）。ABCD第9题以下式子不成立的是：（）。ABCD第10题以下说法正确的是：（）。A任何谓词公式均存在其等价的前束范式B某些谓词公式无法转化成与其等价的前束范式C前束范式必是主范式D不同的谓词公式对应于不同的前束范式第11题下面哪个技术不是一阶逻辑归结过程中用到的技术：（）。A合一B触底归结C替换D命题符号化第12题以下说法错误的是：（）。A任何前束合取范式都可以转化为与其等价的前束析取范式B任何前束析取范式都可以转化为与其等价的前束合取范式C前束析取范式中不能有合取联结词D前束合取范式中可以有析取联结词习题第1题一个蕴含封闭的公式集合称为：（）。A定理B公理C理论D关系第2题一个理论的元素是：（）。A关系B公式C函数D联结词第3题对于一个理论，其元素：（）。A可以是有限的，也可以是无限的B必是无限的C必是有限的D以上都不对第4题一个算术语言的定义应包括：（）。A常数-1和1B二元关系<和=C一元函数++和--D二元函数+和×第5题A为真B为假C可满足D无法判定第6题A为真B为假C可满足D无法判定第7题A为真B为假C可满足D无法判定第8题ABCD第9题ABCD第10题以下说法错误的是：（）。A每一个为真的逻辑公式是可证明的B每一个为假的逻辑公式是可证明的C有些为假的逻辑公式是可证明的D有些为真的逻辑公式是无法证明的第11题任何可数的理论如果有一个模型,那么：（）。A这个模型一定是个不可数的模型B这个模型一定是个可数的模型C这个模型一定是个有限的模型D无法判定第12题以下说法正确的是：（）。A算术中的所有真命题都建立在一致的公理系统之上B算术中的所有假命题都建立在一致的公理系统之上C没有一致的公理系统可以证明算术中的所有真命题D存在一致的公理系统可以证明算术中的所有真命题习题第1题Prolog是一种：（）。A工业编程语言B面向对象编程语言C声明式编程语言D关系型编程语言第2题Prolog程序的运行：（）。A由一个询问发起B由一个事实发起C由一个函数发起D由一个打印命令发起第3题Prolog程序的目标求解需要使用：（）。A希尔伯特系统B归结方法C语义树D金琛系统第4题目标子句可以看作是：（）。A一个合取范式B一个数据库C一个没有身子的霍恩子句D一个没有头部的霍恩子句第5题Prolog程序：（）。A只能求出一个解B最多求出一个解C可能求出多个解D只能输出true或false第6题Prolog语言中的内置常数包括：（）。AeBxCcDd第7题ABCD第8题以下说法正确的是：（）。AProlog语言支持指针BProlog语言不支持函数CProlog语言支持递归DProlog语言不支持列表第9题使用剪切（