为用BASIC作結构化編程的翻譯程序

并非一切现有计算机语言都适于直接作结构化编程。常用的BASIC语言就缺乏结构化编码的基本逻辑结构语句。本文给出一个自动翻译程序“SBASIC”,使人能在使用BASIC的计算机上作结构化编程,并自动翻译成可执行的常规BASIC程序。输入的结构化编码和翻译出来的BASIC程序清单,分別存入二个文件中,并可分别打印出清单。 翻译程序“SBASIC”本身是用BASIC编写的,在HP-85计算机上执行。程序容许DOWHILE,DOUNTIL及IF-THEN-ELSE各五重的任意嵌套,并有适当的句法出错消息。这个翻译程序,略加修改,亦可用于其它使用BASIC的计算机;若计算机有下标字串变量,则亦可扩充到更多重的逻辑结构嵌套。 本文讨论了翻译中的若干基本问题及其解决办法。在附录中给出了翻译程序的清单和翻译结果举例。     

函数式程序設計語言的合成邏輯語义学

本文提出以合成逻辑(Combinatory logic)作为程序设计语言语义学的数学基础。Backus的(纯粹的)函数式程序设计(FP)语言实质上已是一种“高级的”合成逻辑语言,本文则将FP程序翻译成Curry的“低级的”合成逻辑中的代码。因此,它能在一种SK归约机上运行。     

QBASIC程序设计语言中循环结构的实现

程序设计是指用指定的程序设计语言把解决某一具体问题的过程表示成可以用该语言系统表示接受的形式。其结构有三种:顺序结构、选择结构和循环结构。每种结构都有其实现的语句。     

带变量FFP語言的遝輯基础

本文为Backus的FFP语言塑造了一种演算——Г演算,它与程序代数联合起来,实质上构成一种高级的合成逻辑。证实了“此合成逻辑与Curry的(低级的)合成逻辑是等价的”。Г演算,在理论上,为FFP语言奠定了数理逻辑基础。在实用上,它是“设计带变量的FFP语言的理论基础”。文中的Ω式就是一种带变量的FFP语言的雏型,它克服了Backus的FFP语言在?读性方面的缺陷。     

辩护语句为真何以可能——达米 特辩护主义意义理论研究

达米特为了拒斥戴维森超越于认识能力的成真条件意义理论，提出了“理解一个语句的意义在于构造一个语句为真的辩护性条件”的辩护主义意义理论。从“辩护语句为真何以可能”这一先验式问题出发，可以揭示语言意义理解的两种辩护程序：一是证实主义的辩护程序，即构造证实一个语句为真的典范性证明；二是实用主义的辩护程序，即构造接受一个语句为真而衍推出后承的典范性证明。两种辩护程序之间具有协调性、统一性关系。辩护主义意义理论的哲学意蕴在于，构造语句为真的辩护性条件是语言意义理解的先在性条件，以及获得语言意义的理解必须依赖于人的理性能力。     

纯逻辑的程序设计方法

文中对比了逻辑设计与程序设计,指出程序设计可作为某种广义的逻辑设计。拟定一种基于“?塑式”的谓词逻辑,提出一种新的有条理的面向正确性的程序设计方法。它将程序设计语言当作“硬件”,谓词逻辑语言则作为“软件”工具。程序设计工作中摆脱程序设计语言,而主要归结为“边验证边设计地进行的纯碎的逻辑推演”。只在最后,根据得到的?塑式和所使用的程序设计语言,才把该?塑式转换成所要的等效程序。文中举了例子来阐明。     

TRUE BASIC语言中SELECT CASE语句执行过程探讨

在 TRUE BASIC 开发的管理信息系统中,SELECT CASE 语句常用来实现多种功能选择及各种数据的分类处理。本文指出了 TRUE BASIC 语言标准文本和现行的一些教科书中对 SELECT CASE 语句执行过程的描述不够严密性之所在,然后通过分析具体测试程序及其运行结果,正确地描述了 SE-LECT CASE 语句的执行过程,并给出了相应的流程图。     

