教学课程资源库 更多>>

关键词： 关系变量   数据类型   定义   关键字   关系元素   关系表达式   PASCAL/R   关系模型数据库   关系数据库   程序设计语言  

摘要： PASCAL/R是在PASCAL基础上开发的新型关系数据库程序设计语言,本文评述了PASCAL/R对PASCAL进行的扩充。这些扩充使得PASCAL/R操作关系数据库十分简便

关键词： 函数   FP   泛函   FAIR-LILY   逻辑程序设计   逻辑式程序设计   递归定义   函数符号  

摘要： 本文根据〔1〕和〔2〕设计了一种“函数程序设计与逻辑程序设计统一成一体”的语言,FAIR—LILY。该语言的函数程序设计部分是带变量的 FFP 语言的一种扩充,其中嵌入以逻辑程序设计功能。

关键词： 计算机程序设计语言   BASIC  

摘要： 学习电脑是现代人的迫切要求,不少想学电脑的人都在问:“学电脑”应具备什么条件?我能学电脑吗? 一般来讲,学习电脑并不难,要求具备的条件也不高。不同的条件可以在不同基础上学习,可以学不同程度的内容。具体说,具有初、高中文化的人可以学习电脑系统介绍、操作方法、基本程序设计语言的使用,如BASIC语言的功能与使用等;具有某些技术专长的技术人员可以了解电脑的硬、软件功能与工作关系,学习一种计算机程序设计语言,如BASIC

关键词： 机器人   软件   定义   人工智能   位姿矩阵   PASRO   机器人程序设计  

摘要： “机器人程序设计软件系统PASRO”是用PASCAL写成的。PASRO是PASCAL语言的扩展,因此它具有很强的程序设计功能,并且移植性好,可用于各类机器人的控制。

关键词： FORTRAN语言-程序设计   高等教育   教材   程序设计-FORTRAN语言   ...  

ISBN: (数字)13010·01284

关键词： 函数   进程   偏序关系   不确定性问题   形式语义   并行系统   计算机系统   语义解释   定义  

摘要： 语义学的研究目前活跃在二个领域中,一个是代数语义学,另一个是并发程序设计语言的各种形式语义的定义,本文主要介绍并发程序设计语言形式语义的基础,尤其是幂域理论、指称语义、操作语义、以及并发类型理论问题的讨论。

关键词： 数据结构   SGML   信息交换   文献   文献工作   SGML 语言   人工语言   数据处理   信息处理   格式编排   程序设计   程序设计   信息交流   计算机辅助   出版   正文处理   定义   逻辑结构   程序设计语言  

标准号: ISO 8879-1986

摘要： This International Standard: a) Specifies an abstract syntax known as the Standard Generalized Markup Language (SGML). The language expresses the description of a document's structure and other attributes, as well as other information that makes the markup interpretable. b) Specifies a reference concrete syntax that binds the abstract syntax to specific characters and numeric values, and criteria for defining variant concrete syntaxes. c) Defines conforming documents in terms of their use of components of the language. d) Defines conforming systems in terms of their ability to process conforming documents and to recognize markup errors in them. e) Specifies how data not defined by this International Standard (such as images, graphics, or formatted text) can be included in a conforming document. NOTE — This International Standard does not: a) Identify or specify "standard" document types, document architectures, or text structures. b) Specify the implementation, architecture, or markup error handling of conforming systems. c) Specify how conforming documents are to be created. d) Specify the data stream, message handling system, file structure, or other physical representation in which conforming documents are stored or interchanged, or any character set or coding scheme Into or from which conforming documents might be translated for such purposes. e) Specify the data content representation or notation for images, graphics, formatted text, etc., that are included in a conforming document.

关键词： PDL   详细设计   语句表   结构化程序   程序设计语言   选择因子   逻辑表达   嵌套   算法   判定表   软件  

摘要： 软件的设计通常分为两个阶段进行,即初步设计和详细设计。初步设计完成以后,模块的划分已经完成。经过了审查及必要的修改,每个模块的功能,以及模块间的联系均已确定下来了,接下去要解决每个模块算法设计的问题,这便是详细设计阶段要完成的工作。当然,各模块内部的算法完全依赖于软件产品的要求和该模块的功能。算法本身不是本文讨论的课题。这里我们关心的是算法的表达形式,就是说我们需要有适合的工具,用以表达设计出来的算法。显然,

关键词： 字符串   整数   实数   SNOBOL4   宏语言   图象   数据元素   执行过程   数据类型   存贮空间   程序设计语言   扫描功能   解释程序  

摘要： 计算机在非数值方面的应用将大大地超过数值方面的应用,这种潜在的可能已日益被迅速发展的事实不断地证明。 SNOBOL其实是一种早就和FORTRAN、BASIC、PASCAL、COBOL等齐名的程序设计语言。在一些中文资料中偶尔也提到过,然