探索出租车收费怪圈     

刘冬宁  李中阳 《时代数学学习》2005,(7):49-51

星期六的早晨阳光明媚，我和父母高高兴兴地乘坐出租汽车去位于市中心的新华书店买书．下车时，我不经意间看了看计价器显示为16．60元．开开心心地买完书本，再次打车回家，可令人始料未及的是，这次的收费却为17．80元．这引起了我的疑惑，难道“公平，公正”的计价器也会与我“开玩笑”?还是另有“隐情”?!  相似文献   

寂寞如歌     

刘冬宁 《师道》2009,(1):56-56

“我们这行,就算说不上是阳春白雪,那也是曲高和寡了”,我的一位老师如是说。他,叫李小五,我们都爱叫他小五老师,一位外刚内慈的博导,年过五旬。  相似文献   

寂寞如歌     

刘冬宁 《师道》2009,(1)

"我们这行,就算说不上是阳春白雪,那也是曲高和寡了",我的一位老师如是说.他,叫李小五,我们都爱叫他小五老师,一位外刚内慈的博导,年过五旬.  相似文献   

自然语言时态句型的模态Lambek演算     

刘冬宁  汤庸 《中山大学学报论丛》2008,1(3)

1958年,Joachim Lambek提出了Lambek演算,进一步推动了逻辑学、语言学、计算机科学等学界的纵深和交叉发展.然而在语法分析方面,Lambek演算与范畴语法的结合仍存在小足,就传统的Lambek演算而苦,由于其过于刚性,因此所能处理的语法问题还有限.本文重点论述了传统Lambek演算不能处理的时态句型问题,并基于此设计了模态Lambek演算系统(Lambek Calculus with Temporal Modality,LTM系统).LTM系统红相应关系框架上是可靠的和完全的,同时在证明论方面也具有良好的性质,其不仅具有切割消除性,还具有判定件.鉴于Lambek演算与Montague内涵语义理论的对应衔接,使得语法和语义的衔接采用了同样的文法(Lambck演算),这为计算机界研发自然语言的编译工具提供了有力支撑.由此,我们希望所设计出相应的LTM演算系统,也终将能推动计算机编译系统对时态问题进行处理.  相似文献