作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

关于自然演绎逻辑的反思  CNKI文献

自然演绎的本质在于证明中可以随时引入假设。在总结出各个自然演绎系统的几个区别性特征之后,本文提供了一个自然演绎的教学案例,案例通过采取一个有更多"有假设推演规则"的自然演绎系统,并用证明序列的左...

郭美云 《湖南科技大学学报(社会科学版)》 2016年01期 期刊

关键词: 自然演绎逻辑系统 / 证明思路 / 证明策略 / 元定理证明能力

下载(210)| 被引(4)

带有群体知识的动态认知逻辑  CNKI文献

动态认知逻辑是近年来一个相对比较新的研究领域。它旨在为信息变化提供一套形式化的处理办法。在动态认知逻辑中,群体知识是十分重要的,因为主体之间的影响和互动很多是建立在群体知识的基础之上的。群体知识主要有...

郭美云 导师:刘壮虎 北京大学 2006-05-01 博士论文

关键词: 动态认知逻辑 / 群体知识 / 相对化公共知识 / 群体隐含知识

下载(1160)| 被引(14)

根岑逻辑演绎思想的主要特征和哲学影响探析  CNKI文献

论文在梳理根岑如何从逻辑公理化思想出发发展出自然演绎和矢列演算思想的基础上,总结出根岑逻辑演绎思想的主要特征。根岑对联接词引入和消去规则各自角色的理解及其采取的树形证明方式引导他发现并证明了切割消去定...

郭美云 《自然辩证法研究》 2016年08期 期刊

关键词: 自然演绎 / 矢列演算 / 证明论语义学 / 意义理论

下载(174)| 被引(5)

试析约翰·范本特姆对逻辑“新心理主义”的辩护  CNKI文献

约翰·范本特姆(J.van Benthem,1949—)是当代世界最著名的逻辑学家之一,曾获得荷兰斯宾诺莎奖。他是欧洲科学院和荷兰皇家艺术与科学院院士,他所创立的荷兰阿姆斯特丹大学逻辑、语言和计算研究所已经成为当今世界...

郭美云 周君 《哲学研究》 2013年08期 期刊

关键词: 心理主义 / 弗雷格 / 实验心理学 / 动态认知逻辑

下载(187)| 被引(5)

试析普莱尔基于混合时态逻辑对其时间观的辩护  CNKI文献

普莱尔既是时态逻辑的创始者,又是混合逻辑的创始者。普莱尔接受了麦克塔加关于时间A-理论和B-理论的区分,认为A-理论中"过去、现在和将来"等概念比B-理论中的"在先、在后和同时"等概念更为基本,...

郭美云 《逻辑学研究》 2018年04期 期刊

关键词: 普莱尔 / 混合时态逻辑 / 时间观 / 辩护

下载(139)| 被引(0)

试析博弈困境的两种解决方案——以旅行者困境为例  CNKI文献

在博弈困境中,纳什均衡所预测的博弈解与人们的直观相矛盾,而且越来越多的博弈实验表明,这与现实博弈的结果也存在巨大反差。博弈困境的出现引起了人们对经典博弈论理性预设的质疑,从而提出不同的逻辑模型和解决方案。...

郭美云 党学哲 《西南大学学报(社会科学版)》 2015年02期 期刊

关键词: 博弈困境 / 旅行者困境 / 解决方案 / 重复后悔最小化模型

下载(458)| 被引(0)

证实原则的认知逻辑分析  CNKI文献

证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能...

郭美云 《自然辩证法研究》 2014年05期 期刊

关键词: 证实主义 / 证实原则 / 修正方案 / 费奇悖论

下载(311)| 被引(1)

从PAL看认知逻辑的动态转换  CNKI文献

本文首先介绍动态认知逻辑的发展由来和研究背景,再以动态认知逻辑的的一个基础系统———公开宣告逻辑(public announcement logic简称PAL)为例,从而介绍动态认知逻辑研究的一些基本思路和方法,重点考察动态认知逻辑...

郭美云 《自然辩证法研究》 2006年01期 期刊

关键词: 动态认知逻辑 / 研究背景 / 公开宣告逻辑 / 动态转换

下载(276)| 被引(11)

自制精密器械图谱在手术室、供应室器械交接中的应用  CNKI文献

目的:探索自制精密器械图谱在手术室、供应室器械交接中的应用。方法:将各专科组精密器械拍摄成图片,特殊精密器械可配以特殊部位多角度特写图片。使用图片编辑器配以相应的文字说明,彩色打印并整理在活页文件夹内成册...

郭美云 蔡云霞... 《赣南医学院学报》 2014年04期 期刊

关键词: 自制 / 图谱 / 手术室 / 供应室

下载(152)| 被引(5)

分布式知识的研究进展  CNKI文献

