【摘 要】
：
Girard quantales是研究计算机科学的线性逻辑的有力工具。它为线性命题公式提供了理论基础；特别是Girard quantales中的“ ”运算，它在线性逻辑的一些运算中有着广泛的运用，本
【机 构】
：
湖南大学数学与计量经济学院,湖南城市学院数计系
【基金项目】
：
湖南省自然科学基金（04JJ6011）.
论文部分内容阅读
Girard quantales是研究计算机科学的线性逻辑的有力工具。它为线性命题公式提供了理论基础；特别是Girard quantales中的“ ”运算，它在线性逻辑的一些运算中有着广泛的运用，本文研究了Girard quantales中运算“ ”的一些新的性质，给出了Girard quantales的Sub-quantales亦是Girard quantales的充分条件。
其他文献
改革开放以来,随着我国超高层建筑的快速发展,建筑高度不断提高,300米以上百层高楼已然成为超高层建设的主要趋势。然而,百层高楼由于结构超高,体系日趋复杂,建筑功能上也呈
桦甸市绿色特产业办公室于8月28日，在横道河子乡荒山村举办晒烟专项技术培训班，100余名烟农参加了培训。
【教学目标】1.提高表达、倾听和与他人交往沟通的能力,感受自然界的和谐美好。2.学会展开联想和想象,表达自己的独特感受。3.选择一项完成习作,发现作文的不足之处并认真修
随着社会的发展和时代的进步,心理素质日益成为人们关注的焦点,如何提高个体尤其是青少年的心理素质和心理健康水平,也越来越受到人们的关注。尤其是近些年,随着素质教育的推
那天我依旧是带着备好的教学内容走进班级,依旧是按常规进行课前3分钟的口语交流.依旧当主讲者讲述完毕之后,同学评价提问,就在这个环节,我发现,对于学生感兴趣的问题,他们有
创设情境已在教学中得到广泛应用,高中数学教师可以通过创设情境提高数学教学效率。文章结合教学实践,分析情境教学的内涵和作用,并对创设情境的教学价值进行阐述,强调高中数
为贯彻落实党中央、国务院关于农产品质量和食品安全工作的一系列重要决策部署，11月12～13日，国务院食品安全委员会在福建厦门召开全国治理“餐桌污染”现场会，推广福建“治理餐桌污染、建设食品放心工程”经验，交流农产品质量和食品安全监管创新举措，启动农产品质量安全县和食品安全城市创建试点活动。受国务院副总理、国务院食品安全委员会主任张高丽委托，国务院副总理汪洋出席会议并做重要讲话。 汪洋强调，要认真
处于现代的教育背景之下,数学的传统教学已经不能适应教育新潮的发展。什么是教育新潮呢?就是现代的教育模式——优化教学。对于教师而言,采用优化教学的教学模式,不仅能够更
硅元素的知识是高中化学必修1的内容,硅及其化合物在现代社会被广泛应用,具有重要的经济价值。文章以第一人称的视角,将硅及其化合物的知识以自白的形式娓娓道来,介绍了硅元
新课改背景下,素质教育成为教育发展的必然。审辩思维作为历史素养的一部分,体现出学生历史学习情况。文章以高中历史教学中审辩思维培养为研究对象,对此提出几点建议,希望培