数理逻辑/普通高等教育"十.五"国家级规划教--聚文网

精选

¥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

幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书

旧时风物(精)

三希堂三帖/墨林珍赏

寒山子庞居士诗帖/墨林珍赏

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

进宴仪轨(精)/中国古代舞乐域外图书

舞蹈音乐的基础理论与应用

内容简介

该书分演绎及其证成，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻辑，共五个部分，对逻辑哲学进行了全面系统的概论，同时吸收了近几年靠前逻辑哲学方面的近期新进展，每一章后面的思考题和推荐阅读文献更是大大方便了教学和阅读。作者在靠前长期教授逻辑课程，也曾经写作过逻辑学和逻辑哲学方面的著作，具有深厚的功底和丰富的经验。
本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的很基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的接近性定理等。

第一章  绪论：从直观到形式
  1  从“矛盾”说起
  2  直观上的推理
  3  正确推理
  4  一阶语言
  5  推演系统
第二章  集合
  1  集合（不）是什么？
  2  关系
  3  函数
  4  可数集与不可数集
第三章  一阶语言的语形
  1  字母表
  2  归纳定义
  3  项
  4  公式
  5  递归定义
  6  自由和约束代入
第四章  经典语义学
  1  结构与解释
  2  等词、量词和联结词
  3  满足真
  4  语义后承
  5  可满足性有效性语义等值
  6  代入引理
  7  模型举例
第五章  自然推演系统
  1  推理规则概说
  2  联结词规则
  3  命题推演语形后承
  4  量词和等词规则
  5  一阶推演
  6  经典与直觉主义逻辑的关系
第六章  可靠性与完全性
  1  经典可靠性
  2  一致性
  3  经典命题完全性
  4  Henkin定理
  5  可满足性定理
  6  经典完全性
  7  紧致性定理与Lowenheim-Skolem定理
  8  直觉主义完全性
参考文献

数理逻辑/普通高等教育"十.五"国家级规划教

库存： {{selectedSku?.stock}} 库存充足