检索结果-南通市图书馆

计算机科学 1982年第2期 56-64页

作者：樊哲民中国科大研究生院

本文概述当前程序设计方法论中关于问题的形式说明、递归函数型程序的推导和程序变换的基本概念,通过具体例子说明利用这些技术进行程序设计的方法。

关键词：程序变换概念自然数结构化程序设计思维形式形式说明 FAC 尾递归递归论递归函数递归程序设计 GCD 递归调用

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

HDLC规程的Petri网形式说明与验证

计算机应用与软件 1988年第5期 51-58页

作者：杨一平杨润生王敬觉湖南大学

Petri网是一种重要的协议形式方法。本文使用***提出的谓词动作网这一Petri网扩充模型对HDLC平衡型规程进行了比较完整的形式说明,并分别使用线性不变量(Linear Invariants)和标志机(Token Machine)两种技术对HDLC在正常工作态下的各种... 详细信息

Petri网是一种重要的协议形式方法。本文使用***提出的谓词动作网这一Petri网扩充模型对HDLC平衡型规程进行了比较完整的形式说明,并分别使用线性不变量(Linear Invariants)和标志机(Token Machine)两种技术对HDLC在正常工作态下的各种性质和异常态的可恢复性问题作了全面的分析和验证。

关键词：通信协议通信规程形式说明不变量 Petri 一般性质部件特性谓词实词 HDLC 关联矩阵初态

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

通过形式推导和逐步变换的方法研制程序

计算机学报 1983年第6期 426-437页

作者：樊哲民西北化学动力公司

本文通过研制一个求解一次不定方程的程序,论述一种新的程序设计规范,即制定问题的形式说明,从形式说明推导出递归函数型程序,再通过一系列高级变换、高级到低级变换、低级变换和数据结构的变换,将其变为一个正确而有效的非递归文本。

关键词：算法形式说明递归调用一次不定方程递归函数递归论程序变换研制程序

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

使用RTAG进行高效的自动的协议实现

软件 1991年第2期12卷 102-115页

作者： Hernek,D 曹利华

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

塔尔斯基的真理语义论研究

塔尔斯基的真理语义论研究

作者：宋丽燕山大学

学位级别：硕士

真理问题一直是学术界备受关注的问题,不同的学者在不同的时期给予真以不同的理解,形成了关于真定义的多种理论。如符合论、融贯论、冗余论等。美籍波兰逻辑学家塔尔斯基独辟蹊径,在1935年发表了《形式化语言中的真理概念》,开创了真理... 详细信息

真理问题一直是学术界备受关注的问题,不同的学者在不同的时期给予真以不同的理解,形成了关于真定义的多种理论。如符合论、融贯论、冗余论等。美籍波兰逻辑学家塔尔斯基独辟蹊径,在1935年发表了《形式化语言中的真理概念》,开创了真理研究的新途径,建立了语义学真理论。本文试图从符号学角度,概述塔尔斯基真理语义论的基本思想,并对其特点进行简单阐释。从符号学角度,我们可以将真理分为语形真理,语义真理和语用真理,无论哪种真理,都有自然语言和形式语言两种表述方式。显然,塔尔斯基的真理理论是从语义方面来定义真理的,过程中,他采用了相对精确的形式语言。他以现代逻辑为手段,用逻辑分析和语义分析的方法,给“真的”一词下了一个实质上适当、形式上正确的定义,同时提出了著名的语言层次论,并创建了现代意义上的系统的语义学。塔尔斯基阐述的真理与认识论中的真理不同,仅仅是一个逻辑学概念。所提出的T约定也不是真理的定义,但塔尔斯基指出它是单独句子的成真条件.可以看作真理的部分定义。定义真理的过程结构严密,逻辑性强,具有相对的普遍性。在对塔尔斯基真理理论中几个基本语义概念分析的基础上,指出塔尔斯基对真理进行定义的最终目的是为了建立逻辑语义学。本文进一步肯定了塔尔斯基的真理语义论的地位。指出其真理理论不仅刺激了语义问题和真理问题的深入研究,确立了逻辑语义学的基础。其语言层次论也提供了一种很好的解悖方案,对演绎科学也有积极的意义。之后的卡尔纳普,戴维森都从不同角度发展了真理理论。

