论文部分内容阅读
论文探讨从集合与双射、结构与态射、范畴与函子到λ演算与相等映射的共同思想与规律.
从映射到函子
【摘 要】
：
论文探讨从集合与双射、结构与态射、范畴与函子到λ演算与相等映射的共同思想与规律.
【机 构】
：
湛江师范学院数学与计算科学学院
【出 处】
：
湛江师范学院学报
【发表日期】
：
2012年6期
其他文献
介绍了基于．Net构架的医用化学网上考试系统。它以ASP．net为设计环境，SQLserver2000为数据库，采用B／S模式，具有注册登陆、考试评分等特点。
人才培养的关键在于课程,能否构建科学合理的本科层次职业教育专业课程体系,将关系到本科层次职业教育人才培养质量。而构建科学合理的本科层次职业教育专业课程体系首先需要
四川遂宁工务段桥路技术科正在推广运用桥路设备检修管理系统,设备检查人员通过手持机扫描现场安装的RFID芯片中的二维码,利用GPS坐标定位,将数据传输至该段桥路技术科,桥路
信息技术已经渗透到教育的方方面面,教师在这一环境下的培训显得尤为重要.文章分析了信息技术环境下教师角色的变化情况,对教师培训的现状进行了调查,尝试性地提出了教师培训
设p为奇素数，运用同余式、平方剩余等初等方法得出了丢番图方程x3±53＝3py2无正整数解的两个充分条件。
实践能力和创新精神是对新时期高素质人才的基本要求.文章在分析了传统教学模式下电子技术实验教学中存在的突出问题的基础上,提出了优化实验教学的基本目标和整体思路,并给
Unified Office推出了一款包含传感器数据的物联网解决方案.比萨连锁店MarPizza正使用Unified Office提供的基于ZigBee技术的物联网技术管理70家餐厅的温度.该系统使用无线温
本文联系制作正常人体解剖学、病理学等实物考试题库的实践，分析了电视录像制作平台，Powerpoint电子幻灯制作平台，Authorware多媒体平台三种制作平台各自的使用方法与特点。
21世纪我国高等医学教育面临着空前的挑战和机遇。本文就新时代病理网络教学对教师和学生这两大教学的主体提出的挑战进行了相关的探讨。