排序方式: 共有17条查询结果,搜索用时 15 毫秒
11.
田长安 《河南师范大学学报(自然科学版)》1998,26(3):12-15
对任一固定的集合AN(N表示自然数集),本文定义了λ-演算的一种扩充λA-演算.证明了λA-演算具有Church-Rosser性质,从而是协调的.并证明了λA-可定义全函数与A-递归函数是等价的. 相似文献
12.
赵瑶丹 《广西民族大学学报》2001,(1)
提起中世纪 ,人们往往用“黑暗”来形容 ,可大学就在那个时代通过与罗马教会和世俗封建主的不懈斗争才形成并发展起来。大学在长期斗争之后 ,逐步摆脱教会的统治 ,开始另立自己的标准 ,学者从宗教世界被解放出来 ,进入一个自由的、独立的、争论的、科学的世界 相似文献
13.
Daniele Macuglia 《Annals of science》2020,77(1):108-126
ABSTRACTThis paper offers an opportunity to ponder the way the Catholic Church and its methods of information control reshaped, and paradoxically even enabled, the dissemination and practice of science in early modern Italy. Focusing on the activities of Newtonian scholars operating in Rome in the First half of the eighteenth century – especially the Celestine monk Celestino Galiani (1681–1753) and prelate Francesco Bianchini (1662–1729) – I will argue that major contributions to the spread of Newtonianism in Italy came from individuals operating within the Church, acting more-or-less independently from the Church’s oversight. These scholars realized they were witnessing an inexorable transition and that the medieval scholastic cosmology and physics could not survive. In order to rescue the Church – and to avoid further embarrassment, especially after the Galileo Affair – renewal was needed. Counterintuitively, the dissemination of Italian Newtonianism was largely a Catholic effort. 相似文献
14.
在语言学中,递归指的是相同结构成分的重复或者层层嵌套。以“丘奇-图灵论点”为基本构想,文章从语言学角度探讨了史诗《格萨尔》语篇的主位推进模式递归结构,并分析了史诗《格萨尔》语篇递归结构具有可选性和无限性两个特点,探讨了《格萨尔》说唱艺人语言认知过程也是一个递归结构。 相似文献
15.
清末由外国差会雅礼会创办的"雅礼大学堂"是一所由美国耶鲁大学毕业生直接创办的大学预科学校。雅礼大学预科办学过程中,从培养目标、生源师资到课程设置,都渗透着精英化的教育思想。这不仅成就了雅礼大学后来精英化的生源基础,也铸就了雅礼精英化的中等教育,为那个时代输送了大量的社会精英。 相似文献
16.
鸦片战争后,随着西学东渐,通过教育传教意识不断加强,基督教开始传入泰安,并在泰安兴办了一批教会学校。在长达数十年的时间里,这批学校虽然始于宗教传播目的,但学校规模不断扩大,办学层次不断提高,教学内容不断翻新,对于打破传统教育模式,建立泰安地方近代教育格局,传播介绍西方近代文明,分担国立学校责任以及培养人才等方面都起了一定的积极作用。 相似文献
17.
贺慧霞 《阴山学刊(自然科学版)》2007,20(1):77-80
近代民族国家形成时期,英国顺应时代发展的需要进行了宗教改革,建立了民族教会。即国教安立甘宗,彻底摆脱了罗马教廷的控制。民族教会在建立过程中形成了相应的特点:有统一王权的领导;与民族国家利益相结合;所建国教表现为新旧教的折中与融合。 相似文献