关键词：真理语义真理约定T 形式说明逻辑语义学

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

试论形象思维的哲学基础

河南大学学报(社会科学版) 1978年第5期 1-6页

作者：汤龙发

形象思维和抽象思维是人类掌握客观世界的不同的思维方式,都是马克思主义认识论的重要组成部分。但是《红旗》1966年5月发表的题为《文艺领域里必须坚持马克思主义认识论—对形象思维论的批判》一文,把形象思维说成是“反马克思主义认... 详细信息

形象思维和抽象思维是人类掌握客观世界的不同的思维方式,都是马克思主义认识论的重要组成部分。但是《红旗》1966年5月发表的题为《文艺领域里必须坚持马克思主义认识论—对形象思维论的批判》一文,把形象思维说成是“反马克思主义认识论的体系”,从哲学基础上否定了形象思维。“反形象思维”论这一错误观点,得到“四

关键词：形象思维概念思维形式本质规律马克思主义认识论辩证唯物主义的认识论马克思主义哲学逻辑思维形式说明严监生思维过程哲学社会科学

并发软件机模块在函数式程序设计系统中的表示

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机学报 1985年第6期 410-416页

作者：江明德成都电讯工程学院

本文引入并发软件机(CSM)念,用一种扩展的Petri网来形式说明CSM,并提出构造此种模块的方法,及FP(函数式程序设计)模块化这两概形式地论述“CSM总可表示成FP模块”,

关键词： FP 函数集函数式程序设计 ME CSM 程序设计方法论分量对象形式说明逻辑函数开关函数定义模块模件

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

程序变换概论

电子学报 1983年第1期 91-103页

作者：樊哲民西北化学动力公司

本文系统而概括地论述了程序设计思想的演变,程序变换技术的基本概念、原理和方法,提出了实现程序变换系统的一些设想。

关键词：递归调用自然数正实数抽象数据数据类型基本概念 GCD 程序变换赋值形式说明函数集尾递归变换规则

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

试论形象思维的哲学基础

开封师院学报(社会科学版) 1978年第5期 1-6页

作者：汤龙发

形象思维和抽象思维是人类掌握客观世界的不同的思维方式,都是马克思主义认识论的重要组成部分。但是《红旗》1966年5月发表的题为《文艺领域里必须坚持马克思主义认识论一对形象思维论的批判》一文,把形象思维说成是“反马克思主义认... 详细信息

形象思维和抽象思维是人类掌握客观世界的不同的思维方式,都是马克思主义认识论的重要组成部分。但是《红旗》1966年5月发表的题为《文艺领域里必须坚持马克思主义认识论一对形象思维论的批判》一文,把形象思维说成是“反马克思主义认识论的体系”,从哲学基础上否定了形象思维。“反形象思维”论这一错误观点,得到“四人邦”的竭力支持,造成了理论上的混乱,严重地危害了文艺创作。因此,对于“反形象思维”论的错误观点,必须进行彻底地批判,把他们颠倒了的理论上的是非重新颠倒

关键词：形象思维认识论词汇辩证唯物主义概念思维形式本质规律语言学问题逻辑思维形式说明严监生思维过程哲学社会科学

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

程序设计语言

电子科技文摘 1999年第5期 102-104页

Y98-61351-1095 9906551依据高级形式说明语言在寄存器传送级产生硬件说明语言代码的方法=A method for the generation of HDLcode at the RTL level from a high-level formal specifica-tion language[会,英]/Kountouris,A.A.& Wolinski,C.//1997 IEEE 40th Midwest Symposium on Circuitsand Systems,Vol.2.—1095～1098(HG)本文研究了依据 SIGNAL 形式说明产生硬件说明语言(HDL)代码的方法,在初始说明阶段,利用了两种变换,产生函数式等效的寄存器传送级 HDL 代码,形式上证明了函数的等效性,该方法允许分量再利用,

关键词：并行程序设计语言寄存器传送级说明语言面向对象语言代码形式说明等效性硬件函数式计算机工程

维普期刊数据库