1广西师范大学出版社·理想国 图书在版编目(CIP)数据 东方历史评论. 第2辑 / 许知远主编. — 桂林 : 广西师范大学出版社, 2013.8 ISBN 978-7-5495-4154-6 Ⅰ. ①东… Ⅱ. ①许… Ⅲ. ①历史事件－世界 Ⅳ.①K105 中国版本图书馆CIP数据核字(2013)第1626...

1内容简介 本书包括数理逻辑、集合论、图论、组合分析初步、代数结构和形 式语言与自动机初步等6个方面的内容. 书中概念论述清楚，内容丰富，通俗易懂，并且着重于概念的应 用，而不着重于定理的证明.每章后均附有习题，建议学时60～80. ...

1第 1 1 期 2 5 一 海上钻井平台离散型需求备件库存决策研究 邓津林 ( 中海油田服务股 份有限公司钻 井事 业部 ，天津 3 0 0 4 5 2 ) [ 摘 要] 海上钻井平台作 业环境特殊 ，风险性 高， 设备 维护运转要求的备件服务水平较 高。本文对...

1目 录 第1章 命题逻辑 引言 1.1 命题及其表示 1.2 逻辑联词 1.3 命题公式与真值函数 1.4 真值表与等值公式 1.5 重言式与蕴涵式 1.6 其他逻辑联词及逻辑联词完备集 1.7 对偶和对偶定律 1.8 范式 1.9 命题演算推理理论 1.10 命题...

1广西师范大学出版社·理想国 图书在版编目(CIP)数据 东方历史评论. 第2辑 / 许知远主编. — 桂林 : 广西师范大学出版社, 2013.8 ISBN 978-7-5495-4154-6 Ⅰ. ①东… Ⅱ. ①许… Ⅲ. ①历史事件－世界 Ⅳ.①K105 中国版本图书馆CIP数据核字(2013)第1626...