首页 购物车 联系我们 购物流程 常见问题 留言反馈 繁體中文   
sitemap   课程清单 站内课程搜索:
订单查询:
新课程 特价课程 推荐课程 用户中心 发货查询 店铺公告 课程分类 店铺论坛
|研究生课程||麻省理工||台湾大学||中国科大||清华大学||天津大学||复旦大学||浙大||武汉大学||南开|北师大||上海交大||西安交大||北京邮电||华北电力大学||中国医科大学|
|电子科大||武汉理工||西北工大||哈工大||山东大学||石油大学||郑州大学||中南大学||西南交大||中山大学||陕西师大||东南大学||西南大学||吉林大学||湖南师范大||福建师大|
顾客您好,购买课程请先登录
账 号:
密 码:

验证码:
验证码,看不清楚?请点击刷新验证码

关键字:
查分类:
您还没有登陆
购物车不能使用
物理化学数学生物
数学及数学教育 | 物理及物理教育
化学教育与化工 | 生物科学
点击查看所有分类
  有机化学视频教程.. ¥0
  实分析与泛函分析.. ¥20
  微积分视频教程 .. ¥30
  中学数学解题研究.. ¥20
  高等数学视频教程.. ¥0
  生物化学与分子生.. ¥20
  数学分析视频教程.. ¥90
  数学实验视频教程.. ¥0
  概率论与数理统计.. ¥0
  武汉大学 高等数.. ¥0
  线性代数视频教程.. ¥0
  线性代数视频教程.. ¥0
  高等数学上册 单.. ¥30
  高等数学下册 多.. ¥25
  数学物理方法 复.. ¥65
  高等代数与解析几.. ¥90
  抽象代数视频教程.. ¥90
  环境化学视频教程.. ¥70
  数学文化视频教程.. ¥120
  数理逻辑视频教程.. ¥100
  模拟电子技术视频.. ¥0
  高等数学视频教程.. ¥0
  计算机组成原理视.. ¥0
  自动控制原理视频.. ¥0
  微观经济学视频教.. ¥0
  大学物理视频教程.. ¥40
  线性代数视频教程.. ¥0
  弹性力学视频教程.. ¥0
  数学分析视频教程.. ¥90
  C++视频教程 .. ¥30
  线性代数视频教程.. ¥0
  武汉大学 高等数.. ¥0
  概率论与数理统计.. ¥0
  有机化学视频教程.. ¥0
  电路原理视频教程.. ¥30
  工程力学视频教程.. ¥10
  控制工程基础视频.. ¥0
  色彩基础知识视频.. ¥7
  材料力学视频教程.. ¥30
  单片机原理及应用.. ¥0
       璇璇视频教程,大学视频教程,大学课程,精品课程 >> 物理化学数学生物 >> 数学及数学教育

数理逻辑视频教程 36讲 北京大学 精品课程
 数理逻辑视频教程 36讲 北京大学 精品课程
 课程编号: BJDX_JPKC_6226
 课程格式: MP4格式
 赠送积分:200 分!(注:每100积分可兑换1元钱!)
 课程折扣:3.3折, 热卖中... 已加入收藏 3
 浏览次数: 次 ,2013-6-10 12:23:58 modified
 送货方式:中通快递,课程总价超50元包快递!
 本站清单: 点击下载!未完,后续会补全!
 运行环境:Windows 系统+DVD光驱,建议拷到电脑里播放!
 四钻淘宝店: (dxspjc.taobao.com)
 最新公告:非常感谢各位朋友一直以来对本站的支持!祝大家学习进步!事业有成!身体健康!
市场价:
120.00
本站价:
40.00
传播知识,服务社会!非常感谢本课程的授课老师无私的奉献!

如何在线下订单获取本站课程用于个人学习?请点击查看 购物流程!

特别注意:课程截图都进行了缩小处理,并加上了本站的网址标志!课程播放的实际清晰度要比截图清晰!

数理逻辑视频教程 36讲 北京大学 精品课程 课程介绍:

MP4格式

 王捍贫,男,博士,北京大学信息科学技术学院教授,博士生导师,软件研究所副所长,人工智能学会离散数学专委会副主任。长年从事离散数学、形式化方法及算法设计与分析的教学和研究工作。主持完成多项国家研究课题,撰写和翻译出版了多部离散数学和计算理论教材,曾获得北京市教学成果奖一等奖。系国家级精品课“离散数学”课程主讲教师。主讲“数理逻辑”(离散数学3)。

一、授课学时安排 
    
       数理逻辑:2学时/次,共计24次,48学时;(下学期讲授)  

二、教学计划大纲  