论辩证矛盾和逻辑矛盾的区别及识别

本文认为辩证矛盾的逻辑公式是（Ａ１，２）［Ａ１，２是（Ａ１○Ａ２）］，逻辑矛盾的逻辑公式则是（Ａ１）［Ａ１是由Ａ１∧Ａ１］，二者存在着７个方面的根本区别。“Ａ是Ａ又不是Ａ”只是一种自然语言形式，而不是逻辑公式，它在不同语境和条件下，可以表达辩证矛盾，也可以表达逻辑矛盾。要想正确识别这一语言形式表达了何种矛盾，就必须对该语句谓词的矛盾语境情况、整个语句的条件限制情况，以及其谓词内部是否存在着个别与一般等辩证关系进行语义分析，并且要正确补充被省略的语句成份。     

SELF~2,泛函·方程·逻辑·集合论四体裁一体化的编程语言:语言设计

设计了一种新人工智能编程语言SELF~2,它融合四种编程体裁(泛函,方程,逻辑,集合论)于一体,将成为Lyusia语言新版本的核心。SELF~2语言的设计分成四个阶段:(具函数、方程和逻辑三编程体裁的)SELF~2核仁设计,向集合论的扩展,蚋入表这个特殊构造,向泛函的扩展。SELF~2的实现工作大致地可按此四阶段逐一实现,逐步扩展。SELF~2语言核仁及SELF~2的各阶段扩展成的语言均可各自成为独立的编程语言。SELF~2语言的设计思想主要基于g_(γω)理论,它是g_(γω)的一应用系统(语言)的子集。     

议论文语言的逻辑分析

议论文语言分析的重点是什么?有的说应把那些含蓄精警、直接体现中心思想的语句作为分析的重点,有的则主张应该对结构复杂、形式特殊的语句作重点分析.前者侧重于语句的含义,后者侧重于语句的结构,虽然都有一定的道理,但似乎都不够准确、全面.议论文是以议论作为主要表达方式的文体,它通过运用概念、判断、推理这些思维形式来表达作者的主张、观点,揭示客观事物的本质和规律.一篇优秀的议论文的语言,必然是深刻的思想性和严密的逻辑性的高度统一.语言是思维的外壳.议论文的语言分析,应该以逻辑分析作为重点.只有揭示议论文语言的逻辑性,才能使学生思想上自然地受到正确命题的教育,在逻辑分析的实践中,熟悉逻辑知识,受到逻辑思维的训练,不断提高议论能力.     

计算机进行有趣的逻辑推理

电了计算机是一种既具有高速运算能力,又具有逻辑判断功能和“记忆”能力(内部存储能力)的自动的电子设备。计算机在各个领域有着广泛的应用。本文给出一些利用计算机解决逻辑推理的程序。 梁康健、欧阳录编著的《有趣的逻辑推理》中有很多有趣的题目,我们从中选出几个,用BASIC语言编程,程序中不用与、或、非运算,使得所编程序能在任意计算机上运行。     

对C语言中“‖”和“＆＆”运算符的剖析

在软件开发中,C语言是程序设计语言中使用最广泛的一种语言,它提供了灵活、方便且功能强大的逻辑运算．通过汇编语言剖析C语言中“‖”和“＆＆”运算符的工作过程,目的在于加深对复杂逻辑运算表达式的理解．     

物理教学程序在新型计算机上应用的转变

BASIC语言的物理教学程序已经有较多的应用,但是大都用于苹果机。现在,机型多为IBM PC286,386,486等,而过去的APPLE BASIC程序在其上不能运行。因而,我们需要把APPLE BASIC转变成标准的普适的微软MS BASIC语言。本文旨在比较两种语言,找出它们异同点和对应关系,掌握改写过程的技巧,推进计算机在物理教学上的应用和教育改革。     

创新BASIC语句

