前期维特根斯坦哲学中的科学主义思想：给世界划界

维特根斯坦的《逻辑哲学论》是其前期哲学的代表作。在这本著作中,他运用逻辑分析的方法将世界划分为可说的事实世界与不可说的超验世界,从而使分析哲学以一种科学化的形态呈现出来。这种划分的方式具有深刻的科学主义印记。本文尝试对上述问题进行评析和回顾。     

Formale objektorientierte Softwareentwicklung mit FOX{\cal F}{{\scriptstyle{\cal O}{\cal X}}}

Zusammenfassung.   Wir stellen die neue Methode vor, die auf die formale Entwicklung sequentieller, objektorientierter Softwaresysteme abzielt. ist eine synergetische Kombination aus der semiformalen Methode Fusion und der formalen Spezifikationssprache Object-Z. Die Methode unterscheidet ausdrücklich Analyse und Entwurf, um die Komplexit?t und die unterschiedlichen Aufgaben der Softwareentwicklung zu bew?ltigen. In jeder Entwicklungsphase werden Zustands- und Verhaltensspezifikationen in graphischer oder textueller Form erstellt. Wir geben Beweisverpflichtungen an, um zu gew?hrleisten, da? die entwickelten Spezifikationen formal konsistent und vollst?ndig sind, und da? das resultierende System zur Ausgangsspezifikation konform ist. Wir illustrieren die Anwendung von an einem einfachen Beispiel, einem Grapheditor. Eingegangen am 24. Dezember 1996 / Angenommen am 8.10.1997     

未来普通高校体育教师人才素质的构成要素

采用文献资料与问卷调查等研究方法,探析了21世纪我国普通高校体育教师人才素质的构成要素。结果显示,品格、治学、科研、教学、专业知识、综合知识、跨学科学习、竞争、协作与掌握操作工具等方面的能力,是高校体育教师人才素质构成的重要因素。     

21世纪体育人才的素质要素及培养要点

21世纪对体育人才的素质结构提出了新的要求，其构成要素主要有：道德素质、人文素质、业务素质、身心素质、创新素质。在体育人才的培养方面，应注重更新教育思想和观念、完善教师的知识结构、建立新的课程体系、更新教学手段和方法、营造良好的校园文化氛围等要点。     

The Magical Number 7

This article describes an interactive activity that involves students participating in a memory recall test. Data collected from the activity may be used to illustrate the one‐sample t test or one‐sample sign test.     

关于(h,m)-凸函数乘积的Hadamard-型不等式及应用

建立一些关于（h,m）-凸函数乘积的新Hadamard-型不等式,得到的结果是对通常凸性、第2种意义下的s-凸性、m-凸性、h-凸性意义下的Hadamard-型不等式的推广.     

21世纪的人们如何选择现代武术健身养生项目

21世纪的今天,人们面对社会上五花八门的现代健身养生项目,如何选择已成为追求自我身心健康的人们较为关注的问题。文章就这一问题为大家解析健身养生项目的基本特征、健身功效所在,并在揭开健身养生理论神秘面纱的同时,使人们进一步了解现代武术健身养生常见的锻炼项目。旨在让大家轻松地找到一种具有实效性的现代武术健身养生项目为己用,从而达到提高自我健康的目的。     

世界男子单杠项目发展特点分析

采用文献资料、录像观察和统计分析法,对41届世界体操锦标赛和29届奥运会及我国11届全运会单杠决赛前6名运动员的成套D分动作的类型、难度、连接加分和完成情况进行研究,分析当前世界男子单杠发展的新特点。结果表明：飞行动作是构成单杠成套D分价值的重要动作组别,且动作的使用趋于多样化;具有0.2分连接价值的＂二连接＂明显增加,C组及以下难度的D分动作使用趋于减少;高D分是获胜的基础,动作完成质量是取胜的保证。     

不要把学生的思维禁锢在“考点”里

有考试,就会有＂考点＂,＂考点＂是＂知识点＂,不能否认它的积极作用,但是也不能轻视它的副作用,老师强调＂考点＂,学生重视＂考点＂,长此以往,老师有可能用＂考点＂砍伐学生＂奇怪＂的思维,使其统一,学生可能习惯于＂考点＂而墨守成规,这样许多科学探索精神及创造的思想火花必将被掩埋,所以,不要再把学生的思维禁锢在＂考点＂里了。     

基于成本收益的数字化教学资源共享条件分析

共享是优化数字资源配置的正确选择,而利益问题贯穿始终。从数字化教学资源的经济属性入手,就资源贡献与资源获取两种共享行为,对教师个体及高校两类主体参与共亭的成本收益条件进行分析,以期为高校数字化教学资源共享机制建立提供参考借鉴。