非常抱歉,我们暂时无法提供预览,您可以试试: 免费下载 ISO 19757-2:2008 前三页,或者稍后再访问。
您也可以尝试购买此标准,
点击右侧 “购买” 按钮开始采购(由第三方提供)。
点击下载后,生成下载文件时间比较长,请耐心等待......
这些结果表明,人类大脑中可能拥有动物不具备的计算系统,该系统能让人类在归纳学习中通过压缩信息而高效地进行序列表征。 综上,基于现有的实验数据,研究组提出了新的语言演化假说:猕猴的大脑可能并不存在阻碍其学习超正则语法结构的先天结构缺陷,甚至可能不存在影响其掌握包括语言在内的高级认知能力的缺陷,习得超正则结构的能力上并非人类所独有。...
传统的程序语言以社会学中的形式语言学为理论基础,没有考虑语义形式化的需求。OE则是二合一的,定义OE的公式既是编译程序需要的形式语法,又是定义语义公理的形式基础。 “传统数学中的谓词只能描述程序单独一个状态的性质,而程序语义是程序初态和终态之间的关系。SP联系初态和终态,能准确描述程序语义。语义谓词SP从语义公理A演变而成。...
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号