概率与归纳的逻辑导论百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有843,954项符合查询结果项。（搜索耗时：0.9550秒）

离散数学导论数理逻辑·集合·关系部分

查看PDF目录购买本书
黄和之编著1992 年出版273 页ISBN：7563801464
本书内容包括数理逻辑，集合论，二元关系三部分。
逻辑学导论第2版教学辅导书

查看PDF目录购买本书
陈波等编著2006 年出版250 页ISBN：7300072577
本书是教学辅导书。
图灵数学统计学丛书概率导论第2版

查看PDF目录购买本书
（美）伯特瑟卡斯，（美）齐齐克利斯著2016 年出版452 页ISBN：9787115405074
本书是在MIT开设概率论入门课程的基础上编写的，其内容全面，例题和习题丰富，结构层次性强，能够满足不同读者的需求。书中介绍了概率模型、离散随机变量和连续随机变量、多元随机变量以及极限理论等概率论基本知...
逻辑学导论

查看PDF目录购买本书
严乐儿，黄戈生，徐长斌编著2007 年出版310 页ISBN：7313050062
本书为高等院校文科教材。为高等院校文科学生开设的一门公共基础课或通选课的导论型的逻辑教科书。由十一章和两个附录组成，全书贯彻“以概念（词项）为基础，以命题为关键，以推理为中心”的思路，内容涵盖传统逻辑.....
应用随机过程概率模型导论第11版英文

查看PDF目录购买本书
（美）罗斯（RossS.M.）著2015 年出版768 页ISBN：9787115384744
本书是一部经典的随机过程著作, 叙述深入浅出、涉及面广。主要内容有随机变量、条件期望、马尔可夫链、指数分布、泊松过程、平稳过程、更新理论及排队论等，也包括了随机过程在物理、生物、运筹、网络、遗传...
交互式定理证明与程序开发 Coq归纳构造演算的艺术

查看PDF目录购买本书
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
逻辑导论第2版

查看PDF目录购买本书
王洪主编；王洪，徐海燕，孔红，张鹰等撰稿人2016 年出版369 页ISBN：9787562068280
本书充分体现了现代逻辑的观念和成果，同时又保留了传统逻辑的有用知识。全书以语言分析、逻辑演算、合情推理、有效论证与合理论辩为框架，介绍逻辑学的基本理论与方法，并且结合实例、案例与练习阐述这些理论与...
法律逻辑学导论

查看PDF目录购买本书
张斌峰，李永铭等编著2010 年出版417 页ISBN：9787307075290
本书以逻辑学为主体，直面法律现象本身，基于法律及其实践，司法运行需要，讨论逻辑学在法律思维、法律实践中的具体特点，用法律现象、法律运用过程中的实例，彰显法律逻辑的功能与作用，旨在协助法学专业学生在实践......
形式逻辑导论

查看PDF目录购买本书
刘汉民编著2008 年出版173 页ISBN：9787811391152
本教材认真总结了多年来的逻辑教学经验，吸收了同类教材的优点，并根据学生的学习情况着重加大了逻辑原理应用的份量，紧密结合公安、法律的实际阐述逻辑学原理。本教材共分为九章（绪论、、概念、简单判断与推理、...
逻辑学导论

查看PDF目录购买本书
（美）欧文·M·柯匹（IrvingM.Copi），（美）卡尔·科恩（CarlCohen）著2014 年出版753 页ISBN：9787300202105
本书是当今逻辑教科书的标准范本，是清晰性与准确性的典范，它能够使学生理解、把握并应用古典三段论逻辑和更为强有力的现代符号逻辑技术。书中所选用的有关政治、哲学、科学及多领域当代论争的鲜活的论证实例...