分布式知识是经典认知逻辑群体知识中的一个重要概念。群体知识主要有普遍知识(general knowledge,universal knowledge)、公共知识(common knowledge)和分布式知识(distrib-uted knowledge

郭美云 《哲学动态》 2007年11期 期刊

关键词: 交流模型 / 群体知识 / 模型类 / 饱和模型

下载(229)| 被引(3)

浅谈高职教育营销的必要性  CNKI文献

高职教育发展的基础是市场经济对高层次技能人才的需求,源于市场且贴近市场。但各高职学院的发展重点和特色以及适应的人群是不一样的,所以各高职学院必须根据自己的发展要求选拔考生。一方面,教育作为一项特殊服务,有...

郭美云 《高教学刊》 2016年02期 期刊

关键词: 高职 / 教育营销 / 培养

下载(65)| 被引(4)

第二届“逻辑、理性与互动”国际研讨会会议综述  CNKI文献

2009年10月8日——10日由西南大学逻辑与智能研究中心、计算机与信息科学学院主办的第二届"逻辑、理性与互动"国际研讨会(The Second InternationalWorkshop on Logic、Rationality and Interaction,简称&q...

郭美云 邹明灼 《逻辑学研究》 2010年01期 期刊

关键词: 动态认知逻辑 / 博士生 / 公开宣告逻辑 / 模态逻辑

下载(159)| 被引(2)

自制入肝血流阻断器械在腹腔镜肝切除术中的应用  CNKI文献

目的观察和探讨自制入肝血流阻断器械在肝切除术中的应用效果。方法选取2016年1月至2017年10月行腹腔镜肝切除术患者72例,根据不同入肝血流阻断器械分为两组,各36例。试验组采用自制入肝血流阻断器械进行切除术,对照组...

郭美云 蔡云霞... 《医疗装备》 2018年03期 期刊

关键词: 入肝血流阻断 / 腹腔镜 / 肝切除 / 出血量

下载(40)| 被引(1)

高职学生“专题研讨”模式的毕业论文改革方案探析  CNKI文献

围绕人才培养目标反思高职毕业论文工作,从教学理念到制度设计,从论文形式、内容到管理环节进行伤筋动骨的改革,是当前高职院校内涵建设的当务之急。高职"学生专题研讨"模式的毕业论文撰写与答辩改革方案有...

郭美云 《职业》 2012年35期 期刊

关键词: 高职 / 学生专题研讨 / 毕业论文

下载(156)| 被引(2)

扶镜用分体托臂头架在腹腔镜手术中的临床应用研究  CNKI文献

目的:探讨扶镜助手使用自制扶镜用分体托臂头架的腹腔镜手术中使用效果。方法:选择我院2015年1月至6月摆放头低足高位的腹腔镜手术共870余例,观察扶镜助手的上臂可支持时间及满意度。结果:对39位扶镜助手、35位主刀医...

郭美云 蔡云霞... 《赣南医学院学报》 2017年01期 期刊

关键词: 扶镜用托臂头架 / 腹腔镜手术

下载(49)| 被引(2)

辛提卡IF一阶逻辑研究  CNKI文献

雅各·辛提卡(Jaakko Hintikka 1929—)是当今国际逻辑学界和哲学舞台上极为活跃和富有影响的著名逻辑学家和哲学家。上世纪90年代他在博弈论语义学(game-theoretical semantics) 的基础上提出并建立了IF-阶逻辑(...

郭美云 导师:唐晓嘉 西南师范大学 2003-04-01 硕士论文

关键词: 辛提卡 / IF一阶逻辑 / 经典一阶逻辑 / 博弈论语义学

下载(221)| 被引(1)

人字位在救治凶险性前置胎盘手术中的临床应用  CNKI文献

目的:探讨人字体位在凶险性前置胎盘手术中的临床应用。方法:49例凶险性前置胎盘手术按年份分为两组:一组为对照组,一组为观察组,对两组手术摆放位置进行对比,观察该方法的设计应用对手术医生观察阴道出血、计算出血量...

郭美云 蔡云霞... 《赣南医学院学报》 2015年04期 期刊

关键词: 人字位 / 救治 / 凶险性前置胎盘 / 手术

下载(64)| 被引(1)

高职《C语言程序设计》教材改革探讨  CNKI文献

高职《C语言程序设计》教材不是为大师们介绍新语言的,而是为初学者学习程序设计入门用的。教材建设应当做好规划,以后续课程需要为前提,打破"神秘"感,明确重点,突破难点,以实践为主线,设置挑战环节,使学生...

郭美云 《当代教育论坛(学科教育研究)》 2008年01期 期刊

关键词: 高职 / C语言 / 程序设计 / 教材改革

下载(103)| 被引(6)

浅谈高职学生创业项目选择  CNKI文献

高职学生选择创业项目时应遵循具有市场前景、项目合法化、项目特色化三项基本原则。文章以此为基础,采用麦肯锡七步分析法是非常有效的工作和思维方法。

郭美云 《时代农机》 2018年11期 期刊

关键词: 创业项目 / 选择原则 / 选择步骤

下载(44)| 被引(0)

基于网格资源超图模型的可信任务调度  CNKI文献

网格任务调度是当前重要的研究领域。网格环境具有动态性、异构性等特点,网格资源的处理性能和稳定性都是影响到任务调度顺利完成的重要因素。为了获得更小的任务完成时间,该文根据网格环境的特点,建立了网格资源超图...

郭美云 杨博... 《计算机工程》 2008年13期 期刊

关键词: 网格 / 任务调度 / 资源 / 超图

下载(151)| 被引(2)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状