搜索资源列表
黑白纸问题
- 使用C语言写的求解一道简单的逻辑推理题的例子。具体题目请看说明。-use of the C language to write a simple solution to the logical inference that example. See note specific topics.
daidianlizi
- 本文论述了带电粒子在电磁场中的运动-分析了这类问题的解题思路和基本程序·为培养学生的分析判断能力、逻辑推理能力、论证和表达能力、运用教学的能力和科学创新能力提供一种尝试。-This paper discusses the charged particles in electromagnetic field of sports-analysis of this problem solving ideas and basic procedu
who_is_the_thief
- 谁是偷盗者问题的源码，一道经典的逻辑推理题-robber who is the source, a classic logic problem
hbzh
- 用C语言求解经典逻辑推理题-Solving with C language that classical logic
zhineng
- 自己编写的人工智能小模型，可实现逻辑推理功能
Kakuro
- Kakuro数独问题： 数独这个奇特的名字来源于日语Sudoku，是十八世纪瑞士数学家欧拉发明的。 后在美国发展，并在日本得以发扬光大。 Sudoku的规则十分简单，就是在9×9的九宫格里面填数字，每个方格中填人合适的数字以使得每行，每列以及每个九宫格都要包含从1～9的数字且互不相同． 数独的玩法逻辑简单，数字排列方式千变万化．不少教育者认为数独是锻炼脑筋的好方法。 谜题中会预先填入若干数字, 其它方格为空白, 玩家
Autologic
- 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed
抓贼
- 这是c++功能的又以体现，实现了用c++完成逻辑推理的任务，对于学习c++很有帮助，是个很不错的程序哦-This is another function of c embodiment achieved with c logical completion of the task, learning c helpful, is a very good procedure oh
数据结构(C语言版)
- 《数据结构》（C语言版）是为“数据结构”课程编写的教材，也可作为学习数据结构及其算法的C程序设计的参考教材。本书的前半部分从抽象数据类型的角度讨论各种基本类型的数据结构及其应用；后半部分主要讨论查找和排序的各种实现方法及其综合分析比较。其内容和章节编排与1992年4月出版的《数据结构》（第二版）基本一致，但在本书中更突出了抽象数据类型的概念。全书采用类C语言作为数据结构和算法的描述语言。本书概念表述严谨，逻辑推理严密，语言精炼，用词达意
黑白纸问题
- 使用C语言写的求解一道简单的逻辑推理题的例子。具体题目请看说明。-use of the C language to write a simple solution to the logical inference that example. See note specific topics.
hbzh
- 用C语言求解经典逻辑推理题-Solving with C language that classical logic
Autologic
- 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed
抓贼
- 这是c++功能的又以体现，实现了用c++完成逻辑推理的任务，对于学习c++很有帮助，是个很不错的程序哦-This is another function of c embodiment achieved with c logical completion of the task, learning c helpful, is a very good procedure oh
daidianlizi
- 本文论述了带电粒子在电磁场中的运动-分析了这类问题的解题思路和基本程序·为培养学生的分析判断能力、逻辑推理能力、论证和表达能力、运用教学的能力和科学创新能力提供一种尝试。-This paper discusses the charged particles in electromagnetic field of sports-analysis of this problem solving ideas and basic procedu
who_is_the_thief
- 谁是偷盗者问题的源码，一道经典的逻辑推理题-robber who is the source, a classic logic problem
zhineng
- 自己编写的人工智能小模型，可实现逻辑推理功能
Kakuro
- Kakuro数独问题： 数独这个奇特的名字来源于日语Sudoku，是十八世纪瑞士数学家欧拉发明的。 后在美国发展，并在日本得以发扬光大。 Sudoku的规则十分简单，就是在9×9的九宫格里面填数字，每个方格中填人合适的数字以使得每行，每列以及每个九宫格都要包含从1～9的数字且互不相同． 数独的玩法逻辑简单，数字排列方式千变万化．不少教育者认为数独是锻炼脑筋的好方法。 谜题中会预先填入若干数字, 其它方格为空白, 玩家
FamilyTree_KB
- 根据家族树的基本事实。采用适当的逻辑推理系统，把已经写出的所有语句TELL系统，并ASK系统：谁是Elizabeth的孙子女，Diana的姐夫/妹夫和Zara的曾祖父母？-According to the basic facts of the family tree. The use of appropriate logical reasoning systems, to have to write all the statement
Einsteins
- 爱因斯坦的思考题,一个有趣的逻辑推理题，爱因斯坦声称世界上只有2 的人能解出-Einsteins consider the title of an interesting question the logic of reasoning, Einstein claimed that only 2 of the people can be solved
rjgctx
- 提出了一个完整的语义网信息搜索模型,它可以实现更快更准的网络信息搜索,以减少当前网络搜索的弊端。介绍了语义网领域发展背景和语义网的三个关键技术,论述了该模型的三个主要模块及其各自功能,详细说明了各功能的实现原理。比较传统的直接使用关键字来进行信息检索的主流网络信息检索引擎,这里使用的是在本体论基础上经过语义逻辑推理器处理后的语义索引词作为查询的输入,使查询变得准确快速而且节省网络资源。-In this paper,a model of