点击切换搜索课件文库搜索结果(990)
文档格式:PDF 文档大小:1.44MB 文档页数:53
复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统
文档格式:PDF 文档大小:1.89MB 文档页数:84
一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:
文档格式:PPT 文档大小:960.5KB 文档页数:25
人教版高中化学必修2第四章 化学与自然资源的开发利用第二节 资源综合利用 环境保护课件(1)
文档格式:PDF 文档大小:42.43KB 文档页数:1
一、土壤组成 土壤矿物质、有机质、水、空气 二、土壤背景值 土壤背景值又称土壤本底值。它代表一定环境单元中的一个统计量的特征 值。背景值这一概念最早是地质学家在应用地球化学探矿过程中引出的。背景值 指在各区域正常地质地理条件和地球化学条件下元素在各类自然体(岩石、风化 产物、土壤、沉积物、天然水、近地大气等)中的正常含量。在环境科学中,土 壤背景值是指在未受或少受人类活动影响下尚末受或少受污染和破坏的土壤中 元素的含量。当今,由于人类活动的长期积累和现代工农业的高速发展,使自然 环境的化学成分和含量水平发生了明显的变化,要想寻找一个绝对未受污染的土 壤环境是十分困难的,因此土壤环境背景值实际上是一个相对概念
文档格式:PPT 文档大小:1.49MB 文档页数:63
第一节微生物在自然界中的分 第二节微生物与环境间的关系 第三节微生物与自然物质循环 第四节微生物与环境保护
文档格式:DOC 文档大小:1.79MB 文档页数:17
人教版高中化学必修2第四章 化学与自然资源的开发利用第二节 资源综合利用 环境保护教案(2)
文档格式:DOC 文档大小:290KB 文档页数:5
人教版高中化学必修2第四章 化学与自然资源的开发利用第二节 资源综合利用 环境保护导学案
文档格式:DOC 文档大小:160.5KB 文档页数:9
第一节可持续发展的由来 一、人类面临的环境问题 (一)局地环境污染日益严重局地性是相对于全球性而言的。 1、水污染 水是地球上分布最广的物质,是自然环境系统必不可少的组成要素之一 是人类社会赖以生存和发展的主要自然资源
文档格式:DOC 文档大小:301.5KB 文档页数:11
人教版高中化学必修2第四章 化学与自然资源的开发利用第二节 资源综合利用 环境保护导学案(3)
文档格式:DOC 文档大小:338.5KB 文档页数:2
人教版高中化学必修2第四章 化学与自然资源的开发利用第二节 资源综合利用 环境保护导学案(1)
首页上页4849505152535455下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有