退出
我的积分:
中文文献批量获取
外文文献批量获取
袁振辉;
无;
数学史; 逻辑史; 悖论;
机译:20世纪数学理性的变迁:保罗·曼科苏(Paolo Mancosu):理性的冒险:1900–1940年间,数学哲学与数学逻辑之间的相互作用。纽约:牛津大学出版社,2010,618pp,$ 81.52 HB
机译:其他逻辑:思想史和当代哲学中形式逻辑的替代方法
机译:在高阶逻辑中将数学形式化:几何建模中的案例研究
机译:古典数学逻辑中蕴含悖论的定量分析
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:病理性人血清中巨球蛋白天然形式和单体形式的比较尤其涉及电泳迁移率差异
机译:Vann McGee,真理,模糊和悖论。关于真理逻辑的论文。 Giovanni Sommaruga-rosolemos,在数学逻辑的各种理论中的固定点结构
机译:基于风险的航空安全研究优先级使用逻辑演化决策分析
机译:科学或技术问题的演化方法,涉及在应用计算机程序完成的公式生成中应用演化原理时获得用于解决问题的数学公式或算法
机译:结合先进的数学方法将逻辑和语境分析结合起来的人工智能分析方法研究人类活动
机译:适用于进行热量交换的容器,其主要形式和表面的演化由圆的演化产生,该演化通常垂直于其厚度计划
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。