基于B/S的唐山师范学院教务管理信息系统的总体设计

以B/S体系结构及WWW技术为基础,结合唐山师范学院教务管理的实践,阐述了唐山师范学院教务管理信息系统的总体设计思路。

数学类本科生就业创业能力培养探究——以唐山师范学院为例

京津冀一体化协同发展为河北省大学生就业创业提供了最佳机遇。结合全国特别是河北省数学类专业的就业实际情况,对提高大学生就业创业能力途径进行了探讨。

专升本院校图书馆文献资源建设研究——以唐山师范学院图书馆为例

以唐山师范学院图书馆为例,分析了专升本院校图书馆文献资源建设存在的问题,论述了解决问题的三条途径。

谈信息技术在数学教学中的应用

随着中国教育乃至世界教育的不断发展，信息技术教育已经受到越来越多的人的重视，成为教育发展的新趋势。在信息技术条件下，数学课程发生了一些实质性的变化。信息技术在数学教学上的应用，使得教学手段、教学方法、教材观念与形式、课堂教学结构及教学思想与教学理论都发生了变革。

突出师范特色的数学教育方法探析

文章对师范数学教育方法进行了一些探讨，主要从革新高师数学教学模式、注重非智力因素的培养、合理选择教学方法、重视徽学新技术的应用、发展学生的数学能力和强调增加实践环节方面进行了阐述。

浅谈信息技术与数学教学整合的教学模式

文章论述了信息技术与数学教学整合的教学模式探讨的重要性,介绍了构建信息技术与数学教学整合中的三种教学模式,用实际课例很好地说明了信息技术对数学教学的重要意义。将复杂抽象的数学概念变得形象生动,提高学生学习数学的兴趣,对于发展学生的“信息素养”、培养学生的创新精神和实践能力有着十分重要的现实意义,使信息技术在数学教学整合中的作用体现得淋漓尽致。

Gdel逻辑系统中F(S)的一个分划及其应用

将王国俊教授于 1997年以来在逻辑系统 W、W、Wk中引入的广义重言式理论加以扩充、推广 ,引入α 矛盾式等概念并应用于G¨odel逻辑系统 G、G、Gn中 ,得到了 (1)在逻辑系统 G、G 中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;(2 )在逻辑系统Gn中 ,对任一公式最多进行n - 1次升级算法即可得到重言式 ;(3)在逻辑系统Gn 中 ,C(Gn) ,in- 1-C(Gn) ,in- 1-T(Gn) ,T(Gn) ｜i∈ { 1,2 ,… ,n- 2 }是F(S)的一个关于同余的分划 ;在逻辑系统 G中 ,C( G) ,(12 ) - -C( G) ,12 -C( G) ,[1- ]-C( G) ,[0 +]-T( G) ,12 -T( G) ,(12 ) +-T( G) ,T( G)是F(S)的一个关于同余的分划。 (4)在 [0 ]-T(R) (R ∈ { G ,G ,Gn} )

L~*系统中的模糊演绎定理

研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,那么Γ A2 →B ;(2 )Γ∪ {A2 } B的充要条件是Γ A2 →B ;(3) (A B) C≈A (B C) (≈表示可证等价 ) ;(4)A B≈B A ;(5 ) A (A→B)→B ;(6 ) A2 →Ak(k∈N) .

谈数学思维与物理教学

物理的实践验证观点经常被数学所运用。同理，数学的严谨推理和周密分析方法也应为物理所借鉴。寻找两门学科的联结点，进行跨学科点拔，对学生举一反三，提高学习效率至关重要。

TM遥感图像在城市绿地信息监测中的应用

城市绿地是生态系统的重要组成部分,在城市环境发展中起着至关重要的作用。介绍了TM遥感图像的特征,并阐述了其在城市绿地信息提取中的应用原理和利用TM影像提取绿地信息的一般过程。结合TM遥感图像在唐山市绿地分布中的应用实际,证明了遥感技术在绿地信息提取中的高效性,直观性,和精确性。

