软件发布

手机版,更便捷!

下载排行榜首页软件下载安卓下载资讯教程推荐专题装机必备
当前位置:电脑软件 > 行业软件 > 其它行业 > 智能通用逻辑问题解题器下载v1.0英文免安装版

智能通用逻辑问题解题器下载v1.0英文免安装版

101人评分

  • 软件大小:110 KB
  • 更新时间:2012-04-15
  • 授权:免费软件
  • 软件类型:国外软件
  • 软件类别:国外软件
  • 语言:
  • 平台:Win9X,Win2000,WinXP,Win2003
  • 平台检测:
立即下载 已有 次下载

智能通用逻辑问题解题器下载v1.0英文免安装版

通用的逻辑题目搜索程序。能够解决诸如爱因斯坦难题之类的逻辑题目。
为了能够表达现实的逻辑题目,软件作者设计了一门语言,这门语言一方面很简单,另一方面也具有很强的表达能力。对于一个实际的逻辑问题,用户只需要用这门语言描述一下,就可一交给程序搜索需要的解。同时用户还可以按照自己的需求定义输出的格式。

五一的时候我发现一本逻辑题目的小册子,买过来之后本想做做脑力体操消磨一下时间,可是做了不到3到题我就不耐烦了,闲下来我就想能否写一个程序让计算机去求解这类问题呢,经过整个假期的努力居然做成了,欣喜之余我忍不住就想把它共享出来。
首先我们看一下书里面的第一个题目:
斯科特先生、他的妹妹、他的儿子、他的女儿都是网球选手。关于这四人有以下的情况:
(1) 最佳选手的的孪生同胞与最差选手的性别相同。
(2) 最佳选手与最差选手的年龄相同
请问谁是最佳选手
对于这样的问题,我的第一个困难是如何让计算机理解它,经过分析我设计了一门描述这类问题的语言,只要输入这种语言的文件,计算机就能为你自动搜索出所要的结果。为了让读者对这门语言有一个感性的认识,下面给出描述最佳选手问题的输入:
所有人{} = {"斯科特","妹妹","儿子","女儿"};
性别{} = {"男","女"}; 年龄{} = {1,2,3,4};
年龄 year(所有人); 性别 sex(所有人);
所有人 同胞(所有人); 所有人 最差,最佳;
sex("斯科特") = "男"; sex("妹妹") = "女"; sex("儿子") = "男"; sex("女儿") = "女";
year("斯科特") > year("儿子"); year("斯科特") > year("女儿");
同胞("斯科特")="妹妹";同胞("妹妹")="斯科特";
同胞("儿子")="女儿";同胞("女儿") = "儿子";
最佳 != 最差;
year(最佳) = year(同胞(最佳)); //(1)最佳选手的的孪生同胞
sex(同胞(最佳)) != sex(最差); //(1)
year(最差) = year(最佳); //(2)
输出 { "最佳选手是: " 最佳 }
假如上面的文本保存在一个”最佳选手.txt”文件中,在得到了我的znlog.exe程序后在控制台下输入”znlog最佳选手.txt”就会产生 “最佳选手是: 女儿”的输出。
如果得到了ZnLogWin.exe程序,只需用此程序打开 最佳选手.txt 文件就能在输出窗口产生结果。

上一篇:DynamipsGUI下载2.83中文正式版[思科模拟器图形前端] 下一篇:剑儿快递查询 5.1中文免安装版

应用截图

  • 智能通用逻辑问题解题器下载v1.0英文免安装版截图(1)

相关专题

  • 手机买房app

    手机买房软件app是在手机上就能快速查找你想要的房源,包括价格、段位等因素都可以选的安卓应用软件。那么买房app哪个好呢?小编特地给大家整理了买房app排行榜,有需要的朋友赶紧来下载买房app软件吧! 更多详细 >

人气软件

  • 恩格进销存管理软件 2016.0315 1.2 免费版评分:4 

    下载

    恩格进销存管理软件 2016.0315 1.2 免费版恩格进销存管理软件是一款非常实用的进销存管理软件,这款软件专为中小型企业打造,为用户提供会计科目核算、项目核算、数量外币核算、科目余额表、总账、明细账等功能。 介绍: 恩格进销存管理主要采用Access 2007和S... 大小:49.28 MBMB  更新:03-15  类型:其它行业  国产软件  简体中文

  • 新峰进销存软件 2016.10.1官方最新版评分:4 

    下载

    新峰进销存软件 2016.10.1官方最新版新峰进销存软件是一款功能强大、专业实用的进销存管理系统,此款软件能够为用户提供销售订单、采购订单、入库、出库、送货、库存等实用功能。软件方便简单,可以看到订单的交货情况,适用于多种模式生产流程,需要的话... 大小:6.13 MBMB  更新:03-16  类型:其它行业  国产软件  简体中文

  • 婴儿游泳馆管理系统 2.1官方最新版评分:4 

    下载

    婴儿游泳馆管理系统 2.1官方最新版婴儿游泳馆管理系统是一款适用于水疗吧、婴儿游泳室、妇幼保健医院游泳室的管理软件,可以进行婴儿管理、会员管理、消费管理、收支管理、商品管理、基本信息的管理,更有婴儿体格发育配有图形分析,可以让用户及时了解... 大小:4.86 MBMB  更新:03-16  类型:其它行业  国产软件  简体中文

  • 游乐园售票管理系统 2.1官方最新版评分:4 

    下载

    游乐园售票管理系统 2.1官方最新版游乐园售票管理系统是一款为游乐场所推出的游乐园售票系统。本软件集基础设置、售票管理、售票查询和分析功能于一体,具体包含对票种的详细设置、售票人员基本信息的管理、对售票所有信息的记录、门票的打印、以及对售... 大小:3.67 MBMB  更新:03-16  类型:其它行业  国产软件  简体中文

  • 财易酒店管理软件 2016.3.69最新官方版评分:4 

    下载

    财易酒店管理软件 2016.3.69最新官方版财易酒店管理软件是一款专业的酒店管理系统,它的功能非常丰富,包括员工资料设置、宾客开单、宾客消费、更换房间等,可以让用户更加轻松地管理酒店。 功能:   支持宾客开单、宾客消费、宾客结账、更换房间等 支持团... 大小:12 MBMB  更新:03-17  类型:其它行业  国产软件  简体中文

最新评论

软件分类

热门排行榜

回顶部 去下载