论文部分内容阅读
用一阶谓词逻辑的工具证明,那种有两方参与,根据规则在有限步内能确定胜负的游戏,从理论上说,存在必胜的方法.这说明,数理逻辑的方法可以有广泛的运用,它对于日常思维同样有重要的价值.
围棋必胜法的数理逻辑观照
【摘 要】
：
用一阶谓词逻辑的工具证明,那种有两方参与,根据规则在有限步内能确定胜负的游戏,从理论上说,存在必胜的方法.这说明,数理逻辑的方法可以有广泛的运用,它对于日常思维同样有
【机 构】
：
中国人民大学人文学院
【出 处】
：
湖南科技大学学报(社会科学版)
【发表日期】
：
2004年1期
其他文献
1妊娠期母犬的饲养与管理1．1饲养母犬妊娠期一般为58～63d。妊娠期的计算一般以第1次交配之日算起。妊娠期母犬的饲养应供给充足的优质饲料，以增强母犬的体质，保证胎儿健全发育和
黑龙江省在2007年开展生猪繁育体系建设项目。经过2年的项目推进，目前猪人工授精技术已成为大型猪场的主要技术手段，而且广大的小型养殖户也认识到了人工授精的好处，开始采用人
通过农民行为均衡及其转变的分析,认为,为了避免恶性社会冲突,必须建立与城镇社会保障制度相衔接、在农村范围内统一的多层次社会保障体系.
可持续发展是全球性问题,也是区域性的重要问题.如何实现经济系统可持续发展,对湖南来说,同样是一个重大的问题,也是一个迫在眉睫的战略选择问题.湖南的可持续发展是中国可持
胎衣不下是母牛产后常见疾病之一。在一般养牛场或养牛户，此病的发病率约为10％-25％。据对巴彦县养牛户的调查，统计315头分娩母牛中有66头发生产后胎衣不下，发病率为21％。如不及时治
探讨时代问题是马克思主义哲学实现创新的一条必不可少的途径.系统生成中的民族主体与人类主体的相关性,脑力劳动正在代替体力劳动在人类生活中的主导作用,个体自由与社会平
辛亥革命后,为了解决财政危机,巩固新生革命政权,蔡锷及时提出了开源、节流和加强财政管理等一系列改善财政的主张,并亲自在云南付诸实施,从而使民国初年的云南在没有中央和