第二十六章 命题演算
要点:命题联结词,命题演算形式推演系统N 与P 中的推演,可靠性与完全性定理
要求:
􀁺 熟练掌握命题及联结词的概念,五个常用的联结词(与、或、非、蕴涵、等价)
及其真假性定义;
􀁺 掌握自然语言命题的符号化。
􀁺 熟练掌握命题形式,指派的概念,命题真值表及其构造作方法。
􀁺 了解哑元及命题的真假值与哑元的无关性。
􀁺 熟练掌握真值函数,联结词完全性的概念。联结词与、或、非、蕴涵、等价构
成的集合及其子集合的完全性。与、或、非、蕴涵、等价之间的互相表示(如
果能够的话)
􀁺 掌握2 元真值函数构成的的集合及其子集合的完全性。
􀁺 熟练掌握有效推理形式的定义及其证明方法
􀁺 熟练掌握N 的构成,包括N 的公式的形成规则、公理集和形式推理规则。N 中
形式证明序列和内定理的定义。N 中内定理的证明技巧,如一些辅助定理(增
加前提律,传递率)和常见的内定理。
􀁺 掌握N 中公式的括号的省略规则。
􀁺 了解N 的证明序列的斜形和树形书写方式。
􀁺 熟练掌握P 的构成,包括P 的公式的形成规则、公理集和形式推理规则。P 中
形式证明序列和内定理的定义。P 中内定理的证明技巧。P 中常见内定理的证明。
􀁺 掌握P 中公式的简写规则。
􀁺 了解N 的证明序列的斜形书写方式。
􀁺 熟练掌握P 中有前提的证明序列的定义。演绎定理的内容和证明和使用。
􀁺 熟练掌握N 和P 的构成方式的差别。N 和P 的等价性定理的内容及其证明。
􀁺 掌握N 和P 的等价性定理的使用。
􀁺 熟练掌握指派,公式的真值及其求法,公式的分类(永真式,可满足式,永假
式)及其关系。逻辑蕴涵和逻辑等价(等值)概念。等值演算,包括基本等值
式和两个替换定理
􀁺 了解限制性公式及其性质。
􀁺 熟练掌握合取范式和析取范式的定义,范式存在性定理,范式的两种求法(真
值表法和等值算法)。
􀁺 掌握范式的不唯一性
􀁺 了解联结词完全集的另一证明方式。
􀁺 熟练掌握可靠性、和谐性和完备性的内容及其证明。 

第二十七章 一阶谓词演算
要点:量词,边元的约束与自由,一阶谓词演算形式推演系统NL 与KL 中的推演,可靠
性与完全性定理
要求:
􀁺 熟练掌握个体变元、个体常元、谓词、函数、量词(全称和存在)等概念。
􀁺 掌握自然语言命题的符号化。
􀁺 熟练掌握逻辑符号非逻辑符号,项,一阶公式。
􀁺 掌握常见数学对象的一阶语言公式的描述,包括代数结构等
􀁺 了解公式的括号的省略规则。
􀁺 熟练掌握辖域,自由(约束)出现,自由(约束)变元,项对变元在公式中自
由(可代入)。
􀁺 了解闭项,闭式,全称闭式。
􀁺 熟练掌握NL 的构成,包括NL 的公式的形成规则、公理集和形式推理规则。NL 中
形式证明序列和内定理的定义。NL 中内定理的证明技巧,如一些辅助定理(代
入实例,增加前提律,传递率,)和常见的内定理(如换名规则)。
􀁺 了解NL 的证明序列的斜形和树形书写方式。
􀁺 熟练掌握前束范式的定义,范式存在性定理,范式的求法(包括所用的几个内
定理)
􀁺 了解根据范式对一阶公式进行分类。
􀁺 熟练掌握KL 的构成,包括KL 的公式的形成规则、公理集和形式推理规则。KL
中形式证明序列和内定理的定义。KL 中内定理的证明技巧。KL 中常见内定理的
证明。
􀁺 掌握KL 中公式的简写规则。
􀁺 了解KL 的证明序列的斜形书写方式。
􀁺 熟练掌握P 中有前提的证明序列的定义。演绎定理的内容和证明和使用。
􀁺 熟练掌握NL 和KL 的构成方式的差别。N L 和KL 的等价性定理的内容及其证明。
􀁺 掌握NL 和KL 的等价性定理的使用。
􀁺 熟练掌握论域,解释,指派,项的值、公式的满足、真、永真的定义及其符号
表示。
􀁺 掌握公式(项)的值与约束变元取值的无关性。可代入性定理。命题代入实例
的性质。
􀁺 了解公式为假的等价性定义。
􀁺 熟练掌握可靠性、和谐性和完备性的内容及其证明。和谐公式集、极大和谐公
式集的概念及其性质。
􀁺 掌握一阶逻辑完备性证明的常量构作法——Henkin 方法。
 

