计算数学
更新时间:2013-06-05数理逻辑
更新时间:2013-06-05逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 利用计算的方法来代替人们思维中的逻辑推理过程,这种想法早在十七世纪就有人提出过。莱布尼茨就曾经设想过能 ...[阅读全文]
标签:天体演化学
更新时间:2013-06-05天文学的一个分支,研究各种天体以及天体系统的起源和演化,也就是研究它们的产生、发展和衰亡的历史。天体的起源是指天体在什么时候,从什么形态的物质,以什么方式形成的;天体的演化是指天体形成以后所经历的演变过程。通常说的天体演化,往往也包括起源在内。 ...[阅读全文]
标签:地层学
更新时间:2013-06-05地层学是研究地壳表层成层岩石的学科。是地质学的一个基础学科。地层学研究的主要范围是地层层序的建立及其相互间时间关系的确定,即地层系统的建立和地层的划分与对比。地层学是一切地质工作的基础,许多重要矿层和有用岩石都直接属于地层的一部分。地层指地壳表层成带状展 ...[阅读全文]
标签:工效学
更新时间:2013-06-05工效学(ergonomics )研究人-机器设备-工作环境系统中三者之间关系使之达到协调和统一的一门综合性实用学科。研究的目的是使各种作业的生产方式、操作方法和劳动休息制度适合于人的身体条件和要求,保证人在工作中的安全、健康和舒适,使人不仅在短时间内有效地工作,而且在长时期 ...[阅读全文]
标签: