首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   434篇
  免费   4篇
  国内免费   12篇
教育   352篇
科学研究   49篇
体育   2篇
综合类   20篇
信息传播   27篇
  2023年   3篇
  2022年   3篇
  2021年   4篇
  2020年   5篇
  2019年   5篇
  2018年   4篇
  2017年   10篇
  2016年   13篇
  2015年   14篇
  2014年   20篇
  2013年   41篇
  2012年   40篇
  2011年   32篇
  2010年   24篇
  2009年   31篇
  2008年   48篇
  2007年   33篇
  2006年   15篇
  2005年   31篇
  2004年   14篇
  2003年   15篇
  2002年   17篇
  2001年   10篇
  2000年   4篇
  1999年   1篇
  1998年   2篇
  1997年   2篇
  1996年   4篇
  1995年   3篇
  1994年   1篇
  1992年   1篇
排序方式: 共有450条查询结果,搜索用时 15 毫秒
411.
高等数学教学的改革与高素质人才的培养   总被引:8,自引:0,他引:8  
针对现行的高等数学的教学情况 ,指出存在的严重问题。提出高等数学改革的具体方法 ,从教学方法、教学内容、教学手段三个方面做了详细的论述。  相似文献   
412.
413.
德国教育家赫尔巴特曾说:"教育的唯一工作与全部工作可以总结在这一概念之中——道德。道德普遍被认为是人类的最高目的,因此也是教育的最高目的。"道德层次的不同,决定了一个人精神价值的高低和生命意义的美丑。人无德不善,美的道德提高了整个社会的文明程度,而文明程度的提高,教育是  相似文献   
414.
我们会想突然消失一下,不要亲人朋友苦苦寻找,只想一个人静一下而已。我们是会伪装的,谁能单纯到澄澈的眸子里没有一丝杂质呢?我们认为这个世界是很小的,很多现在的同学是以前同学的同学。我们是想有个人可以好好爱自己,可以一天24小时陪着自己。我们的心是会在夜里哭泣的,因为它痛;而在白天,我们忧伤的情绪不愿在别人面前流露。喜欢格式化,不喜欢形式化。喜欢非主流,不喜欢太拘束。这个年纪,大家一起疯玩,连大街上打  相似文献   
415.
正《数学课程标准》明确指出:"让学生在生动具体的情境中学习数学."现今,情境教学受到越来越多数学教师的青睐,已成了公开课追求的时尚,是数学课中一道亮丽的风景线.但在现实的教学实践中,有些教师费尽心思创设的教学情境,在课堂中学生犹如雾里看花,使数学课失去了应有的韵味.一、追求形式化,忽视实效性《数学课程标准》指出:"数学教学,要紧密联系学生的生活环境,从学生的经验和已有的知识出发,创设有助于学生自  相似文献   
416.
随着计算机网络的不断发展,全球信息化已成为社会发展的必然趋势。在网络的应用服务中,信息安全是至关重要的环节。而安全协议是保障信息安全最基本内容之一,已广泛应用在计算机通信网和分布系统中。这样,高效准确的安全协议的形式化分析是必不可少的。所以形式化方法分析安全协议已成为目前研究的重点。本文以H.530协议为例给出其形式化分析与模型检测。  相似文献   
417.
所谓数学形式化,就是用数学的符号语言、图像语言和文字语言表达自然现象和社会现象的空间结构和数量关系,即用特定的数学语言刻画具有相对固定样式的数学概念、法则、结论,它是数学的基本特征之一,上世纪西南师范大学陈重穆与宋乃庆两位教授提出数学教学需要淡化形式,注重实质的观点,在学术界引起了热议;新课改《普通高中数学课程标准》明确提出要强调本质,  相似文献   
418.
余娟 《科技广场》2006,(2):24-25
程序的正确性证明是计算机软件工程中的一个重要领域。本文简单说明了程序正确性的基本理论和方法,并介绍了该领域的最新进展和作者对于该问题的一些看法。  相似文献   
419.
数学语言作为一种科学语言,它的基本特征是:一是准确性。数学语言可以摆脱日常用语(自然语言)的多义性与歧义性,表达准确无误,不易别解;二是简约性。数学语言历经了几千年的发展,逐渐演化一整套符号语言,表达形式简练而又确切,便于人们进行量的比较与判断;三是形式抽象化。也正是由于数学语言变得越来越简约,因而也就越来越形式化,越来越抽象。试想△x→0△y/△x=f'(x)这样的记法把导数的意义全部涵盖在里边。若用自然语言表述需要多少句话呢?以上特征使得数学语言一方面描述与刻画客观世界的自然现象与社会现象变得越来越精确与简洁;  相似文献   
420.
形式化方法有助于软件开发中发现其它方法不容易发现的系统描述的不一致、不明确或不完整,增加软件开发人员对系统的理解,利用形式化方法开发的软件系统具有较高的可信度和正确性,并能使系统具有良好的结构,使其易维护,关键是能较好地满足用户需求.主要研究利用形式化方法开发藏文软件需要考虑的关键问题和实施方案,以及形式化方法对提高藏文软件系统的安全性与可靠性的作用.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号