shuangyu2007的专栏

计算机方向需要的逻辑理论 This book focuses on two styles of deductive rules: Natural deduction and Gentzen’s calculus. The former is usually considered closer to the mathematical reasoning practice and yields a declarative style of proofs where conclusions follow from assumptions. The latter is closer to the goal-oriented proof construction mechanism used in many interactive theorem provers and yields a more procedural style of proofs. Despite their differences, both styles have the same deductive power. The book introduces classical propositional and predicate logics in both styles along with their completeness and correctness properties. It also briefly discusses constructive variants of these logics and their relations to simply typed lambda calculus. Finally, the last part of the book illustrates how these proof-theoretical concepts are used in the verification of algorithms specified in the Prototype Verification System (PVS)

本书全面、深入地探讨了编译器设计方面的重要问题，包括词法分析、语法分析、语法制导定义和语法制导翻译、运行时刻环境、目标代码生辰、代码优化技术、并行性检测以及过程间分析技术。 龙书英文版

A computer system is a collection of hardware and software components that work together to run computer programs. Specific implementations of systems change over time, but the underlying concepts do not. All systems have similar hardware and software components that perform similar functions. This book is written for programmers who want to improve at their craft by understanding how these components work and how they affect the correctness and performance of their programs.

测试计划 概要设计说明书 开发进度月报 可行性研究报告 模块开发卷宗 软件需求说明书 数据库设计说明书 数据要求说明书 文件给制实施规定的实例 详细设计说明书 项目开发计划 项目开发总结报告 用户手册

在大二上学期写的实验系统，实现了基本的银行业务

1.问题解决 2.系统秘笈 3.软件使用秘笈 4.其它经验

1.准备安装的文件 2.安装jsdk 3.配置jsdk 4.安装apache 5.配置apache 6.安装配置resin

部分内容： 1.在新建菜单中添加文件类型 2.打造个性化的IE按钮 3.outlook 使用中的几个技巧 4.Windows 死机密码 5.无须重启使修改后的注册表生效 6.BIOS版本显示的含义

列出了计算机英语常用词汇，及名词简释，著名软件篇和常见硬件篇

VC++6.0语言函数查询（基本上都是C语言）

各类算法讲解，特别是图论方面更详细！！图论 数论 例题 组合数学 动态规划等都较好

讲解经典算法，并且有例题讲解。书中部分内容：2.2 动态规划 (Dynamic Programming) 2.2.1 背包问题（Knapsack problem） 2.2.2 最长递增子序列（Longest increasing subsequence） 2.2.3 Sequence alignment 2.2.4 最长相同子序列（Longest common subsequence） 2.3.5 Matrix-chain multiplication 2.3.6 树上的独立集 (Max Independent set in tree) 等，不一一列出