第二十八章 消解原理*(可以不讲)
要点:命题公式与一阶谓词公式的消解
要求:
􀁺 熟练掌握文字、子句等概念
􀁺 熟练掌握命题公式的消解。
􀁺 熟练掌握Herbrand 定理
􀁺 掌握Robinson 合一算法
􀁺 掌握一阶谓词公式的消解

数理逻辑视频教程 36讲 北京大学 精品课程
数理逻辑视频教程
数理逻辑视频教程
数理逻辑视频教程
小提示:收到课程光盘后,请先将课程文件复制到电脑硬盘中,先花几分钟的时间阅读一下光盘里的课程播放说明,安装相关播放器或播放插件,然后就可以播放了!如果播放方法还是不明白,请及时联系我们解决!联系电话:13820849442 QQ:30019561 旺旺:xuanxuangouwu
注意:收到课程后,请登陆账号到“用户中心->我的订单”中修改订单状态为“买家已收到货”,这样购买课程所获积分才到自动充到账户里!

本站支持网上银行直接在线支付支付宝担保交易汇款三种方式!
购买方法和汇款账号请查看:常见问题购物流程只要您有网上银行或支付宝,下单后就可以直接在线支付!如果没有网上银行和支付宝,请先网上下单,再汇款,然后联系我们发货!
汇款帐号:6222 0003 0210 4417 427 户名:王璇 开户行:中国工商银行天津市支行
大学视频教程,精品课程,大学课程,视频教程,全程录像,视频教学,教学视频,课件,学习资料,培训,研究生课程,远程教育,近万门。
按学校分:
清华大学,北京大学,麻省理工大学,中科院研究生院,中国科技大学,复旦大学,武汉大学,上海交通大学,北京师范大学,西安交通大学,哈尔滨工业大学,吉林大学,武汉理工大学,电子科技大学,浙江大学,西安电子科技大学,西北工业大学,石油大学,东南大学,华中科技大学,中国医科大学,西南大学,南开大学,天津大学,北京邮电大学,华北电力大学,山东大学,郑州大学,中南大学,西南交通大学,中山大学,陕西师范大学,同济大学,湖南师范大学,福建师范大学
按课程格式分:ASF,WMV,CSF,DS,RM,RMVB,AVI,SWF,LEC,NCE,网页视频等格式。
本站所有学习资料由本站和网友共同收集整理,仅在本站范围内提供给个人学习交流用。
高等数学视频教程 128讲 同济大学高等数学第五版 有免费下载视频课件资源   2015-5-4 23:42:28
大学物理视频教程 119讲 交大 精品课程   2012-4-9 0:05:34
线性代数视频教程全程录像免费下载 同济大学第四版30讲 武汉大学   2014-12-4 11:34:30
数学分析视频教程 220讲 史济怀 中国科技大学 精品课程 容量32.3G 8DVD 清晰 特价   2015-3-28 23:26:25
线性代数视频教程 66讲 吉林大学 陈殿友 全程录像免费下载   2014-12-4 11:34:00
武汉大学 高等数学视频教程 84讲 同济大学第五版 全程录像免费下载   2014-12-4 11:34:39
概率论与数理统计视频教程 28讲 武汉大学 全程录像 免费下载   2014-12-4 11:34:50
有机化学视频教程 上册 邢其毅版 49讲 清华大学 精品课程 百度网盘免费下载   2016-9-2 16:59:39
数学分析视频教程 陈纪修 217讲 复旦大学 精品课程 容量30.3G 8DVD 清晰 特价   2013-3-12 20:45:35
实分析与泛函分析视频教程 40讲 湖南师范大学   2016-1-8 20:20:44
>>查看更多关于 数理逻辑视频教程 36讲 北京大学 精品课程 的课程   
姓 名: ☆☆ ☆☆☆ ☆☆☆☆ ☆☆☆☆☆
标 题:
内 容:
   为了防止机器人发广告,请输入验证码: 验证码,看不清楚?请点击刷新验证码(验证码,看不清楚?请点击验证码刷新!)
 合作网站
 大学视频教程 | 关于我们 | 联系我们 | 版权声明 | 付款方式 | 留言/建议/投诉
 
 网站备案:津ICP备16008609号-1
 客服邮箱:admin@xxspjc.com 客服电话:13820849442 邮政编码:300020
 店铺地址:天津市和平区    
 Copyright © 2010 璇璇视频教程,大学视频教程,大学课程,精品课程 All Rights Reserved.

扫码关注,查免费课程

客户服务热线

138-2084-9442

在线客服