SELF~2,泛函·方程·逻辑·集合论四体裁一体化的编程语言:语言设计

来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:hgjiao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
设计了一种新人工智能编程语言SELF~2,它融合四种编程体裁(泛函,方程,逻辑,集合论)于一体,将成为Lyusia语言新版本的核心。SELF~2语言的设计分成四个阶段:(具函数、方程和逻辑三编程体裁的)SELF~2核仁设计,向集合论的扩展,蚋入表这个特殊构造,向泛函的扩展。SELF~2的实现工作大致地可按此四阶段逐一实现,逐步扩展。SELF~2语言核仁及SELF~2的各阶段扩展成的语言均可各自成为独立的编程语言。SELF~2语言的设计思想主要基于g_(γω)理论,它是g_(γω)的一应用系统(语言)的子集
其他文献
随着信息经济的快速发展,都市报发行面临巨大市场竞争和自身发展不足的困难。本文提出了都市报发行破局关键是一要加强队伍建设、提升发行整体水平。二要做好资金投入与政策支
课堂教学整体优化是基于对历史的回顾与思考而提出的,重点研究直接影响课堂教学的几个主要因素及各要素的优化组合。各要素及其组合的优化、耗费最少的必要时间与精力并取得
离散非平稳高斯过程在实际中经常遇到。本文针对此过程的相关函数的估计导出了一种时间平均估计的方法。此估计不要求过程是遍历的这一严格假设;而且此方法只利用被观察过程
2014年1月16日上午,一名船员来到连云港国际航运服务中心一楼大厅,满怀感激地对连云港海事局政务中心受理人员说:“真是太谢谢你们了,多亏了你们的帮助和支持,我才顺利通过了考试!
本文所有数据采集自2014年7月25—26日各备忘录组织官网数据库,本季度统计的港口国检查及滞留情况涉及Paris MOU/TokyoMOU/IO MOU/Mediterranean MOU/Black Sea MOU/The Latin Amer
如今是信息化非常发达的时代,各种新型媒体对传统媒体的冲击越来越大时下,以新制电视、刚络、手机等媒体的信息化几科得以全覆盖,让以纸质媒体为代表的报纸、杂志的生存空间和生
在今年的“八一”建军节前夕,河南驻马店日报社党委组织日报、晚报、驻马店新闻网以及日报社印刷厂、报社发行部的60多名复退军人座谈会,开展“学英雄见行动”,以不褪色的老英雄