您好,欢迎来到聚文网。
登录
免费注册
网站首页
|
搜索
热搜:
购物车
0
我的订单
商品分类
首页
幼儿
文学
社科
教辅
生活
销量榜
数理逻辑基础(上册)
字数: 192000
装帧: 平装
出版社: 科学出版社
作者: 胡世华,陆钟万
出版日期: 2015-11-01
商品条码: 9787030464217
版次: 1
开本: B5
页数: 248
出版年份: 2015
定价:
¥98
销售价:
登录后查看价格
¥{{selectedSku?.salePrice}}
库存:
{{selectedSku?.stock}}
库存充足
{{item.title}}:
{{its.name}}
加入购物车
立即购买
加入书单
收藏
精选
¥5.83
世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版
¥5.39
正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册
¥8.58
简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版
¥5.83
世界文学名著全49册中小学生青少年课外书籍文学小说批发正版
¥4.95
全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷
¥8.69
父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册
¥24.2
好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册
¥7.15
幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书
¥11.55
用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书
¥19.8
少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版
¥64
科学真好玩
¥12.7
一年级下4册·读读童谣和儿歌
¥38.4
原生态新生代(传统木版年画的当代传承国际研讨会论文集)
¥11.14
法国经典中篇小说
¥11.32
上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)
¥21.56
猫的摇篮(精)
¥30.72
幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书
¥24.94
旧时风物(精)
¥12.04
三希堂三帖/墨林珍赏
¥6.88
寒山子庞居士诗帖/墨林珍赏
¥6.88
苕溪帖/墨林珍赏
¥6.88
楷书王维诗卷/墨林珍赏
¥9.46
兰亭序/墨林珍赏
¥7.74
祭侄文稿/墨林珍赏
¥7.74
蜀素帖/墨林珍赏
¥12.04
真草千字文/墨林珍赏
¥114.4
进宴仪轨(精)/中国古代舞乐域外图书
¥24.94
舞蹈音乐的基础理论与应用
内容简介
本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。
本书共六部分,分上、下两册。上册包括绪论、第一章和第二章。绪论对数理逻辑的性质,逻辑演算的大概内容。以及阅读以后各,所需要的预备知识作了简要的说明。第一章构造命题逻辑和一阶逻辑的形式系统,介绍演绎逻辑的基本规则。第二章研究逻辑演算的重要系统特征。
本书可以用作数学专业和其他专业数理逻辑课程的教材或教学参考书,或供有关工作人员参考。当用作其他专业的教材时,内容可删减。使用本书时一般要求读者具有相当于大学高年级程度的数学训练。
目录
序
使用说明
绪论
§00 数理逻辑
§01 逻辑演算(一)
§02 逻辑演算(二)
§03 集的基本概念
§04 数学归纳法
第一章 演绎逻辑的基本规则
§10 命题逻辑P的形成规则
§11 P的形式推理规则
§12 命题逻辑P*
§13 P和P*的关系
§14 命题常元、谢孚竖
§15 谓词逻辑F和F*的形成规则
§16 F和F*的形式推理规则
§17 函数词、等词
§18 摹状词
§19 偏函数
第二章逻辑演算的系统特征
§20 等值公式的可替换性
§21 逻辑词的可定义性
§22 命题连接词的接近性和独立性
§23 代人定理
§24 合取范式和析取范式
§25 前束范式和斯柯伦范式
§26 根岑系统和对偶性
§27 无嵌套范式
§28 逻辑演算的归约
符号汇编(上册)
×
Close
添加到书单
加载中...
点此新建书单
×
Close
新建书单
标题:
简介:
蜀ICP备2024047804号
Copyright 版权所有 © jvwen.com 聚文网