程序设计语言Lisp与Prolog分别是(41)，它们的理论基础分别是(42)它们的数据结构分别是(43)，它们的程序形式分别是(44)，主要应用于(45)。

admin2019-04-08 75

问题程序设计语言Lisp与Prolog分别是(41)，它们的理论基础分别是(42)它们的数据结构分别是(43)，它们的程序形式分别是(44)，主要应用于(45)。

选项 A、等词理论与λ演算
B、λ演算与等词理论
C、一阶谓词逻辑与λ演算
D、λ演算与一阶谓词逻辑

答案D

解析

转载请注明原文地址:https://www.kaotiyun.com/show/byLZ777K

本试题收录于：系统分析师上午综合知识考试题库软考高级分类

系统分析师上午综合知识考试

软考高级

相关试题推荐

步骤1单击[公式]选项卡[函数库]组中的[逻辑]→[IF]函数，输入数据，如图3—18所示。[*]步骤2单击函数面板，打开对话框，输入数据，如图3—19所示。[*]步骤3单击[确定]按钮，后拖动单元格F3的填充按钮至F7。本题主要考核“
首先查看Sheet1工作表中的数据，在相应当前单元格中输入公式使用相对引用计算出各产品的总销售额。
步骤1单击“上半年销售业绩”系列单击[标签]→[数据标签]→[无]命令。步骤2单击[设置所选内容格式]按钮，在[三维格式]选项[棱台]组中选择“圆”的棱台效果，如图6—18所示。[*]步骤3单击[关闭]按钮。本题考查的是“设置数据
根据表格中选中的非相邻的单元格区域创建一个折线图，将图标移动到Chart1工作表中，切换行或列的数据，然后添加“西瓜”数据系列。
软件工程的出现是由于
开发软件时对提高开发人员工作效率至关重要的是()。
数据结构作为计算机的一门学科，主要研究数据的逻辑结构、对各种数据结构进行的运算，以及()。
子程序通常分为两类:()和函数，前者是命令的抽象，后者是为了求值。
程序改错【题目】以下程序的功能是:求1000000以内的所有平方回文数｡平方回文数是指该整数为某一整数的平方，且该整数的各位数字呈中心对称｡正确程序的输出结果如下:1000000以内的平方回文数为:12148467610201123211464140
以下程序首先建立一条链表，然后按照如下顺序删除链表中的结点:以链表的第一个结点为1号结点开始依次搜索，删除所有序号为3的倍数的结点，即删除第3、6、9、……个结点，当搜索一遍结束后再从链表头部继续此操作，直到链表的结点个数少于3个为止。程序输出为:当前

随机试题

实现了欧元纸币和硬币流通的时间是()
组织设计的基本原则是（）
《报刘一丈书》中“权者”的形象特征是
颞区外伤引起急性硬膜外血肿，最常见损伤的血管是
常见变异型免疫缺陷病较多见于（）
活血祛瘀药的共同作用是()
A．痫病B．眩晕C．厥证D．昏迷E．中风头晕目眩，视物旋转不定，甚则不能站立，耳鸣，但无神志异常的表现。此为
增溶剂是高分子化合物，助溶剂是低分子化合物。()
背景材料：某机电安装公司，按照工程承包合同要求，完成了中南电机厂重型发电机总装车间的机电安装工程承包范围内的全部工程量，并对工程质量进行了自检，自检结果符合施工图纸和验收规范的要求。该机电安装公司向建设单位提交了竣工验收报告，请求组织竣工验收。建设单位组
甲公司2×19年6月30日从集团外部取得乙公司60％的股份，对乙公司能够实施控制。2×20年6月20日，乙公司向甲公司销售一件产品，账面价值为76万元，销售价格为100万元，增值税税额为13万元。甲公司将该产品作为管理用固定资产使用，采用年限平均法计提折旧

最新回复(0)

程序设计语言Lisp与Prolog分别是(41)，它们的理论基础分别是(42)它们的数据结构分别是(43)，它们的程序形式分别是(44)，主要应用于(45)。

系统分析师上午综合知识考试

软考高级

步骤1单击[公式]选项卡[函数库]组中的[逻辑]→[IF]函数，输入数据，如图3—18所示。[*]步骤2单击函数面板，打开对话框，输入数据，如图3—19所示。[*]步骤3单击[确定]按钮，后拖动单元格F3的填充按钮至F7。本题主要考核“

首先查看Sheet1工作表中的数据，在相应当前单元格中输入公式使用相对引用计算出各产品的总销售额。

步骤1单击“上半年销售业绩”系列单击[标签]→[数据标签]→[无]命令。步骤2单击[设置所选内容格式]按钮，在[三维格式]选项[棱台]组中选择“圆”的棱台效果，如图6—18所示。[*]步骤3单击[关闭]按钮。本题考查的是“设置数据

根据表格中选中的非相邻的单元格区域创建一个折线图，将图标移动到Chart1工作表中，切换行或列的数据，然后添加“西瓜”数据系列。

软件工程的出现是由于

开发软件时对提高开发人员工作效率至关重要的是()。

数据结构作为计算机的一门学科，主要研究数据的逻辑结构、对各种数据结构进行的运算，以及()。

子程序通常分为两类:()和函数，前者是命令的抽象，后者是为了求值。

程序改错【题目】以下程序的功能是:求1000000以内的所有平方回文数｡平方回文数是指该整数为某一整数的平方，且该整数的各位数字呈中心对称｡正确程序的输出结果如下:1000000以内的平方回文数为:12148467610201123211464140

实现了欧元纸币和硬币流通的时间是()

组织设计的基本原则是（）

《报刘一丈书》中“权者”的形象特征是

颞区外伤引起急性硬膜外血肿，最常见损伤的血管是

常见变异型免疫缺陷病较多见于（）

活血祛瘀药的共同作用是()

A．痫病B．眩晕C．厥证D．昏迷E．中风头晕目眩，视物旋转不定，甚则不能站立，耳鸣，但无神志异常的表现。此为

增溶剂是高分子化合物，助溶剂是低分子化合物。()

步骤1单击[公式]选项卡[函数库]组中的[逻辑]→[IF]函数，输入数据，如图3—18所示。[]步骤2单击函数面板，打开对话框，输入数据，如图3—19所示。[]步骤3单击[确定]按钮，后拖动单元格F3的填充按钮至F7。本题主要考核“