大约有3,000项符合查询结果项。（搜索耗时：0.0068秒）
为您推荐： 江苏师范学院政教系政治经济学教研室编 天津大学机械制造系压力加工教研室译 陕西师大政教系资料室 press陕西师大政教系资料室 天津大学精密仪器系工业控制仪表教研室编 逻辑
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
逻辑、博弈与哲学践行
潘天群著2013 年出版215 页ISBN：9787516136737本文集的内容分为三个部分：第一部分，逻辑与哲学。本部分采用现代逻辑方法，从逻辑的形式技术上对偶然性、希望、怀疑等哲学概念构建形式系统，以得到相应的“哲学逻辑”。同时对归纳等哲学问题进行探讨。第二部分...
-
-
魔鬼交易 猎财迷局背后的金融逻辑
（美）罗艾洲著；施轶译2013 年出版286 页ISBN：9787115317025这是一本内部人士告诉读者金融市场运作内幕的书。本书以作者的经历为主线，串联起了诸多的金融知识，揭示了金融玩家如何魔术般地策划和操作海量的金钱。同时，作者还以金融产品运作为起点，以金融家实际工作方式为...
-
-
越玩越爱玩的660个逻辑推理游戏
宋师道编著2013 年出版299 页ISBN：9787511331144本书共分为十个部分，挑选了660个训练题，题目从逻辑思维能力、推理思维能力、发散思维能力、归纳思维能力等多角度入手，配以详细的解题思路，充分发掘大脑的潜能，提升读者的思维能力，拓宽视野，灵活变通。...
-
提升孩子逻辑力的50个超级训练
李洁编著2013 年出版108 页ISBN：9787115311740逻辑思维能力是孩子智力结构的核心因素之一，是孩子对事物进行观察、比较、分析、综合、抽象、概括、判断、推理的能力。本书为5~12岁孩子提供了超过50个提升逻辑力的超级训练。这些训练简单可行，趣味性强，可供...
-
一位私募总监的投资逻辑
黄道林著2013 年出版196 页ISBN：9787121191701股价的真相是什么？为什么会涨跌？股价趋势的本质是什么？热点是怎样形成的？如何寻找买点？如何把握卖点？一次成功的交易是如何实现的？如何控制风险？这是投资者最想要知道的问题，本书通过一个私募总监多年交易的......
-
机关的逻辑 上下级关系的相处之道
聂世军著2013 年出版344 页ISBN：9787514311044本书是有关领导科学的行政管理读物，分为上、下两篇。上篇分为三章，系统分析了机关工作的含义，领导的晋升、竞争及管理。下篇分为五章，主要从历史的角度阐述了机关的由来及发展，是机关工作及公务员实务的参考读物...