密码协议分析的逻辑方法

对密码协议分析的逻辑方法进行系统介绍。主要内容包括密码协议的概念以及密码协议分析的主要方法综述，密码协议逻辑分析方法的理论基础，各种密码协议逻辑。这些逻辑涵盖了当前比较重要的密码协议分析逻辑，介绍...

法律逻辑学 第2版

本书立足于全面系统地介绍形式逻辑基本原理，为学术理解、掌握和运用法律逻辑知识奠定坚实的逻辑理论基础。在此基础上，本教材吸收法律逻辑学最新研究成果，介绍并阐述法律逻辑思维的基本方式和方法等，试图体现法...

编程风格 好代码的逻辑

本书通过一个简单的计算任务来阐释不同的编程风格，帮助读者理解编写程序和构建系统的不同方法，被Software Development Times评为迄今为止最好的程序设计书之一。本书既可作为程序员进阶指南，也可以用作计算机...

概率论与数理统计 理工类

本书是大学数学立体化教材概率论与数理统计（医药类）的配套辅导用书，内容包括随机变量、参数估计、假设检验、方差分析等内容的学习辅导与习题解答。...

概率论与数理统计 学习指导与同步训练

数理战术学

本书不仅介绍了各种形式的方程，而且介绍了最优控制与微分对策的概念和极大值原理，进一步将作战指数和最优火力分配策略统一到一个模型中处理，提出了规范交战模式等一系列概念，利用不动点原理证明了规范交战模型...

金融的逻辑 2 通往自由之路

本书是对中国经济发展历程的一个梳理。对于一个封闭多年，人口众多的计划经济国家，当它重新走市场化道路，加入全球化秩序时，积压多年的后发潜力在初始时期必然会快速发展，经济会迅速增长，这往往会带来非理性亢奋.....

概率论与数理统计

本书为“数学经济”丛书之一。本书共分九章，内容涉及随机事件及其概率、随机变量（包括多维随机变量）及其分布、随机变量的数字特征、数理统计的基础知识、参数估计、假设检验、方差分析与回归分析、MATLAB在概...

经济应用数学基础 3 概率论与数理统计

经济应用数学 概率论与数理统计

本书论述随机事件及其概率，随机变量与概率分布，随机变量的数字特征，随机向量，统计估计，统计估计，回归分析，统计决策基础。