简介:狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数(式)按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。
简介:1849年,斐索首先采用旋转齿轮法测定了光速。斐索法虽早已被其它方法以及现代极其精确的激光测速法所代替,可是,由于它是历史首创,斐案法仍然被著述在各种各样的光学教材之中。然而,许多光学教材却并未注意对斐索法的物理过程作深透阐述,并且最后导出的公式都是C=4nγc,式中C表示光速,n是齿轮的的总齿数,γ是第一次发生光的消失时齿轮的每秒转数。因而上述公式就不是普遍的计算公式。笔者认为,斐索法包含着深刻的物理内容,导出斐索法测光速普遍的计算公式,不但为普遍计算所必须,更为发展读者智力、培养物理思想所必须。有些关于斐索法测光速习题的理解和计算,必须借助于普遍公式的推导和应用。例如,华东师大《光学》教材编写组改编的《光学教程》第357页,有这样一道习题:“在斐索
简介:"双一流"建设背景下高校人才的无序流动现象,引起了政府部门和社会各界的广泛关注。基于政策、学理和可能出现的后果分析,文章提出在我国"双一流"建设中,应始终坚持人才流动的正确导向,主要从五个方面着手:一是要服务国家战略大局,实现人才的合理有序流动;二是要持续通过人才政策倾斜,扶持中西部高校的发展;三是要基于办学和学科发展需求,做到人尽其才;四是要重"引进"更要重"培养",充分发挥青年人才的作用;五是要有更高视野,瞄准引进一流国际人才。高校人才合理有序流动,各美其美、美美与共,才是我国高等教育系统应有的生态,唯有如此,才能促进我国"双一流"建设健康可持续发展。
简介:新课程标准提出:小学阶段计算教学中要注重“算用结合”,即赋予了计算教学新的内涵。文章就小学低年级“算用结合”计算教学策略进行探讨,即创设情境,以“用”引“算”;引导探究,加强衔接;优化算法,找准平衡;巧设练习,促进融合。