APPLE机用户悉知,在浮点BASIC中不允许在GOTO或GOSUB的目的行号使用变数。虽然浮点BASIC另外以ON AGOTO及ON A GOSUB来代替变数行号的功能,但对于太多目的行号的场合,仍是相当不方便的。很多场所,程序设计者愿望APPLE多有几个简单易用的BASIC语句,一则可缩短程序篇幅,也增强程序可读性,     

《BASIC语言》程序设计教学初探

《BASIC语言》是目前高等教育中比较重要的一门公共基础课。近几年来,我们在教学中发现,一般同学感到《BASIC语言》程序设计比较难掌握,主要表现在课程内容多、习题变化大和难于把握程序设计方法。这样,有些同学仅能靠简单模仿来应付作业,真正遇到实际较复杂问题却无从下手,从而导致学生不能深刻地理解《BASIC语言》各种语句的功能,也无法培养自己利用一定的方法进行程序设计的能力。     

数学系办公室管理电脑辅助系统

为促进办公自动化的发展,我们为数学系办公室开发了电脑辅助管理系统。该系统是在以INTEL 8086—2为核心、中文MS—DOS为操作系统的“华立”B16/ZH微机上利用BASIC语言和OFIS/POL制表软件(以下简称OP软件)实现的。该系统采用莱单技术和人机对话方式,操作简捷;采用汉字提示,易于使用;采用总线结构,易于扩充。 系统构成与设计思想 为使BASIC语言与OP软件有机结合,并简化操作,我们把所有程序串联在一个可自动执行的批处理文件中;所有BASIC程序均并联在一个BASIC主控程序中,而BASIC程序的各功能又并联在各自的子菜单中;OP软件本身的特点,使得建立在OP软件基础上的各文件相互并联。本系统的工作流程,如图1所示。     

逻辑模拟

本文介绍一种专为 DJS-130计算机设计的门级逻辑模拟专用语言(称 LM-1语言)及相应的逻辑模拟程序,具有下列特点:①语句结构简单明了,书写方便;②采用三值模拟方法;③元件延迟最大为6个“单位延迟量”;④线路规模在1000个元件以下(若内存容量32K,则可2000个元件左右),测试点最多不超过20个;⑤模拟结果以波形图形式由电传机或宽行打印机打印输出;⑥所需硬设备:CPU,内存16K,电传打字机,纸带输入机。本语言对于研究所、工厂等单位模拟中小型逻辑网络正确性较为适合。对高等院校开设“计算机辅助设计”课程的教学实验也有一定参考价值。     

论塔斯基的语义性真概念

塔斯基将真理概念定义为:在对象语言O中一闭语句是真的,当且仅当,它被所有的对象序列所满足。该定义的含义是,如果将该闭语句分解成开语句后,其中的自由变元能被某些对象序列所满足,则再将开语句合成为闭语句,其闭语句就被所有序列所满足,于是可断定该语句是真的。塔斯基的语义性真理定义既保留了亚里士多德古老真理定义的直观含义,又避免了在语义封闭的语言中导致悖论。其定义既成为经典逻辑的语义学基础,广泛应用与能用一阶语言所表达的科学领域中的句子集中,同时定义本身也是运用一阶逻辑对概念进行分析的典范。     

约根森难题与真值语义学

约根森难题意味着,一方面规范语句不能作为逻辑推理的前提或结论;而另外一方面,很多包含规范语句的道义推理在直觉上是正确的.真值语义学试图通过假定规范语句可以有真假来评价道义推理的有效性.这种方案的问题在于它没有解决这个难题,而是绕过了它.约根森难题的解决需要一种比真值语义学更为一般的逻辑后承概念,它否认逻辑必须依赖于真概念.     

“案例驱动”教学方法的探析与实践

计算机基础教育的“程序设计”课程长期沿袭传统教学方式,以一种高级程序设计语言的语法体系为脉络展开教学,课程内容较为抽象,趣味性不强,学生学习积极性不高。课程学完后,学生对程序语句、语句结构、函数、对象、控件等的功能和具体用法还是一知半解,教学效果不太理想。笔者在（（VFP程序设计》课程的教学中,应用“案例驱动”教学法实施教学,经实践证明,可以有效地提高教学质量。