当前位置：首页 > 名称
大约有30,000项符合查询结果项。（搜索耗时：0.0172秒）
为您推荐： 归纳逻辑学导论 新编归纳逻辑导论 归纳逻辑导论 归纳逻辑 现代归纳逻辑理论及其应用研究 归纳逻辑与 悖论
-
考研数学客观题简化求解技巧分类归纳 概率论与数理统计
毛纲源编著2010 年出版164 页ISBN：9787560961361本书主要针对考研数学（一）中的概率论与数理统计的客观题进行了简化求解的方法技巧归纳，其中绝大部分习题（或例题）选自历年来的考研真题，对考生复习很有指导意义。考生如能掌握本书的解题方法和技巧，对提高考研......
-
-
研究生学风实录 自然情境下的互动与归纳
屈晓婷主编2010 年出版119 页ISBN：9787512104297笔者针对研究生学风现状及相关要素进行了广泛的问卷调查和实证分析研究。通过定性定量的分析，为建立研究生学风建设机制提供量化数据。
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
简明逻辑学导论 第10版
（美）赫尔利著2010 年出版575 页ISBN：9787510023538《简明逻辑学导论》是美国最受欢迎的逻辑学教科书之一，2008年已出至第10版，大有取代柯比的《逻辑导论》之势。第10版进行了实质性的修订：新增了“杰出的逻辑学家”简介，简述了历史上十三位重要逻辑学家的生平和...
-
-
-
学科分类