首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
程序设计语言Lisp与Prolog分别是(41),它们的理论基础分别是(42)它们的数据结构分别是(43),它们的程序形式分别是(44),主要应用于(45)。
程序设计语言Lisp与Prolog分别是(41),它们的理论基础分别是(42)它们的数据结构分别是(43),它们的程序形式分别是(44),主要应用于(45)。
admin
2019-04-08
34
问题
程序设计语言Lisp与Prolog分别是(41),它们的理论基础分别是(42)它们的数据结构分别是(43),它们的程序形式分别是(44),主要应用于(45)。
选项
A、等词理论与λ演算
B、λ演算与等词理论
C、一阶谓词逻辑与λ演算
D、λ演算与一阶谓词逻辑
答案
D
解析
转载请注明原文地址:https://jikaoti.com/ti/rlJ7FFFM
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
步骤1单击[样式]组中的[套用表格格式]按钮,单击[表样式浅色13],如图4—10所示。[*]步骤2在[套用表格格式]对话框中选中[表包含标题]复选框,单击[表数据来源]右侧的折叠对话框按钮,如图4—11所示。[*]步骤3选中单元格区域
软件工程的出现是由于
视图设计一般有3种设计次序,下列不属于视图设计的是()。
软件复杂性度量的参数包括()。
软件设计中,有利于提高模块独立性的一个准则是______。
详细设计的结果基本决定了最终程序的
程序改错【题目】以下程序的功能是:求1000000以内的所有平方回文数。平方回文数是指该整数为某一整数的平方,且该整数的各位数字呈中心对称。正确程序的输出结果如下:1000000以内的平方回文数为:12148467610201123211464140
以下程序首先建立一条链表,然后按照如下顺序删除链表中的结点:以链表的第一个结点为1号结点开始依次搜索,删除所有序号为3的倍数的结点,即删除第3、6、9、……个结点,当搜索一遍结束后再从链表头部继续此操作,直到链表的结点个数少于3个为止。程序输出为:当前
随机试题
Fitzgeraldwroteonenovel______,inwhichhetracesthedeclineofayoungAmericanpsychiatristwhosemarriagetoabeautiful
GRE序列MRI电影可显示室间隔缺损处的分流,表现为
糖尿病酮症酸中毒常有重度失水,一般第一日补液约( )
麻疹的好发季节是()
血沉增快可见于下列哪些情况
微观经济学的研究对象是价格与供求的关系。()
阅读材料,回答问题。材料一:漫画“落网”。材料二:习近平总书记指出:要加强对权力运行的制约和监督,让人民监督权力,让权力在阳光下运行,把权力关进制度的笼子里。坚持“老虎”“苍蝇”一起打,坚决做到有腐必反,有贪必肃。结合材料二和所学
用配方法化二次型f(χ1,χ2,χ3)=χ12+2χ1χ2+2χ1χ3-4χ32为标准形.
Whatisthepercentageofthepeoplewhoareunhappywiththeirhouses?
Betterthinktwicebeforechoosingapasswordforemails,onlinebankaccountsandairlinetickets.Passwordsthatshownoi
最新回复
(
0
)