用谓词演算式刻画“数学分析”中的几个基本概念

来源 :数学学习与研究 | 被引量 : 0次 | 上传用户:msbt098
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  【摘要】本文结合命题联结词及谓词和量词,將“数学分析”中的基本概念:“极限”“连续”“一致收敛”,用谓词演算式来刻画,进一步将其写成逻辑等价的斯柯林范式。
  【关键词】谓词;量词;斯柯林范式
其他文献
本试验以菜豆为试材,采用土培法,研究了土壤中不同浓度的外源铬(0、2、8、15、25mg/kg)对菜豆幼苗生长的影响。试验结果表明:高浓度的外源铬(15、25mg/kg)对菜豆幼苗的株高、地上部鲜
1990年根据林木生长量、稳定性等指标,对7年生火炬松(Pinus taedaL.)、种源林进行了优劣综合评价,以26%入选率选出的5个火炬松优良种源平均生长量比马尾松(Piuns.massonianaL.)增
近年来,随着国内学者对肺炎支原体(myoplasmas pneumonia,MP)研究的深入,实验室诊断技术的不断改进和发展,证实了MP是小儿呼吸道感染的重要病源之一。研究还发现,MP尚可在呼吸道感染
在现实的小学数学中,常常会遇到一些课堂偏离数学教学常规,一味求新、求改,甚至偏离数学本质要求,不求实效,那我们应如何在数学课改之路上,迈开坚实的步伐,创造全新的效果?笔者认为,应坚持以下四条基本原则。    一、从理念出发,让数学课姓“数”    数学作为一门对客观世界定性把握和定量刻画、逐渐抽象概括、形成方法和理论,并进行广泛应用的课程,义务教育阶段《数学课程标准》明确提出了数学课程的六大基本理
安单3号2003年通过贵州省农作物品种审定委员会审定,在生产上迅速扩大。2004年申报国家品种权保护,2008年获国家品种权。其在亲本选配上避开了改良Reid、兰卡斯特、塘四平头
目的探讨医源性胆管损伤的预防和治疗方法。方法对选取的45例胆管损伤患者进行手术治疗,包括空肠袢的浆膜修复胆管缺损、胆管端端吻合术、肝管空肠Roux-Y型吻合术等。结果术中
目的探讨超敏c反应蛋白(hs—CRP)在急性脑梗死的诊断、病情监测和预后判定中韵应用价值。方法采用胶乳增强免疫比浊法对110例急性脑梗死患者和38例健康体检者的血清hs-CRP含量
中国图书如何进入美国市场探究李顺祺笔者于1994年3月随中国出版贸易考察团访问美国,期间先后访问了十余家出版社、书店和有关公司。美国出版界出版中国图书的情况如何、美国人爱看
出版人的“梦”三人出版人有一个梦:让书成为智者的黄金。梦的由来已久:──五千年文化的积淀;──几番轮回的兴盛与沉沦。于是,有了下面的梦境:──“书中自有黄金屋”;──“书中
目的观察卡介菌多糖核酸注射液治疗初治涂阳肺结核的临床疗效,不良反应。方法将100例初治菌阳肺结核患者随机分为治疗组:2卡介菌多糖核酸注射液+HRZE/4卡介菌多糖核酸注射液RH、5