【摘 要】
：
一、引言rn理论计算机科学的发展吸取了大量数学和逻辑上的重要成果.逻辑是理论计算机科学十分重要的基础之一,而其中又以直觉主义逻辑对计算机科学的影响最为显著,它的思想
【机 构】
：
软件新技术国家重点实验室,南京大学计算机科学与技术系南京 210093
论文部分内容阅读
一、引言rn理论计算机科学的发展吸取了大量数学和逻辑上的重要成果.逻辑是理论计算机科学十分重要的基础之一,而其中又以直觉主义逻辑对计算机科学的影响最为显著,它的思想比古典逻辑更加切合计算的观点.另一个值得一提的成果就是Alonzo Church在1936年提出的λ-演算系统,λ-演算所依据的是一种完全不同于逻辑的思想,它是计算机科学中函数式程序设计语言的理论基础.这是两种无论从语法上还是从语义上去观察都区别甚大的形式系统,然而它们之间却存在着某种奇妙的对应关系,这就是本文所要介绍的Curry-Howard同构理论(Curry-Howard Isomorphism).rn
其他文献
目的：探讨胸外科重症患者术后呼吸功能恢复的方法及效果。方法：回顾分析胸外科重症患者共八百例，探讨其术后呼吸功能恢复的临床护理措施；结果：八百例胸外科重症病患术后呼吸功能均
目的：探究重型颅脑损伤患者发生呼吸机相关肺炎的原因及护理措施，以便为临床提供指导。方法：回顾性分析2013年4月至2014年4月我院收治的重型颅脑损伤伴呼吸机相关性肺炎40例患者
目的：总结1例外伤性前颅底硬脑膜动静脉瘘致反复鼻腔大出血患者的急救和护理经验。方法：回顾我院急诊科收治的1例外伤性前颅底硬脑膜动静脉瘘致反复鼻腔大出血患者病例资料。结
目的：正确有效地进行穿刺护理，为静脉化疗的癌症患者提供可靠的输液通路。方法：选择上肢静脉且避开关节处，按照正确的操作规程对癌症病人采用中心静脉置管（PICC）输液化疗。结果：本组
目的：探究卵巢肿瘤患者应采用围手术期的护理措施和效果。方法：选取2013年4月-2014年8月收治的72例卵巢囊肿患者进行护理，随机分组，实验组40例患者选择围手术期的综合护理，对照组3
目的：探讨综合护理干预对冠心病心绞痛患者生活质量和心理状态的影响。方法：选取2013年7月至2014年6月来我院接受冠心病心绞痛治疗的患者80例，随机平分为两组，其中对照组患者接受
中国橡胶工业的经济运行下行压力正在不断增大,行业主要经济指标维持低位,利润增幅走低,主导产品轮胎的利润更是持续负增长。橡胶行业要想实现发展调速不减势,量增质更优的目
目的：分析中老年人高血压患者护理干预效果。方法：研究对象均来自于我院在2013年1月至2013年12月期间收治的100例中老年高血压病患，分为对照组和观察组各50例，其中对照组运用基础
目的：对孕期保健期间经护理干预后可取得的临床效果如何。方法：2014年1月-2015年1月我所共计接收580例建档孕妇，其中300例孕妇仅给予常规性保健服务（作为对照组），另外280例孕保健期