浅论逻辑在第五代计算机中的作用

本文主要通过第五代计算机过渡性的核心语言PROIOG—逻辑程序设计语言,讨论(一阶谓词)逻辑在第五代计算机中的作用。     

第五代计算机及其认知逻辑方法

计算机的发展正在从顺序控制流逻辑方法飞跃进入第五代的认知逻辑方法。需要第五代计算机解决的一个关键问题是NP问题。NP机器的双语言结构与人脑的感-知双重结构相同。北大未名生物工程集团有限公司生物智能技术研究组根据人脑的结构和功能提出一套认知逻辑形式语言理论,并根据认知形式语言制成一个NP机,命名为“未名机”。未名机正在进行NP问题的多项式时间测试。如果能解决NP问题,未名机将为第五代计算机提供逻辑实施方法。     

Prolog语言与Gdel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.     

Prolog语言与G6del语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点，它可以有效地实现程序自解释自调节功能．研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义，Prolog语言与Goeel语言分别支持使用非基本表示与使用基本表示的元程序设计功能．本通过对这两种语言中的元程序设计方法进行研究．讨论了基本表示与非基本表示的主要特点和实现机制，具体分析了Prolog语言与Gbdel语言元解释程序的构造方法以及部分求值功能实现.     

Prolog语言与Gödel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.     

Prolog语言与G(O)del语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.     

C语言程序设计教学中的问题及改革建议

随着社会的不断进步,市场对人才的需求逐步走向多元化、多方位,这就推动了C语言程序设计教学范围的拓展,特别是在各大院校,C语言程序设计已经成为高校理工科学生必须掌握的一项基本技能,对于计算机科学与技术专业的学生来说更是如此,是我们计算机专业的核心课程,介于此该文就C语言程序设计教学进行探讨,C语言程序设计属于一门工科类学科,它具有很强的实践性,在学习的过程中需要不断地培养自己的逻辑思维能力。该文就当前C语言程序设计教学存在的问题进行了分析,并提出了有效的改革措施。     

浅谈C语言程序设计课程的课堂教学

随着计算机在各个方面的广泛应用,C语言程序设计课程不仅仅是计算机专业学生的必修课,它已成为很多专业的选修课、必选谦甚至必修课.C语言程序设计课程的教学主要有课堂教学和课程设计(或称为实训教学)组成,课堂教学又包括理论教学和随堂实验两部分.本文就C语言的课堂教学谈谈个人的见解.     

新层次的智能语言——面向目标程序设计

当前专家系统的发展朝着解决两个基本问题努力;即新的程序设计和高效能的知识处理方法。符号语言Lisp和PROLG对编制专家系统是合适的。它在知识处理上是通过建立知识库及相应的推理机制来实现,通常要求领域专家与知识工程师之间的合作,近来一种新层次的智能语言——面向目标程序设计引起国际上土木工程界的注目,它是在70年代提出,80年代系统设计研究与应用中发展起来的智能语言。在办公室情报系统、大规模数据库、专家系统、分布式实时系统、柔性制造系统等方面得到应用。1988年8月在温哥华召开的第三届     

《C语言程序设计》中疑难问题探讨

随着计算机科学和通信技术的发展,计算机的应用规模得到了相应的扩大,计算机软件开发语言、工具和环境得到了相应的提高.由于C语言本身具有高级语言和低级语言的双重特性,可移植性强,适合开发各种类型的软件系统.但是它是一门语法要求比较严格、较抽象难以理解的编程语言.因此,在教学中常常会遇到自增、自减运算符,比较运算符,逻辑运算符,给字符数组赋值与给其他类型数据赋值,指针的正确定位,void 类型的不同含义等疑难问题,这些疑难问题若不解决常常影响专业技能的形成,解决和突破这些教与学中的障碍是教好、学好的关键.     

基于计算思维的计算机基础高级语言课程改革研究

高级语言程序设计课程是大多数高等院校非计算机专业学生必修的一门计算机基础课程。该文着重分析学生在学习计算机基础高级语言程序设计课程中存在的问题,进而通过理论教学设计和实践教学设计来进行计算思维教学设计,探索如何将计算思维引入到高级语言程序设计课程中,使学生能够按照计算机科学家的思维方式来考虑问题。高级语言程序设计课程中培养计算思维能力,提高学生独立分析问题和解决问题的意识、方法和能力,使学生能够从计算机的视角来对问题进行分析和解决。     

