带迭代算子的函数式程序设计

本文提出了程序设计语言的一种新的计算模型，带迭代处子的函数式模型，文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明，该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解，证明及构造高效的执行系统，相信该类语言是一咱有坚实理论基础、高效的、实际有用的高级确定性程序设计语言。     

论高校计算机专业开展函数式程序语言教学的必要性

针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。     

欢迎订阅《ANSYS在水利工程中的应用》

<正>本书结合一系列水利工程实例,系统而详细地介绍了ANSYS软件在水利工程中的应用及计算方法。全书分为三大部分共12章,包括ANSYS基础应用篇、APDL语言篇和工程实例篇。ANSYS基础应用篇主要介绍软件的功能、菜单命令选项及软件的建模基本过程,并介绍了两个简单结构静力学问题的完整分析过程,使读者大致了解ANSYS的基本分析步骤。APDL语言篇介绍了软件参数化程序语言的特点、参数定义和用法等主要内容,该部分内容使读者熟悉命令流操作。工程实例篇分别介绍了水利工程设计中常见的水工建筑     

程序教学的复兴所面临的若干问题和困难

在科技发展日新月异的今天,信息技术教学已经远离了开、关机还需要反复讲解的时代,三岁孩童熟练地摆弄着iPad已非奇事。自策划了"Scratch来了"这一专题之后,编辑深刻感受到研究程序语言的老师的可爱,他们的执著、他们的探索,使得程序教学不再那么枯燥,焕发出勃勃生机。因此,杂志特别策划了这一专栏,将陆续刊发一些程序教学领域有代表性的教学实践。也期待更多老师投身到程序教学中去,通过自身的践行,推动程序教学的复兴。     

"LonWorks技术及其应用"讲座第5讲专用开发语言Neuron C

Ｎｅｕｒｏｎ Ｃ是一种专门为 Ｎｅｕｒｏｎ芯片设计的程序设计语言。它在标准Ｃ的基础上进行了自然扩展,直接支持Ｎｅｕｒｏｎ芯片的固化软件,并删除了标准Ｃ中一些不需要的功能,如某些标准的Ｃ函数库。并为分布式ＬｏｎＷｏｒｋｓ环境提供了特定的对象集合,及访问这些对象的内部函数,它提供了内部类型的检查,是一个开发ＬｏｎＷｏｒｋｓ应用的有力工具。 Ｎｅｕｒｏｎ Ｃ的一些功能如下： ①一个新的对象类──网络变量（ ｗｅｔｗｏｒｋ ｖａｒｉ－ａｂｌｅｓ）,它简化了节点间的数据共享。 ②一个新的语句类型──ｗｈｅｎ语句,…     

指针与函数

存储和处理是程序设计的基本矛盾。存储中也有处理,是基本处理,例如,机器指令中的操作码,C语言内置类型中的运算符。随着处理越来越复杂,程序设计的基本矛盾不断向前发展,从而推动了程序语言的发展。指针（在机器语言中是地址）是存储和处理的“媒介”、“中介”,是语言的要素,它随着处理越来越复杂也在同时向前发展。