湿地生物多样性指标评价体系研究

以物种多样性、生态系统与景观多样性为基础,确定了物种多样性、湿地面积、保护物种、湿地类型、保护地类型、人类干扰等6项评价指标,建立了湿地生物多样性指标评价体系,并为各项评价指标确定了科学、准确的评分标准,为湿地生物多样性评价提供了科学依据。

关于相关系数ρ的几点注释

从线性变换、线性回归和正态分布理论等方面论述了相关系数ρ被广泛应用的原因,讨论了|ρ|取最小值0和最大值1时的特性.强调了相关系数的局限性及在实际应用中应注意的问题.最后说明引进其它相关性度量指标的必要性.

Gainse-Rescher逻辑系统中的广义重言式理论

将王国俊教授在逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广 ,并应用到了Gainse Rescher逻辑系统 Gr,Gr,Sn 中 .主要结果是 :在逻辑系统 Gr,Gr 中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;在逻辑系统Sn 中 ,对任一公式最多进行n次升级算法即可得到重言式 ;利用可达广义重言式概念和α 矛盾式概念分别在 Gr,Gr,Sn 中给出了F(S)的一个关于 同余的分划 .

Gdel逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统 W,W,Wk中的广义重言式理论进行推广并应用到了Goo¨ del逻辑系统 G,G,Gn 中。主要结果是 :在逻辑系统 G,G中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;在逻辑系统 Gn 中 ,对任一公式最多进行 n次升级算法即可得到重言式 ;利用可达广义重言式概念和 α-矛盾式概念分别在 G,G,Gn 中给出了 F( S)的一个关于 同余的分划。

L~*系统的半对偶形式系统S“非汉字符号”~*

研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .

谈大学数学“研究性学习”教学方法

根据多年的教学经验,本文从教学的角度对大学数学"研究性学习"的教学含义、教学特性以及教学设计等方面进行分析和讨论。

逻辑系统,W,W_k中F(S)的一个分划及其升级算法的性质

研究了逻辑系统W ,W ,Wk 中F(S)的分划问题及其升级算法的一些性质 .分别在W ,W ,Wk 中利用可达广义重言式的概念给出F(S)的一个关于 同余的分划 ,并证明了 :在W (W )中 ,重言式不可能由对非重言式利用升级算法得到 ;在Wk中 ,对任一公式最多进行 k + 12 次升级算法即可得到重言式 .

Gainse-Rescher逻辑系统中的一种降级算法及其性质

在Gainse Rescher逻辑系统 Gr,Gr,Sn 中的广义矛盾式之间建立了一种降级算法 ,并讨论了该降级算法的基本性质 .主要结果是 :在逻辑系统 Gr(Gr)中 ,矛盾式不可能由对非矛盾式进行有限次降级算法得到 ,在逻辑系统Sn 中 ,对任一公式最多次行n-

唐山市植被动态变化遥感监测

基于TM和ETM+遥感图像,分析唐山市绿地分布结构及变化趋势,对唐山市植被信息进行提取,为城市规划提供科学依据及技术支持。利用归一化差值植被指数(NDVI)计算植被信息图;设定合适的NDVI阈值参数和近红外波段的阈值参数,精确判定植被像元,并生成唐山市几个区域的植被信息结果图;利用1999—2009年3个时间段的植被信息图合成植被信息动态变化图,对植被信息动态变化图进行分析。结果表明,近10 a来,唐山市城区以公园为主的植被覆盖面积增加,城南南湖生态建设作用明显,唐山城区范围正在向外围扩展。

浅谈数学教学与多媒体技术

利用多媒体技术辅助数学教学,改变了传统教学中单维的、抽象的、枯燥的教学模式,用形象、直观的教学方式为学生服务,优化了课堂结构.但它只能是辅助教学的一种手段,目的是要提高教学效率,绝不能为了用而用.