论文部分内容阅读
为了对形状的语义分析进行更加深入地研究,在形式系统、一阶谓词演算和范畴论的基础上,给出了形状及形状型的定义,并讨论了形状与形状型在计算机科学中的应用.
基于一阶谓词和范畴论的形状与形状型
【摘 要】
：
为了对形状的语义分析进行更加深入地研究,在形式系统、一阶谓词演算和范畴论的基础上,给出了形状及形状型的定义,并讨论了形状与形状型在计算机科学中的应用.
【机 构】
：
河北大学数学与计算机学院
【出 处】
：
河北大学学报(自然科学版)
【发表日期】
：
2010年03期
【基金项目】
：
河北省科技攻关项目(072135115)
其他文献
耐碳青霉烯类抗菌药物的肠杆菌科细菌(carbapenem-resistant Enterobacteriaceae,CRE)的感染已成为威胁全球人类健康的严重问题。预防CRE感染已迫在眉睫。人体肠道是绝大多数
在媒介高速发展、信息大爆炸的年代,看电影已经成为青少年娱乐消遣的重要方式,电影消费过程中的青少年媒介素养问题日益凸显其重要性。本文将以电影《小时代》为例,在分析电
【正】唐太宗李世民是中国历代皇帝中少有的政治家、军事家,他即位时还面临着分散于备地的李建成、李元吉余部和突厥军不断地骚扰等紧迫问题;又值连年灾荒,更造成了政治、经
文章介绍了电除尘器节能优化控制系统需要解决的问题和关键性技术开发。在现场运行数据分析的基础上，结合多年的电除尘器工作经验，设计和开发了该系统的软件和硬件。
随着计算机的大面积普及,多媒体对于教育教学的渗透日渐加深,在教育教学中的运用也日益广泛.在初中化学课堂教学过程中,教师通过对于多媒体的巧妙利用,可以充分激发中学生的
<正>"不忘初心、牢记使命"主题教育开展以来,同煤集团轩岗煤电公司以习近平新时代中国特色社会主义思想为指引,牢牢把握"守初心、担使命,找差距、抓落实"的总要求,深入调查研
近年来,随着我国经济社会的快速发展,人们的生活水平和质量不断提升,城市化建设也在不断推进,各种工程建设逐渐兴起。城市燃气工程的出现不仅方便了人们的生活,降低了传统能
就城市燃气工程全过程造价控制的重要意义进行阐述,分析了城市燃气工程全过程造价控制应遵循的基本原则,提出了做好城市燃气工程全过程造价控制的具体措施,以期促进城市燃气
高强高导铜合金是一类很有应用潜力的功能材料，近年来研究和开发应用高强高导铜基合金取得了显著成效。本文叙述了开发和研究高强高导铜合金的基本原理及制备方法，并对国内外高