欢迎来到乐乐文库,课件爱好者! | 帮助中心 精品ppt课件,ppt课件精品!
乐乐文库,课件爱好者
首页 乐乐文库,课件爱好者 > 资源分类 > PPT文档下载

1-数理逻辑.ppt

  • 资源大小:183.50KB        全文页数:4页
  • 资源格式: PPT        下载权限:游客/注册会员/VIP会员    下载费用:15金币 【人民币15元】
游客快捷下载 游客一键下载
会员登录下载
下载资源需要15金币 【人民币15元】

邮箱/手机:
温馨提示:

支付成功后,系统会根据您填写的邮箱或者手机号作为您下次登录的用户名和密码(如填写的是手机,那登陆用户名和密码就是手机号),方便下次登录下载和查询订单;
特别说明:
请自助下载,系统不会自动发送文件的哦;
支付方式:
验证码:   换一换

 
友情提示
2、本站资源不支持迅雷下载,请使用浏览器直接下载(不支持QQ浏览器)
3、本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰   

1-数理逻辑.ppt

数理逻辑,逻辑 是Logic的译音,源于希腊文Logos 思维、表达思考的言辞 逻辑学 是一门研究思维形式及思维规律的科学 分为辩证逻辑和形式逻辑 数理逻辑 用数学方法研究思维规律的一门边缘学科 用数学符号系统来描述和处理思维规律 又称为符号逻辑,数理逻辑----主要的数学家,莱布尼兹(Leibniz)德国 最早提出用数学方法描述和处理问题的设想 1666年论组合的艺术提出数理逻辑的思想 布尔(Bool)英国 1847年发表了逻辑的数学分析一书,创造了一套表示逻辑推理的基本概念,如“与”“或”“非”等符号,并建立了这些符号的运算规则,得到了“布尔代数”,相当于“命题演算” 弗雷格(G.Frege)德国 1879年引进了谓词符号和量词符号,建立了“谓词演算”逻辑系统 怀海特(Whitehead英)、罗素(Russell英)、歌德尔(美籍奥地利)、皮亚诺(Peano,意)等 经过整理,使数理逻辑成为一门专门的学科,数理逻辑,广义上讲包括四论两演算 集合论、递归论、证明论、模型论 命题演算、谓词演算 我们要学的内容 最基本的非形式的命题演算和谓词演算 数理逻辑与计算机科学、控制论、AI相互渗透,推动了数理逻辑的发展 目前的主要研究领域 模糊逻辑、概率逻辑、归纳逻辑、时态逻辑等,数理逻辑与计算机科学,程序算法数据 算法逻辑控制 程序设计可看作是用计算机语言书写的数理逻辑 计算机的本质结构是一种逻辑结构 计算机是用电子元器件模拟人脑的思维 数理逻辑是计算机科学研究的重要工具与方式,

注意事项

本文(1-数理逻辑.ppt)为本站会员(w89153)主动上传,乐乐文库,课件爱好者仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知乐乐文库,课件爱好者(发送邮件至1748365562@qq.com或直接QQ联系客服),我们立即给予删除!

温馨提示:如果因为网速或其他原因下载失败请重新下载,重复下载不扣分。

关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服客服 - 联系我们

站长联系QQ:1748365562
工信部备案号: 鄂ICP备17024083号                 公安局备案号:42118102000213

收起
展开