前言第1章　绪论第2章　算法复杂度与问题的下界2.1　算法的时间复杂度2.2　最好、平均和最坏情况的算法分析2.3　问题的下界2.4　排序的最坏情况下界2.5　堆排序：在最坏情况下最优的排序算法2.6　排序的平均情况下界2.7　通过神谕改进下界2.8　通过问题转换求下界2.9　注释与参考2.10　进一步的阅读资料习题第3章　贪心法3.1　生成最小生成树的Kruka1算法3.2　生成最小生成树的Prim算法3.3　单源最短路径问题3.4　二路归并问题3.5　用贪心法解决最小圈基问题3.6　用贪心法解决2终端一对多问题3.7　用贪心法解决1螺旋多边形最小合作警卫问题3.8　实验结果3.9　注释与参考3.10　进一步的阅读资料习题第4章　分治策略4.1　求2维极大点问题4.2　最近点对问题4.3　凸包问题4.4　用分冶策略构造Voronoi图4.5　voronoi图的应用4.6　快速傅里叶变换4.7　实验结果4.8　注释与参考4.9　进一步的阅读资料习题第5章　树搜索策略5.1　广度优先搜索5.2　深度优先搜索5.3　爬山法5.4　最佳优先搜素策略5.5　分支限界策略5.6　用分支限界策略解决人员分配问题5.7　用分支限界策略解决旅行商优化问题5.8　用分支限界策略解决O，1背包问题5.9　用分支限界方法解决作业调度问题5.10　A*算法5.11　用特殊的A*算法解决通道路线问题5.12　用A*算法解决线性分块编码译码问题5.13　实验结果5.14　注释与参考5.15　进一步的阅读资料习题第6章　剪枝搜索方法6.1　方法概述6.2　选择问题6.3　两变量线性规划6.4　圆心问题6.5　实验结果6.6　注释与参考6.7　进一步的闷读瓷料习题弟7章　动态规划方法7.1　资源配置问题7.2　最长公共f序列问题7.3　2序列比对问题7.4　RNA最大碱基对匹配问题7.5　0，1背包问题7.6　最优二卫树问题7.7　树的带权完垒支配问题7.8　树的带权单步图边的搜索问题7.9　用动态规划方法解决1螺旋多边形m守卫路由问题7.10　实验结果7.11　注释与参考7.12　进一步的阅读资料习题第8章　NP完全性理论8.1　关十NP完垒性理论的非形式化讨论8.2　判定问题8.3　可满足性问题8.4　NP问题8.5　库克定理8.6　NP完全问题8.7　证明NP完全性的例子8.8　2可满足性问题8.9　注释与参考8.10　进一步的阅读资料习题第9章　近似算法9.1　顶点覆盖问题的近似算珐9.2　欧几里得旅行商问题的近似算法9.3　特殊瓶颈旅行商问题的近似算珐9.4　特殊瓶颈加权K供应商问题的近似算法9.5　装箱问题的近似算法9.6　直线m中心问题的最优近似算法9.7　多序列比对问题的近似算珐9.8　对换排序问题的2近似算法9.9　多项式时间近似方案9.10　最小路径代价生成树问题的2近似算法9.11　最小路径代价生成树问题的Pns9.12　NP0完全性9.13　注释与参考9.14　进一步的阅读资料习题第10章　分摊分析10.1　使用势能函数的例子10.2　斜堆的分摊分析10.3　Av1树的分摊分析10.4　自组织顺序检索启发式方法的分摊分析10.5　配对堆及其分摊分析10.6　不相交集合并算法的分摊分析10.7　一些磁盘调度算法的分摊分析10.8　实验结果10.9　注释与参考10.10　进步的阅读资料习题第11章　随机算法11.1　解决最近点对问题的随机算珐11.2　随机最近点对问题的平均性能11.3　素数测试的随机算法11.4　模式匹配的随机算法11.5　交互证明的随机算法11.6　最小生成树的随机线性时间算法11.7　注释与参考11.8　进一步的阅读资料习题第12章　在线算法12.1　用贪心法解决在线欧几里得生成树问题12.2　在线K服务员问题及解决定义在平面树上该问题的贪心算法12.3　基于平衡策略的在线穿越障碍算法12.4　用补偿策略求解在线二分匹配问题12.5　用适中策略解决在线m台机器调度问题12.6　基于排除策略的三个计算几何问题的在线算法12.7　基于随机策略的在线生成树算法12.8　注释与参考12.

CS229T/STAT231是由斯坦福大学开设的统计学习理论课程，着重于对机器学习算法统计特性的理论理解，涉及机器学习算法何时起作用和原因、如何形式化算法从数据中学习的含义、如何使用数学思维来设计更好的机器学习方法等基本课题

Web服务是WWW发展的一个重要的趋势,Web服务的相关问题得到了广泛的研究和应用,Web服务的自动组合是其中一个热点。
要实现Web服务的自动组合,必须对Web服务的语义进行形式化的描述。
情景演算是一种形式化的建模和规划方法,利用情景演算对Web服务进行描述,能使自动组合结果更加快速和准确。
在分析情景演算特点的基础上,使用情景演算对一个基于Web服务的会议行程安排系统进行了Web服务语义描述。

     在模糊Petri网应用研究中，普遍存在模糊token由专家直接给出或主观假定的问题。
基于这种情况，提出了通过模糊统计法来获得库所的模糊token，为成功应用模糊Petri网理论创造了条件。
给出了计算模糊token的通用形式化算法。
实例论证了模糊统计法在求取模糊token时的可行性与有效性。

华罗庚编写的高等数学教材.每个概念都从简单直观的角度入手讲解,而不是繁杂生涩的形式化定义.注重数学直观和思维方式的培养.非常有特色.认真研读,会让你有收获的.这是:高等数学引论__余篇.pdf

随着信息技术的迅猛发展，今天的IT从业人员正处于这样一种进退两难的境地：一方面，根据以往的痛苦开发经历，他们知道如果采用杂凑的作坊模式来开发复杂的、高质量的信息系统具有太大的风险；
另一方面，他们也同样知道，形式化的、戒律森严的软件工程方法（典型情况下是与ISO9000和SEI-CMM相关的）又常常是官僚主义和耗费时间的，不可能满足目前高度竞争的“Internet时代”环境下对于进度方面不断增长的挑战性要求。
显然，如何使得企业在保证软件质量的前提下，同时又能够适应快速变化的市场需求，无疑是业内人士关注的焦点。
为此，本文从市场驱动的IT开发特点分析入手，对目前国际上正日趋成熟的“轻”方法和满意质量

方块苗文动态构造方法的形式化描述

有关形式化方法著名论文的集合，由日本九州大学的教授整理的

形式化方法教材，教材及练习题答案。
Ch01-Ch16，APPENDIX2

逻辑与计算机设计基础从当代工程观点讲述了逻辑与计算机设计方面的内容，自出版以来已被全球超过25万人使用。
本书以清晰的解释和逐步延伸的实例来帮助读者理解内容，实例涵盖了从简单的组合应用到建立在RISC内核基础上的CISC结构，更加重视培养读者在计算机辅助设计、问题形式化、解决方案验证和问题解决技巧方面的能力。

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。