| 开本：16开 |
| 纸张：胶版纸 |
| 包装：平装-胶订 |
| 是否套装：否 |
| 国际标准书号ISBN：9787310067176 |
| 所属分类：图书>哲学/宗教>哲学>伦理学 |
新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
商品详情
目 录
第一章 命题逻辑概述
命题语言
二值语义学
证明论
完全性
练习
第二章 基本模态语言
引言
基本模态语言
模态公式，和
模态公式，和
模态逻辑，和
模态逻辑，和
练习第一章 命题逻辑概述
命题语言
二值语义学
证明论
完全性
练习
第二章 基本模态语言
引言
基本模态语言
模态公式，和
模态公式，和
模态逻辑，和
模态逻辑，和
练习
第三章 多模态语言
……
显示全部信息
作者简介
李娜，南开大学哲学院教授、博士生导师。编著有：《实验逻辑学》《公理化集合论》和《模态逻辑》等教材。兼任《中国社会科学》杂志外审专家、《逻辑学研究》杂志编委。讲授的《实验逻辑学》课程，年被认定为重量“线下一流”课程，独自编写的教材《实验逻辑学》年被天津市认定为天津市高校课程思政优秀教材，主持的教学研究项目获得天津市教学成果等奖项（排名第）。年获天津市有突出贡献专家称号，年获宝钢优秀教师奖称号。
商品详情
目 录
第一章 命题逻辑概述
命题语言
二值语义学
证明论
完全性
练习
第二章 基本模态语言
引言
基本模态语言
模态公式，和
模态公式，和
模态逻辑，和
模态逻辑，和
练习第一章 命题逻辑概述
命题语言
二值语义学
证明论
完全性
练习
第二章 基本模态语言
引言
基本模态语言
模态公式，和
模态公式，和
模态逻辑，和
模态逻辑，和
练习
第三章 多模态语言
……
显示全部信息
作者简介
李娜，南开大学哲学院教授、博士生导师。编著有：《实验逻辑学》《公理化集合论》和《模态逻辑》等教材。兼任《中国社会科学》杂志外审专家、《逻辑学研究》杂志编委。讲授的《实验逻辑学》课程，年被认定为重量“线下一流”课程，独自编写的教材《实验逻辑学》年被天津市认定为天津市高校课程思政优秀教材，主持的教学研究项目获得天津市教学成果等奖项（排名第）。年获天津市有突出贡献专家称号，年获宝钢优秀教师奖称号。