- 博客(0)
- 资源 (13)
- 收藏
- 关注
Applied Logic for Computer Scientist
计算机方向需要的逻辑理论
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)
2019-05-06
Compilers: Principles, Techniques, & Tools, Second Edition
本书全面、深入地探讨了编译器设计方面的重要问题,包括词法分析、语法分析、语法制导定义和语法制导翻译、运行时刻环境、目标代码生辰、代码优化技术、并行性检测以及过程间分析技术。
龙书英文版
2014-09-19
Computer Systems A Programmer's Perspective
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.
2014-09-19
软件项目开发的全套文档——资料包(15个DOC)
测试计划 概要设计说明书 开发进度月报 可行性研究报告 模块开发卷宗 软件需求说明书 数据库设计说明书 数据要求说明书 文件给制实施规定的实例 详细设计说明书 项目开发计划 项目开发总结报告 用户手册
2009-12-10
电脑技巧精彩文章100篇
部分内容:
1.在新建菜单中添加文件类型
2.打造个性化的IE按钮
3.outlook 使用中的几个技巧
4.Windows 死机密码
5.无须重启使修改后的注册表生效
6.BIOS版本显示的含义
2009-10-05
算法设计课件----浙江大学算法设计课
讲解经典算法,并且有例题讲解。书中部分内容: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)
等,不一一列出
2009-04-29
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人