切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
λ—演算的一种扩充
λ—演算的一种扩充
来源 :河南师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:zhucaiguai
【摘 要】
:
对任一固定的集合A包含N(N表示自然数集),本文定义了λ-演算的一种扩充λA-演算。
【作 者】
:
田长安
张先勇
钱峰
【机 构】
:
河南师范大学数学系,暨南大学中旅学院
【出 处】
:
河南师范大学学报:自然科学版
【发表日期】
:
1998年3期
【关键词】
:
λA-演算
集合
C-R性质
λA-可定义函数
λAcalculus
ChurchRosser property
λAdefinable function
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对任一固定的集合A包含N(N表示自然数集),本文定义了λ-演算的一种扩充λA-演算。
其他文献
广东省上半年经济、金融形势分析
2003年以来,我国经济开始进入新一轮快速扩张周期.进入今年,部分地区、部分行业投资继续高速增长,煤、电、油、运和重要原材料供求关系全面紧张,物价加速上行.为保持国民经济
期刊
广东
金融业
银行信贷
存款业务
票据融资
投资增长
物价
宏观调控
经济状况
纵深推进反洗钱工作
我国政府对反洗钱的态度和立场历来是十分鲜明和坚决的,采取了多种措施积极推动反洗钱工作深入开展.在反洗钱法制建设方面,我国除了积极加入有关反洗钱国际公约、承担国际公
期刊
反洗钱工作
政府
金融业
中国
金融机构
监测分析体系
我国证券基金流动性悖论及其成因研究
本文首先可从流动性内涵入手,进而引出流动性风险及其悖论等相关范畴;接着从多个视角,如流动性溢价与流动性折价、名义流动性与实际流动性、个别流动性与整体流动性、短期流
期刊
证券基金
流动性
《国际开发机构人民币债券发行管理暂行办法》出台
为推进国内债券市场开放,引进国际债券发行的先进经验和管理技术,促进国内债券市场的发展,中国人民银行、财政部、国家发展和改革委员会和中国证券监督管理委员会于2月18日以四
期刊
人民币
债券市场
中国
金融机构
管理办法
加快广东征信服务体系建设的若干政策建议
本文先介绍了广东征信服务体系的现状,指出其存在必要法律法规支持及明确的监管主体、信息征集困难,缺乏整体规划等缺陷,最后就加快广东征信服务体系提出了政策建议.
期刊
企业征信
个人征信
金融服务
我国大旱大涝与厄尔尼诺和拉尼娜的关系
论述我国500年大旱大涝与日食形成的厄尔尼诺现象和拉尼娜现象的关系。
期刊
拉尼娜现象
厄尔尼诺现象
中国
旱灾
涝灾
solar eclipse
Elnino
draught
waterlogging
抛物型方程的一个新的高精度显格式
本文给出了解抛物型方程的一个新的显式差分格式,截断误差达是同类的显格式中精度最高的。
期刊
抛物型方程
显式差分格式
截断误差
parabolic equation
explicit difference scheme
truncation error
中国实际GDP波动率的实证研究
本文对中国实际国内生产总值增长率的波动率进行了一种实证分析,利用最大似然方法估计了三种GARCH类模型(GARCH、T-GARCH和E-GARCH).实证研究表明,GARCH模型提供了最好的统计
期刊
中国
GDP波动率
实证研究
国内生产总值
GARCH模型
一种新型抗癌药的蛋白质和蛋白酶分析
本文用SDS-PAGE和活性电泳技术定性分析了河南省生物工程重点实验室研制的新型抗癌药的蛋白质和蛋白酶的种类和含量。结果表明:(1)文中方法能有效地浸堤所用各材料中的有效成份;(2)不同材料所
期刊
SDS-PAGE
抗癌药
蛋白质分析
蛋白酶
COL-TAI
SDS-polyacrylamide-gel
electrophoresis (SDS-PAGE)
国有商业银行县支行职能转变过程中的综合监督
随着国有商业银行实施减员增效,推行扁平化管理,其业务重心逐步向大中城市转移,国有商业 银行县支行也由“独立核算单位”向“服务产品营销中心”转型。在这一过程中,若对县
期刊
国有商业银行
内部控制
综合监督
其他学术论文