用特征列证明推理的一个方法

将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。     

数理逻辑的若干应用

研究了数理逻辑的若干应用,即利用数理逻辑证明某些数学证明方法的合理性,证明集合论中的某些关系,证明数学分析中的"一致"与"处处"的关系,证明某些推理形式的正确性,证明命题的等价性及在社会科学中的应用.     

采用立体教学方法,提高生物化学教学质量

生物化学是食品科学专业的主干基础课，其特点是：概念模糊、理论抽象、代谢繁杂、内容枯燥，对学生的想象力、记忆力和逻辑推理能力要求较高．这对基础差的高职学生而言，学习起来困难较大．我们在多年的生物化学教学中，采用立体教学方法，在有限的课堂教学中注重引导学生掌握科学的学习方法，使其养成主动探索、勤于思考的学习习惯，能够将教与学延伸到无限的课堂之外，收到事半功倍的效果．     

论如何在化学教学中培养学生的记忆能力

化学教学不仅要向学生传授化学知识，更重要的是培养学生的能力．其中培养学生的记忆能力是保证学生学好化学的基础．本文从在化学教学过程中要注意启发式教学，掌握正确的记忆方法，加强直观教学等诸方面论述了如何培养学生的记忆能力．     

计算机网络教学改革探讨

计算机网络是计算机学科的一门基础课程和核心课程。该课程的学习目标是使学生掌握基本的计算机网络知识、网络系统的组成结构和原理以及网络应用，使学生具有一定的网络系统构架能力和分析能力，能够维护和管理网络系统并具有一定的网络开发能力．为将来从事计算机网络应用或研究工作打下坚实的基础。     

轻工院校生物化学教学探讨

在轻工院校中生物化学是食品工程和发酵工程专业的一门主要基础课，根据几年的教学实践，感到这门课的教学有着一定的特殊性．它既不同于理科生物学专业的生物化学课程，在学习内容和研究方法上，又与系统性、逻辑性较强以推理计算为主的高数等课程有差异．刚一接触生物化学时，学生会感到内容杂、层次乱、没重点、难记忆．针对这种情况，为了提高教学质量，培养学生的记忆能力、自学能力、综合能力和实际动手能力，我们在教学过程中，从以下几方面进行了改进．1合理选用教材，适当安排教学内容对于一门课程，教材是提高教学质量的重要环节…     

基于项目驱动的信号与系统课程立体式教学

在电子信息学科中，信号与系统是重要的专业基础课，在整个课程安排中，起到承上启下的作用．该课程本身具有内容较抽象、讲授过程复杂、理论性强、兼顾动手运用能力等特点．在讲述这类课程时，由于部分学生基础较差，学习主动性不高，学习效率低，严重影响了教学质量．因此，从提高学习积极性角度出发，引入立体式教学模式．结合仿真软件与硬件实验，设置与知识相关项目，通过学生自主研究、分析、设计与实验，验证课程内部分抽象的理论定律．从而促进学生发现问题、解决问题、分析问题、实践应用能力的培养，提高学生学习兴趣．     

数学证明教学探讨

本文共分三部分,第一部分诠释了数学证明的意义;第二部分详细地阐述了数学教学中常用的证明方法;第三部分就如何培养学生的数学推理能力进行了论述。     

经济地理学教学方法初探

经济地理学是地理学的重要分支学科之一，在许多高校专业课程设置中占有十分重要的地位．经济地理学教学必须使学生掌握分析与解决经济地理问题的基本思维方式与方法，培养学生的创造性思维和能力，为后续的课程打下良好的专业基础．笔者运用教育心理学的一些原理与方法，不断尝试一些新的教学方法和手段，取得了较好的教学效果．     

“计算机基础”课程实用教学改革

本通过解析“计算机基础”课程的作用和目的分析，确定出教学的课时分配及讲述方法，通过重点学习及实用教学使学生在有限的学时内熟练掌握计算机的基本操作和运用方法，并掌握一定的操作技巧及深入学习的基本能力。     

连续命题逻辑及其应用(二)

给出了连续命题逻辑的基础 ,命题逻辑变成了它的特命例 ,并给出了某些应用     

数理逻辑中主范式的存在性

数理逻辑中关于析取范式与合取范式的求法有两种,一种是利用真值表直接写出,另一种利用命题公式的等值演算得出.使用数学归纳法,从归纳于逻辑联结词的个数和归纳于命题的个数两个方面,给出了析取范式与合取范式的存在性证明.     

命题逻辑中的可表性

本文给出了可表性概念．应用可表性，处理了命题逻辑符号间的关系．     

0—1多项式与命题逻辑

本文提出了0-1多项式,并将命题逻辑公式转化为0-1多项式.     

非线性反问题求解的参数微分正则化方法

讨论了非线性反问题的求解问题,将具有大范围收敛特性的同伦方法引入到非线性反问题的求解之中,籍此克服非线性反问题常规求解过程中局部收敛的缺陷;结合吉洪诺夫正则化方法,以解决计算Frechet导数时病态的问题.在此基础上,提出了一种用于求解非线性反问题的参数微分正则化方法,给出其构造过程,并且证明了参数微分正则化方法解的存在性和收敛性.     

关于实变函数论中某个引理证明的一个注记

对郑维行在《实变函数与泛函分析概要》中的某一引理的证明进行修改,给出了严格的理论证明,维护实变函数论这门课程的严密性.     

自主设计电表改装实验的研究

大学物理实验室为学生提供基本的电学元件,学生在掌握了一定理论基础知识之后,自己设计实验方案和实验的电路图,将1 mA电流表改装成多量程的电流表和电压表,学生自主完成实验的全过程.自主设计创新实验的开设激发了学生学习的主动性,拓展了学生的思维能力,培养了学生的创新能力.     

民事举证时限制度价值与适用问题研究

举证时限制度是我国民事诉讼领域里的一项崭新制度，从法理角度加强对这项制度的分析和研究是其良性发展的理性基石，对于其在司法实践中的运用和完善具有积极的意义。     

论体育语言与逻辑思维

体育语言因逻辑思维不同而导致观点和结论各异.鉴于当今逻辑学的最新发展和国内外学术研究的共识,文章指出:自然语言逻辑是研究体育语言问题的最佳方法论基础,应大力开展自然语言逻辑研究.     

一类复合钟控序列

试图给出一类伪随机、变采样的钟控序列模型——复合钟控序列,并给出了它在某种条件下的极小多项式,从而得到了它的复杂度和周期.