陈意云写的，书中首先介绍了代数规范的基本知识和一此泛代数的知识，然后系统地介绍了范畴论的主要内容，范畴，函子，自然变换，积与和，极限和余极限，伴随，笛卡尔封闭的范畴和素描等，并通过很多例子，介绍了范畴论在程序设计语言的语义，论域理论，演绎系统和形式规范等方面的应用

面向计算机科学的数理逻辑第二版-陆钟万 习题答案

自己复习时做的期末复习纲要，还算详细毕竟一点一点磨出来的，欢迎下载

本书是面向计算机科学的数理逻辑即系统与建模(中文版-第二版)，是关于离散数学，数理逻辑方面很有用的参考书。

有关计算机科学的离散入门书籍。里面内容详尽。十分适合初学者学习。

本书涵盖了经典的“离散结构”或“离散数学”课程的主要内容,包括集合论基础、逻辑代数、形式系统与形式推理、组合论基础、图论基础、关系与函数、计算理论基础和抽象代数学基础。具有内容系统全面、阐述浅显易懂、编排合理新颖、使用灵活方便的特点。

计算机科学引论重点知识及课后答案，里面包含习题讲解，课后专业单词翻译非常全

据教育部统计显示，我国2017年高校毕业生人数高达795万，2018年高校毕业生人数高达820万，预计2019年高校毕业生人数将达到834万。就业压力凸显，大学生就业成了目前社会普遍关注的问题。为了适应市场经济法发展需要，全面了解计算机科学与技术专业毕业生的就业情况，了解社会，企业对计算机科学与技术专业人才技能、知识、素质要求的变化和趋势，从而能够更好的定位自己，完善自身条件，为将来的工作寻求做充分的工作准备，我针对计算机科学与技术专业的人才的就业情况做了一次调研。据教育部统计显示，我国2017年高校毕业生人数高达795万，2018年高校毕业生人数高达820万，预计2019年高校毕业生人数将达到834万。就业压力凸显，大学生就业成了目前社会普遍关注的问题。为了适应市场经济法发展需要，全面了解计算机科学与技术专业毕业生的就业情况，了解社会，企业对计算机科学与技术专业人才技能、知识、素质要求的变化和趋势，从而能够更好的定位自己，完善自身条件，为将来的工作寻求做充分的工作准备，我针对计算机科学与技术专业的人才的就业情况做了一次调研。

面向计算机科学的数理逻辑 系统建模与推理 答案（全部） logic in computer science modelling and reasoning about systems solutions

哈佛大学公开课cs50 http://download.csdn.net/detail/cheng5129540/3763638#comment这里有问题集，建议从这里下载，但是没有源码，所以找了源码。 这里面3，4，5有2种版本，5，7，8只有普通的，而1，2的问题集是没源码的。 所有都可以从这下载的：http://cs50.tv/2010/fall/#l=psets&r=about&v=lectures/0/week0w