论文部分内容阅读
一、类型理论的起源与发展类型理论的基本思想和方法学基础来源于哲学中的归类(classification)方法,即把具有共同特点的类集合成超类的思维过程和方法。归类是形成概念的先决条件之一,分类方法在认识和实践活动中有广泛的应用。例如生物学中的分类范畴典型体现了类型分化
类型理论和程序设计
【摘 要】
：
一、类型理论的起源与发展类型理论的基本思想和方法学基础来源于哲学中的归类(classification)方法,即把具有共同特点的类集合成超类的思维过程和方法。归类是形成概念的先
【机 构】
：
北京航空航天大学计算机科学系100083
【出 处】
：
计算机科学
【发表日期】
：
1992年1期
其他文献
目的探讨急性粘连性肠梗阻的诊断和治疗方法。方法回顾分析66例急性粘连性肠梗阻患者的临床特点及治疗效果。结果66例中急诊手术10例,保守治疗56例中,中转手术15例,所有患者
目的了解护理人员心理健康状况,探讨应对措施。方法采用中国护士工作压力源量表、症状自评量表（SCL-90）及简易应对方式问卷,对我市545名护士进行调查,分析心理健康状况与各因子
随着现代医学模式的转变，心理护理的作用日益受到重视。心理护理作为一门实践性很强的应用学科，已得到普遍认可。心理护理作为现代护理模式的重要组成，应贯彻临床护理全过程，遍及
浅静脉穿刺是临床上最基本的护理操作之一，是医院治疗、抢救病人的一个重要手段。要稳、准、快、好地将药物输注到病人体内，减少反复穿刺给患者带来的痛苦。特将多年浅静脉穿刺
手术是外科最主要的治疗手段之一，具有一定的创伤性。手术作为患者严重的心理应激源，直接影响患者的正常心理活动，并由此对手术后的康复产生影响。大量研究表明，大多数患者在手术
目的探讨胎儿死亡原因，以降低胎儿死亡的发生率。方法收集分娩时孕20周以上的死胎病例，回顾分析胎儿死亡的原因。结果引起胎儿死亡的原因为胎儿因素的占39．13％，脐带因素的占27．17％，母
目的探索湿润烧伤膏治疗褥疮的疗效。方法将47例褥疮患者，全部采用湿润烧伤膏治疗身体各部位的褥疮，根据创面情况分别采用湿性暴露治疗方法和湿性包扎治疗方法。结果47例患者，痊
目的探讨肝硬化上消化道出血患者健康教育需求。方法于患者入院次日采用自行设计的调查表,调查患者对疾病知识的认知程度和患者对健康知识教育的需求。结果76%以上的患者对疾
脑出血系指脑实质内的动脉破裂出血。随着人们生活水平的提高，脑卒中已成为威胁人类健康和生命的主要疾病之一。据报道80％的脑血管病患者有不同程度肢体功能障碍，其中43．7％的患者
目的评价在乳腺癌术后围化疗期实施临床护理路径的效果。方法随机将72例乳腺癌患者分为两组,对照组32例实施常规护理,实验组40例用制定的临床护理路径护理。观察两组患者心理