| 开本：16开 |
| 纸张：胶版纸 |
| 包装：平装-胶订 |
| 是否套装：否 |
| 国际标准书号ISBN：9787811296044 |
| 所属分类：图书>自然科学>数学>数学理论 |
商品详情
书名数理逻辑入门
定
作者李锡胤 著
出版社：黑龙江大学出版社有限责任公司
出版日期
字数
页码
版次
装帧：平装
开本开
商品重量：内容简介
李锡胤编著的《数理逻辑入门》内容介绍：数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，是之更为和便于演算。
作者简介
李锡胤，黑龙江大学教授、博士生导师。
书名数理逻辑入门
定
作者李锡胤 著
出版社：黑龙江大学出版社有限责任公司
出版日期
字数
页码
版次
装帧：平装
开本开
商品重量：内容简介
李锡胤编著的《数理逻辑入门》内容介绍：数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，是之更为和便于演算。
作者简介
李锡胤，黑龙江大学教授、博士生导师。