第1章命题逻辑 第2章一阶逻辑 第3章集合的基本概念和运算 第4章二元关系和函数 第5章代数系统的基本概念

The objectives of the course: 1. To help learners build up literary critical abilities by way of reading and appreciating the representative works in English literature; 2. To help learners enhance cultural cognitive abilities by way of introducing the background of literature, particularly the relationship between the literary creation and the social movements;

介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法最后展望了程序分析未来的研究方向和所面临的挑战

绪论 第一部分常见细菌属的特征描述 第一章光合细菌 第二章产芽孢细菌 第三章好氧或兼性厌氧发酵型革兰氏阴性杆菌 第四章好氧或兼性厌氧非发酵革兰氏阴性杆菌 第五章严格厌氧的革兰氏阴性球菌 第六章革兰氏阴性、厌氧直杆、弯杆和螺杆菌 第七章革兰氏阳性好氧和兼性厌氧球菌 第八章好氧和兼性厌氧的革兰氏阳性杆菌 第九章厌氧的革兰氏阳性杆菌和球菌 第十章古菌 第二部分常见细蓝的鉴定方法 第十一章基本方法 第十二章形态特征 第十三章培养及生理特征 第十四章生化特征测定 第十五章核酸特征测定 第十六章数值鉴定和自动化鉴定 第十七章菌种保藏方法

第一部分，常见细菌属的描述，分为10章，分别是光合细菌、产芽孢细菌、好氧或兼性厌氧革兰氏阴性发酵杆菌、好氧或兼性厌氧革兰氏阴性非发酵杆菌、厌氧的革兰氏阴性球菌、厌氧的革兰氏阴性杆菌和弯曲杆菌、好氧或兼性厌氧革兰氏阳性球菌、好氧或兼性厌氧革兰氏阳性杆菌、厌氧的革兰氏阳性杆菌和球菌、古菌。第二部分，常用的鉴定方法，共7章，分别是基本方法；形态特征鉴定；培养及生理特征测定；生化特征测定；核酸特征测定；数值分类、多相分类、编码鉴定和自动化鉴定；菌种保藏