内容简介： 　　本书全面系统地介绍了C++编程的基本知识，包括C++的基本数据类型、基本语法和面向对象编程的基础知识，同时介绍了C++新增的内容。全书共分21章，读者大约用一天时间可学完一章的内容。 　　本书既可作为C++新手开始学习Visual C++ 6.0编程的入门书籍，也可作为有经验的C++编程人员的编程参考书。书中还提供了大量实例代码和练习及测验题，以加深广大读者对所学知识的理解。 目录: 第一篇 第一章开始 1.1引言 1.2C++历史简介 1.3程序 1.4本书要解决的问题 1.

第Ⅰ部分 基础知识 第1章 WPF概述 3 1.1 Windows图形演化 3 1.1.1 DirectX：新的图形引擎 4 1.1.2 硬件加速与WPF 4 1.2 WPF：高级API 4 1.3 分辨率无关性 5 1.3.1 WPF单位 6 1.3.2 系统DPI 7 1.3.3 位图和矢量图形 9 1.4 WPF体系结构 10 1.5 WPF 4.5 13 1.5.1 WPF工具包 14 1.5.2 Visual Studio 2012 14 1.6 小结 16 第2章 XAML 17

第Ⅰ部分 基础知识 第1章 WPF概述 3 1.1 Windows图形演化 3 1.1.1 DirectX：新的图形引擎 4 1.1.2 硬件加速与WPF 4 1.2 WPF：高级API 4 1.3 分辨率无关性 5 1.3.1 WPF单位 6 1.3.2 系统DPI 7 1.3.3 位图和矢量图形 9 1.4 WPF体系结构 10 1.5 WPF 4.5 13 1.5.1 WPF工具包 14 1.5.2 Visual Studio 2012 14 1.6 小结 16 第2章 XAML 17

针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.