论文部分内容阅读
基于等式求解的函数逻辑型语言计算机制的研究
【机 构】
：
清华大学
【出 处】
：
中国计算机学会计算机科学与技术研究生学术讨论会
【发表日期】
：
1990年期
其他文献
该文论述了在计算机科学中普遍使用的具有重要作用的数学方法。并指出它们的一些具体应用，旨在说明，计算机科学不仅需要用到离散数学，而且也还要用到连续数学。因此在计算机科学
DJSIS2数字电子计算机是100系例小型机中的高档机，其磁盘系统接口具有传输速度快，可靠性高，和适配性好的特点，该文对这方面作了叙述。并与DJS130机的磁盘子系统接口作了适当的比
该文主要介绍计算机科学的基础理论，包括逻辑学、可计算性理论、计算复杂性问题、形成语言和形式语义、人工智能和知识工程，软件工程基础理论，新一代程序设计语言、新一代计算机