康宏

PIC单片机应用.pdf

本书共13章,第1章介绍PIC单片机的主要功能和作用,程序运行方式和指令表示方法;第2~5章以制作并运行一个简单的PIC单片机为例,介绍PIC的基本开发过程,如软件开发环境、制作AKI-PIC编程器等。

临界的传递逻辑——模态逻辑的濒表格性问题探究.pdf

  本书详述传递的濒表格逻辑的判据及其应用,以及在此基础上所做的关于濒表格逻辑的若干研究结果,解决了传递逻辑格的濒表格性的语义判据,以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题,展示了如何将已有的传递的濒表格逻辑的结果纳入本书提出的方法和视野。全书共分为