计算机语言教学中有益的尝试--简评《C语言程序设计教程》

作为一种编译型高级程序设计语言,C语言具有语言简洁、紧凑,使用方便、灵活,语言表达能力强(可以表达各种数据结构),移植性较高等特点。它是一种结构化程序设计语言,兼有高级语言和低级语言的特点,在国内外应用最为广泛,是当代大学生从事计算机应用工作应熟练掌握的一种程序设计工具,同时又是学习面向对象C 、JAVA等语言的基础。C语言程序设计课程不但已成为计算机科学与技术及其相关专业的专业基础课程,而且也成为非计算机专业的公共基础课程。华南理工大学出版社近期推出的“21世纪计算机应用基础课程教材”《C语言程序设计教程》和…     

将专业课知识融入高级语言程序设计教学

“高级语言程序设计”作为计算机专业的基础课程,在计算机专业教学中占有十分重要的地位。同时, 该课程也是“数据结构”、“算法设计与分析”、“编译原理”、“操作系统”等课程的先修课程,它们之间又存在着密切的关系。从高级语言程序设计课程与其后续课程的融合问题入手,以操作系统课程为例,分析了计算机专业课的相关理论对程序设计课程的影响,提出了在语言类课程教学中初步渗透专业课的基本知识、在适当时机用适当的教学案例将专业课相关理论介绍学生的基本理念。目的是帮助学生从更深的层次上理解程序设计的相关概念和原理,为促进程序设计课程的开展、树立学生学习的兴趣和信心、提高程序设计的质量找到新的解决途径。以实例分析为手段,分析了这种方法的可行性,讨论了该方法实施的相关条件。     

计算机在化学中的应用

以计算机文化基础、高级语言C程序设计与软件为基础结合化学专业中常用的数学方法和部分化学应用软件,综述计算机在化学中的理论与实际应用,解决化学领域中的实际问题以及建立简单的化学模型,同时介绍Origin、ChemWindow和化学品电子手册等软件,并且能够利用互联网进行化学文献检索及其它相关化学信息的搜索与利用。     

PROLOG程序和知识库系统

第五代计累机是智能计算机系统,它是以处理知识为目标的,知识库是它的关键环节之一,所以知识库系统的研究引起了广泛的兴趣。本文通过数据库,知识库和PROLOG程序之间的对比,阐明了PROLOG程序具有知识库系统的基本功能,认为在PROLOG语言的基础上开发知识库系统是可行的。     

可视化软件体系结构描述工具XYZ/ADL的设计与实现

在时态逻辑语言XYZ/E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL,它采用组件、连接件及交互端等基本设计单元,可同时描述软件体系结构的静态与动态行为,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来.     

高校C语言程序设计课程双语教学

针对普通高校中推行双语教学课程的必要性,特别是与英文密切相关的计算机专业,通过分析目前高校课程教学的现状和教学环境:即学生条件,教师条件,教学手段,教材等一系列相关条件下,阐述实施课程汉英双语教学实验的重要性和必要性,讨论了英文教材的选取原则,双语教学的课堂讲授模式等,以经验和理论分析说明在高校逐步推行的双语教学具有可行性.     

坚持人民民主专政不动摇——重温列宁《国家与革命》

1918年《国家与革命》在俄国彼得格勒出版。这篇著作把马克思和恩格斯关于国家与革命的有关言论收集起来,加以系统化,制订了马克思主义关于国家与革命的系统理论。它不仅在理论上特别重要,而且成为伟大的十月社会主义革命和建立世界上第一个无产阶级专政国家政权的战斗纲领和行动指南。列宁在著作中详尽地阐发了作为马克思主义国家学说核心的无产阶级专政学说,论述了无产阶级必须用暴力革命打碎资产阶级的国家机器,建立无产阶级专政,以及无产阶级专政的巩固和消亡等一系列     

“任务驱动”教学法在VB程序设计课程中的实践

"任务驱动"是一种建立在建构主义学习理论基础上的教学方法,其核心在于教学任务的设计。结合我们在VB语言程序设计教学中的实践,介绍了如何利用"任务驱动"教学方法组织程序设计教学的一般原则和方法。     

浅谈"汇编语言程序设计"课程教学

"汇编语言程序设计"是高等院校计算机软、硬件及应用专业必修的核心课程之一,不少学生觉得这门课程比高级语言程序设计的课程要难学得多.作者在本文中就该课程的教学进行了探讨.