全部
仅显示有全文权限
学科
数学
(132)
计算机科学技术
(6)
统计学
(2)
信息科学与系统科学
(1)
图书类型
专著
(68)
教育-大学
(59)
科普
(4)
教育-职业
(1)
出版时间
2024
(2)
2023
(5)
2022
(2)
2021
(4)
2020
(6)
2019
(8)
2018
(6)
2017
(2)
2016
(7)
2015
(10)
2014
(7)
2013
(1)
2012
(4)
2011
(7)
2010
(5)
2009
(3)
2008
(8)
2007
(7)
2006
(1)
2005
(1)
2003
(4)
2002
(2)
2001
(1)
2000
(1)
1999
(2)
1998
(2)
1995
(1)
1992
(1)
1991
(1)
1987
(3)
1986
(1)
1985
(1)
1984
(4)
1983
(4)
1982
(3)
1981
(3)
1980
(1)
1974
(1)
共计：132种图书 , 显示 1到10
导出
荐购：
全选 |
自选
全选
荐购
取消
默认排序
出版日期降序
出版日期升序
图书名称
作者
高等数学（下册）（英文版）
作者：
侯书会,刘白羽
ISBN：
9787030480453
出版社：
科学出版社
出版日期：
2016-05
简介：
本书分上、下两册出版．上册共七章，着重介绍一元微积分学的基础理论知识，内容包括函数、极限、函数连续性，导数、微分及其应用，不定积分、定积分及其应用；下册共六章，着重介绍多元微分学的基础理沦知识，内容包括无穷级数、向量代数与空间解析几何，多元函数、极限及其连续性，多元函数的微分及应
引用
错误系统
作者：
郭开仲著
ISBN：
9787030336941
出版社：
科学出版社
出版日期：
2012-03
简介：
本书在对象系统的基础上，首先建立错误系统、关键子系统、主要子系统、重要子系统；关键结构、主要结构、重要结构；关键要素、主要要素、重要要素和子系统独立等基本概念，然后讨论差别系统错误的规则，一般系统与错误系统的基本结构、结构变换、错误函数、系统功能与错误的模型，最后讨论系统优化的理
引用
数学与猜想 | 第一卷
作者：
G.波利亚
ISBN：
130312477
出版社：
科学出版社
出版日期：
1984-03
简介：
本书是著名数学家G.波利亚撰写的一部经典名著．本书所讨论的是自然科学、特别是数学领域中与严密的论证推理完全不同的一种推理方法——合情推理（即猜想）．自然科学、特别是数学中的新发现大都是从猜想、估计开始的，这些猜想经过大量实践验证，再经过严密的论证推理，获得定律、定理等结论．但在一
引用
不确定性推理的计量化模型及其粗糙集语义
作者：
折延宏
ISBN：
9787030477651
出版社：
科学出版社
出版日期：
2016-03
简介：
本书介绍基于粗糙集语义的逻辑推理及其计量化推理模型，是作者近年来工作的总结，同时也兼顾了国际上有关不完备信息处理与表示的若干研究成果. 全书共八章，具体内容包括计量逻辑中理论逻辑性态的拓扑刻画、三值逻辑与粗糙集、不完备信息、正交对与三值逻辑、基于粗糙集语义的计量化知识推理、多粒度
引用
对偶三角模－三角余模逻辑及推理
作者：
张兴芳
ISBN：
9787030432803
出版社：
科学出版社
出版日期：
2015-02
简介：
本书总结作者张兴芳2005年以来关于概率论、Lawry的适当测度理论、刘宝碇的不确定理论、模糊集理论与数理逻辑理论的结合研究成果。根据非经典命题和谓词的不确定性的各种特征，作者分别提出了相应的逻辑和推理方法，概括其本质分别称为随机命题的概率逻辑、Vague命题的Lawry对偶三角
引用
塔斯基定理与真理论悖论
作者：
熊明著
ISBN：
9787030401243
出版社：
科学出版社
出版日期：
2014-05
简介：
本书梳理了塔斯基、克里普克、赫茨伯格、古普塔等人的真理论的基本内容，并通过分析其理论对真谓词在可能世界上的一种模式，进而给出了塔斯基定理的一系列的推广。
引用
数理逻辑 : 基本原理与形式演算 | 2版
作者：
李未著
ISBN：
9787030401557
出版社：
科学出版社
出版日期：
2014-03
简介：
本书系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性等；后五章阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论等。
引用
计算理论与符号逻辑
作者：
张兴元，王元元，宋丽华编著
ISBN：
9787030324108
出版社：
科学出版社
出版日期：
2011-10
简介：
本书共十五章，主要包括集合的可数性、图灵可计算性、算盘可计算性、递归函数可计算性、递归函数与递归关系、不同计算模型之间的等价性等。
引用
相识数学逻辑
作者：
黄忠裕，赵焕光著
ISBN：
9787030287113
出版社：
科学出版社
出版日期：
2010-08
简介：
本书主要介绍了逻辑中的概念与数学概念、逻辑中的命题与数学命题、逻辑中的推理与数学推理、逻辑中的论证与数学证明、逻辑规律、逻辑缺口及辩证逻辑等相关知识。
引用
数理逻辑引论与归结原理 | 2版
作者：
Guo-Jun Wang, Hong-Jun Zhou著
ISBN：
9787030228994
出版社：
科学出版社
出版日期：
2009-04
简介：
Introduction to Mathematical Logic Resolution Principle,Second Edition,in nine chapters,discusses Boolean algebra theory,propositional calcu
引用
首页
«
1
2
3
4
5
...
»
末页
10条/页
10条/页
20条/页
50条/页
跳至
页
返回顶部
×
图书荐购
*
姓名:
*
机构名称:
*
院/系/所:
*
推荐人邮箱:
推荐理由:
