(λ

更新时间:-- | 阅读量: 28

本文首先引入了λ-演算的一些基本概念和经典结果,然后证明了H.P.Barendregt[1984]中提出的关于β-归约的垂直线引理。我们首先证明了n=2的情况,然后推广到任意的n。

《逻辑研究专辑》 2001年00期 关键词: "λ-演算"," 垂直线引理" 收藏

<正>焦点弦在圆锥曲线中占有非常重要的地位,其性质丰富多彩,人们对其性质的探讨可以说是"前赴后继、经久不衰",而焦点弦中的λ

《中学数学研究》 2007年08期 关键词: 收藏

��λ��������ӹ���ҵ����������,���ø�����֯�����͸�λ,ȷ���������,��������λ��ְ��������Ա������,�ƶ���λ��ְ�ʸ��׼,...

《水科学与工程技术》 2008年S1期 关键词: "��λ����"," ���" 收藏

ͨ����ºԷ�����б���������������ṹ������������ʽ����,�����ھ��ԹǼ�������ʩ���ĵ��������,��λ�úͿռ���ǵ���ȷ���,ֱ��...

《市政技术》 2010年06期 关键词: "б����"," ���ԹǼ�"," �ռ����"," ��λ����" 收藏

在本文中,主要讨论了(p,λ)-Koszul模范畴(K_λ~P(A))和线性表示模范畴(L(A))两者之间的关系.特别地,我们得到了K_λ~P(A)=L(A)的一些充分必要条件.

《Journal of Mathematical Study》 2013年02期 关键词: "(p","λ)-Koszul模"," 有线性表示的模" 收藏

提出了一个在法布里-帕罗腔中由A型三能级原子去纠缠动镜和腔场的方案,介绍了通过辐射压力产生光机械系统稳定纠缠的机理。研究表明,在原子介质存在的情况下,系统可以得到更大的稳定纠缠。所提方案使用西蒙判据判...

《量子电子学报》 2020年01期 关键词: "量子光学"," 光机械系统"," 原子介质"," 朗之万方程"," 稳态纠缠" 收藏

半群的模糊子半群理论是半群模糊理论的一个重要研究领域.将双极值模糊集的概念应用于半群,引入了半群的带限度(λ,μ)-双极值模糊子半群的概念.讨论了半群的(λ,μ)-双极值模糊子半群的基本性质.给出了半...

《宁夏大学学报(自然科学版)》 2020年01期 关键词: "半群"," 双极值模糊集"," 子半群"," 交集" 收藏