本书介绍了离散数学基础知识和应用方法,全书共分为4篇,第1篇为数理逻辑,内容包括命题逻辑和一阶逻辑;第2篇为集合论,内容包括集合、二元关系和函数;第3篇为代数系统,内容包括代数结构和格与布尔代数;第4篇为图论,内容包括图的基本概念及表示、几类重要的图和树。
本书在内容安排上,突出由浅入深、循序渐进、通俗易懂的特点,各章配备了大量的例题,其内容与计算机科学的理论与实践密切结合,便于自学。本书适合作为普通高等院校计算机类专业本科生的教材,也可供计算机专业的科技人员使用或参考。
1 高海拔地区地基基础施工
1.1 冻土区地基施工
1.2 高海拔地区盐渍土路基施工
1.3 高原地区风沙地基的防治与施工
1.4 砂土地区钻孔灌注桩后注浆施工
1.5 高原地区外包布袋混凝土施工
1.6 高海拔地区人工挖孔桩施工
2 高海拔地区支护技术
2.1 预应力锚杆
2.2 复合土钉墙
2.3 冻结法施工
2.4 综合支护
2.5 超深基坑支护
3 高海拔地区混凝土结构施工
3.1 CSA混凝土超长结构无缝施工
3.2 劲性柱混凝土施工
3.3 抗腐蚀高性能混凝土施工
3.4 发泡混凝土施工
3.5 超大超厚超体量混凝土施工
4 高海拔地区大跨度铝结构穹顶施工
4.1 铝合金穹顶深化设计
4.2 施工过程模拟计算分析
4.3 穹顶操作平台及安装方案
5 高海拔地区钢结构工程施工
6 高海拔地区屋面工程施工
6.1 改良倒置屋面施工
6.2 呼吸式屋面排气系统施工
6.3 种植屋面施工
6.4 铝镁锰金属屋面施工
7 高海拔地区保温工程施工
7.1 玻璃纤维板外墙保温施工
7.2 聚苯板+泡沫玻璃防火隔离带保温施工
7.3 外墙、整体式屋面、地面保温施工
7.4 无机纤维复合保温材料施工
8 高海拔地区防水工程施工
8.1 防水卷材施工
8.2 防水涂料施工
8.3 刚性防水层施工
8.4 防渗堵漏
9 高海拔地区装饰装修施工
9.1 砌筑工程施工
9.2 外墙装饰混凝土劈裂砌块施工
9.3 民族建筑构配件做法及施工
9.4 藏式建筑彩色混凝土施工
9.5 高海拔强紫外线地区外墙保温及装饰施工
9.6 外墙氟碳漆施工
9.7 植物种植施工
10 高海拔地区安装工程施工
10.1 常规安装新技术
10.2 消防新技术
10.3 通风空调新技术
10.4 铁皮风管防火加强包裹施工
10.5 聚丙烯(PP)排水管施工
11 高海拔地区绿色施工
11.1 大面积绿化施工
11.2 风光互补供电技术
11.3 太阳能集□□暖技术
11.4 自限温电拌热防冻技术
11.5 智能控制自动供水技术
11.6 SBR污水处理技术
12 高海拔地区冬期施工
13 高海拔地区职业健康管理
13.1 高原施工医疗卫生保障和高原职业病的诊断分析防范
13.2 鼠疫、病媒措施