C语言函数调用过程中变量的同名问题的解决

通过C语言函数调用过程中参数传递问题的讨论,进而引出了变量的同名问题,并分别从实参与形参、存储空间分配、复合语句、外部变量与内部变量四个方面深入剖析了程序执行时,同名变量引用的规则和方法的全过程。     

用循环语句编程三步曲

在设计循环结构的程序时 ,循环语句的选用是个关键 ,对这一问题的解决做了初步的探讨 ,给出了解决方法 .     

关于“算法”的一些认识

<正>随着计算机科学技术的发展,计算机的应用已经深入到了社会生活的方方面面,算法的作用和地位日益突出.如果没有算法,计算机就不能完成指定的任务,不能像今天这样为生活带来各种便利,更不要谈模仿人的行为、代替人去工作.正是基于这个事实,在素质教育     

蒙太格语法产生的历史背景

蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论,是在一阶逻辑的基础上,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的.形式语言包括(i)一阶谓词逻辑,(ii)模态算子,(iii)时态算子,(iv)兰姆达抽象,(v)形成谓词内涵和外延的算子.蒙太格提供了一个类型论的结构,这种结构允许对每种表达式加以量化.蒙太格的形式语言又可称之为内涵语言.他依据个体,真值,可能世界和时间座标以及所有这些的函项概念给出了内涵语言的的一个模型.内涵语言使我们能给出对自然语言语句的间接解释.其方法是,首先将语句映射为内涵逻辑中的翻译语言,然后给出这种语言的解释.本文主要阐述蒙太格语法产生的历史背景,阐述奠定了蒙太格语法基础的逻辑和哲学中的语义学早期传统,并将这种传统与语言学中的语义学传统相对照,后者表现出了与蒙太格理论的重大的和富有争议的不同.     

利用Visual Basic实现计算机考试中的单选题与多选题

本文主要介绍了在运行模式下,使用Visual Basic实现计算机考试中的单选题与多选题要做的工作和思考的问题,主要讨论了运行模式下的流程图和代码设计。     

逻辑L′ω1ω及其上的几个保持性定理

在无限长逻辑逻辑L′ω1ω的一个子逻辑逻辑L′ω1ω上建立了几个保持性定理。     

《超级画板》帮你教算法（4）

前面我们介绍了超级画板中赋值语句，条件语句，循环语句和输出语句的基本用法，也列举了一些简单实例．本节我们将给出更多与中学数学教学相关的实例．     

《超级画板》帮你教算法（2）

上一节我们主要介绍了超级画板中赋值语句的用法．本节我们将通过更多实例来介绍条件语句，循环语句和输出语句．     

对分区间套法超越方程求根程序的新应用

本文给出BASIC语言对分区间套法求解超越方程程序的两个新的应用软件:对分区间套法含数值积分超越方程求根程序和双对分区间套法非线性方程组求根程序。     

用BASIC语言实现算法（3）

在熟悉BASIC语言的输入、输出语句后，我们就可以编写一些最简单的BASIC程序了．如何将编好的程序输入计算机调试、执行呢?下面就介绍用BASIC语言上机的过程和常用的命令．先介绍GW—BASIC程序的上机环境、上机过程及所用命令．