论文部分内容阅读
形式系统的若干推理
【出 处】
：
化工电子计算
【发表日期】
：
1990年1期
其他文献
引起课堂教学重大变革的翻转课堂,在高校图书馆文献检索课教学中具有广阔的应用前景。笔者在分析翻转课堂内涵的基础上,详细地剖析了翻转课堂和文献检索课课堂两种教学模式的
当今已经进入了网络化、数字化和信息化的社会,网络课堂越来越普及。传统的网络课堂在教学组织方面缺乏互动环节的设计,容易使学习者对网络课堂失去兴趣。通过对网络课堂现状
为探讨急性脑梗死与急性脑出血在心电图发生率、心电图改变的类型的是否存在不同，分别对我院脑梗死与脑出血病人各50例进行心电图对照分析，找出它们之间的异同，使临床医生在积极
本文从大学生自身和环境变化因素出发,系统研究了大学生心理障碍的影响因素,这些心理问题已经严重干扰大学生学习和生活,影响大学生的健康成长和发展;按照心理健康影响因素对
<正>党的十九大强调预算制度要"全面规范透明"。2017年国务院廉政工作会议明确要求,要着力打造阳光财政,所有使用财政资金的部门,全部都要公开预决算,让群众找得到、看得懂、
马克思的货币理论随着他的哲学观的逻辑演进而不断发展。他把货币的本质开始理解为交换媒介,接着看作是私有财产之间的交换关系,后来克服了李嘉图的货币数量论,在《资本论》
从可持续的健康城市水系统的构建入手,分析北川新县城水系统安全保障的相关问题,通过综合考虑新县城水系的水质、水量及滨水环境情况,以构建完整的水循环体系为目标,通过暴雨径流管理模型(SWMM)划分河流流域单位,进行水资源分析与优化配置,提出生态型水质改善的方法措施,为水系统的安全运行提供保障。
基于经济学的视角,通过搜集气候变化对经济系统各方面的影响与评估方法研究的相关文献,发现我国气候显著的区域特征、经济系统的复杂性,导致我国不同地区、不同行业受到气候