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

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

纯逻辑的程序设计方法

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

自动机与程序設計

本文提出“状态自裂变的自动机(automata with spontaneous fissionstates)”这样一类扩充自动机。藉此,定义(顺序)程序设计这一活动的含义:它是状态自裂变自动机(SF自动机)的一种“逻辑设计”。也就是,(i)根据问題的要求,设计出SF自动机的状态转移图,(ii)设计出状态转移图上(要求帶转移/输出标记的)那些箭弧的标记,(iii)以开发计划所要采用的程序设计语言的诸语言成分作为“硬件”的元件组,把带标记的状态转移图“逻辑设计”(实现)成所要的程序。这样一来,我们把程序设计这一活动纳入到自动机实践领域里来。     

正式函数式程序设计语言的一种操作性语义模型

本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型,它实质上是LISP虚拟机上的一个解释程序。     

用解释Petri网图式作为工具开发函数式程序的实例研究

基于文献[1]的方法,本文开发了一个函数式程序(FP程序),文中还给出了程序开发过程中的一些注意事项.最后例出了对文献[1]的一些修改.     

再论函数式程序設计語言的合成邏輯语义学

本文继文献(1)之后,在合成逻辑这一数学基础上,再次探讨函数式程序设计(FP)语言的语义学。FP语言被处理成一种多层次结构的合成逻辑。第一层(基础层)是Curry的合成逻辑。在此层之上,逐次扩展而构造成相继较高的各层。第二层是这样的合成逻辑,它就是所谓的SK归约机。第三层逻辑可说是一种扩充的SK归约机。最后,在第三层的基础上构造出第四层,它就是FP语言。     

泛型程序的多型值构造

泛型程序设计提供了一种重要的程序设计范型,使程序员无须为不同的数据类型重复编写功能相似的程序代码。本文以相等函数为例阐述了泛型程序设计的基本方法,并利用直积和直和给出了构造多型值的方法。利用这一结果能够定义各种数据类型的相等性,同时,定义相等性的方法也可以自然地推广到其他函数的定义上。     

一个C语言程序

本文介绍的是一个100以内加法小程序,此程序多处使用了C语言程序设计的一些技巧,例如,不用汉字库快速显示汉字,调用系统资源的方法等。 为了使该程序能脱离Turbo C环境而独立运行,需利用 Turbo C的应用程序 BGIOBJ.EXE,将显示驱动程序编译为＊.OBJ(设当前目录为A:\TC):     

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

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

浅谈基础程序设计语言教学方法

C语言程序设计作为大多数计算机专业学生接触的第一门程序设计语言,对于学生来说确实有一定难度,所以其教学方法就显得尤为重要。在教学过程中应注重培养学生掌握程序设计的思想和方法,树立正确的软件工程观点以切合将来软件工程开发的实际需要,培养学生分析问题的完备性,最终达到能够灵活运用高级语言进行程序设计的目的。     

论我国行政赔偿程序的缺陷及对策建议

完善的行政赔偿程序是行政相对人的合法权益在受到侵害后能够依法得到赔偿的重要保障。阐述了我国行政赔偿确认程序存在的缺陷,目前先行处理程序的不合理性,以及相关法律对行政赔偿程序规定的冲突。有针对性地提出设立行政赔偿委员会,在现行行政赔偿程序中引入行政听证程序并进行相应的制度体系建设,建立“一并式”行政赔偿诉讼程序,取消“单独式”赔偿程序,制定一部行政赔偿程序法等建议。     

基于Auto CAD程序并发的研究

本文对Auto CAD二次开发中的程序开发进行了分析和研究,提出了程序开发中的四种方法,指出程序开发可以使系统达到最佳运行状态.     

汇编语言“循环程序设计”课件教学设计

学习内容、教学策略和学生分析是循环程序教学设计的三个要素，循环结构是程序设计的三种基本结构之一，是程序设计的基础。它是对之前学习的顺序结构、分支结构程序设计的知识和能力的提升，也是以后学习子程序以及利用汇编语言编写综合应用程序的基础和前提，起着重要的承前启后的作用。     

现代图式理论对英语听力理解程序分析的新启示

以图式理论为基础,从认知心理学的角度出发,分析了听力理解程序中“自下而上”和“自上而下”两种程序的相互作用,并探讨了现代图式理论对英语听力理解程序分析的新启示:1)“自下而上”能使听者利用已知语言图式来诠释所获得的信息;2)“自上而下”能使听者使用语言知识来理解所获得的信息。     

侦查讯问程序的批判性重塑

我国现行侦查讯问程序设计的一个突出特征是“口供中心主义”下的强制取供,即整个程序是以确保侦查机关“顺利”获取犯罪嫌疑人的“口供”为中心而加以设计的,为此,甚至不惜直接或间接地强制向犯罪嫌疑人取供。从实践效果来看,正是这种目的错位的程序设计导致了实践中侦查讯问阶段刑讯逼供的频发。对此,应当从理论上予以批判,并从以下方面着手予以重构:反对强迫犯罪嫌疑人自证其罪,赋予犯罪嫌疑人有限度的沉默权;赋予辩护律师于侦查讯问时在场权;进行全程连续录音、录像。     

心电图微机自动診断系统診断程序

本文介绍了“心电图微机自动诊断系统”的诊断程序的设计考虑。我们提出了一种“逐类分级判决的带可信度的判决法”来编拟程序。所编程序具有运行快速、判断准确、逻辑清楚,能在给出诊断的同时给出可信度等优点。本系统能诊断的心电图病类有68种。诊断时间平均2秒钟。与医生结论相符的符合率达到95％以上。     

“C++程序设计”教学方法的研究与实践

随着计算机技术的飞速发展,面向对象的编程技术已经成为当今软件开发的重要手段之一,尤其是Visual C++的出现,大大推进了面向对象与可视化编程技术的应用和发展?因此,掌握面向对象与可视化程序设计的内容与方法已经成为对计算机专业人才应用与开发能力的重要要求?C++程序设计是面向对象程序设计与可视化编程的核心基础?本文结合几年来讲授"C语言程序设计"和"C++与面向对象程序设计"的教学经验,主要研究和探讨以下方面的C++程序设计的特点,教学的难点和重点,教学方法的改进和优化?目的是提高学生的程序设计能力?     

一次同余式组的程序求解

作为程序设计在数论中的应用,本文从孙子定理入手,通过剖析“大衍求一术”方法,给出一次同余式组的计算机求解。     

VFP程序设计语言教学中的典型错误分析

在VFP程序设计语言上机实验中,进行函数、命令、程序设计等练习时,如果不注重语法格式及逻辑上的校验会出现很多错误,作者从格式和语法入手,以具体的实例来分析VFP程序设计语言中出现的典型错误及产生的原因,并给出正确的写法。     

谈谈面向对象的程序设计技术

文章着重阐述了面向对象程序设计技术的思想和特点,指出了面向对象的程序设计与传统的结构化程序设计的关系。