计算机科学若干概念的元数学刻划

来源 :现代电子技术 | 被引量 : 0次 | 上传用户:xiaoxunjun
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
阐要介绍元数学的产生和发展历史以及好的基本思想,通过具体实例论述了元数学思想在计算机科学领域中多方面和多种形式的应用。阐述了元数学对计算机科学,特别是计算机科学理论的产生和发展所起的重要作用,并对计算机科学中若干概念给出了元数学刻划。
其他文献
CPU的霸主之位到底由谁来坐的问题已经争夺了很久了,到底在这些CPU的制造厂商中,谁才是真正的君王?面对目前势力最强大的二大CPU集团-AMD与intel,谁才技高一筹?咱们来实测看看好了。
针对小区地下供水管网暗漏难以发现的问题,本文介绍了用估算最小夜间流量测的方法。
目的:探讨临床药师参与危重感染患者药物治疗的实践方式。方法:回顾性分析临床药师参与1例因侵袭性播散性真菌病导致感染性休克的内科ICU患者的药物治疗过程。患者使用亚胺培南
科降市人口约100万,是德国的大城市之一。莱茵河蜿蜒穿过市区,雨季河道水位与市地在高程相近,暴雨强度相对较高。自1880年开始该市就有计划地以合流制为主的城市排水系统,下水道普及率达
目的:探讨缬沙坦联合卡维地洛对慢性充血性心力衰竭心功能及心室重塑的影响。方法:66例充血性心力衰竭患者随机分为观察组(缬沙坦联合卡维地洛)和对照组(常规治疗)。对照组给强心苷
重点介绍使用万用表测量双向可控硅输出电压波形对称性的简便方法。
目的:研究进食对健康受试者单剂量口服氯沙坦钾片药动学的影响。方法:10名健康受试者随机分为2组,每组5人。试验开始前一晚禁食10h,晨起后,一组空腹口服氯沙坦钾片50mg,另一组在进
目的:了解我院抗骨质疏松症药的应用现状及趋势。方法:根据我院药品计算机管理系统提取的数据资料,从不同角度进行统计、分析。结果:我院2007-2009年抗骨质疏松症药销售金额
介绍了一种已广泛实用于烟叶烘烤的单片机温度控制系统。论述了恒温和升温过程中温度的平均功率和分段速率的复合控制方法。
福州市祥坂污水处理厂设计规模为5万m^3/d,根据污水水质及排放要求采用了单级前置反消化A/O工艺,污泥处理采用了不经消化直接脱水工艺,文中简述了各构筑物的设备配置,设计参数及工程的设计