现代教育技术在“数理逻辑”课程中的应用

基于"数理逻辑"课程的教学特点,利用现代教育技术的教学手段,解决按照传统的教学方式讲授"数理逻辑"课程中两个比较突出的问题。从而提高学生们学习"数理逻辑"课程的兴趣,提高学生们独立思考、抽象思维和动手解决问题的能力,提高该课程的教学质量。     

数理逻辑的发展及未来趋向

近代数学理念的复兴和数学工具的应用推动了自然科学的巨大发展,为数理逻辑的产生提供了思想契机。数理逻辑源于莱布尼茨提出的思维可计算构想,其展开和深化是建立了命题演算和谓词演算等公理系统和对形式系统的元层次研究。数理逻辑未来发展将扬弃纯形式发展阶段,达到形式与内容在更高层面的统一。     

重视发散思维 提升数学素养

数学是思维的体操。数理逻辑智能是加德纳多元智能理论中的一种,它在数学学科中的表现方式就是计算和逻辑推理,其核心智能就是对学生思维能力的培养。在数学活动中,任何有助于学生思维能力培养的活动都有助于学生数理逻辑智能的发展。我们通常利用"一题多解"、"一题多变"、"多题归一"、"转换问题"、"设计开放性问题"等方法,培养学生思维的广阔性、深刻性、灵活性和创造性,从而促进学生这一智能的发展。【案例1】在教学苏教版第十册"分数的大小比较"这一内容时,我就利用"一题多解"的方法来培养了学生思维的广阔性。     

研究辩证逻辑是当前社会实践提出来的迫切任务

逻辑学是研究人类思维的科学。迄今为止研究思维的逻辑学,已有形式逻辑(又称普通逻辑)、数理逻辑与辩证逻辑。形式逻辑与数理逻辑的科学体系已初具规模,辩证逻辑这门科学尚处于探索和创立的阶段。     

从数理逻辑看传统三段论

数理逻辑,又称现代形式逻辑,是传统逻辑的继承和发展。它与传统逻辑一样,都是以思维形式、思维规律以及一些简单的思维方法作为研究对象。不同的是,数理逻辑是用形式化的方法来进行研究。这种形式化表现在用符号把逻辑思维表达为逻辑演算。因此.它比传统逻辑更为严谨、更为丰富。从这个意义上来讲,数理逻辑代表了形式逻辑发展的新阶段。     

关于批判性思维的批判的批判——与王路教授商榷

＂王文＂以数理逻辑否定普通逻辑、批判性思维逻辑、非形式逻辑是以小逻辑观否定大逻辑观;＂王文＂混淆传统逻辑与普通逻辑,混淆数理逻辑与现代逻辑,其＂以数理逻辑完全取代普通逻辑＂的错误主张偷换为冠冕堂皇的＂以现代逻辑取代传统逻辑＂的口号;绝对不能以数理逻辑取代普通逻辑,＂王文＂所提出的以数理逻辑取代普通逻辑的种种理由都是不能成立的。     

数理逻辑在生活中的应用研究

数理逻辑是使用数学的方法来研究推理中前提和结论之间的关系.数理逻辑在计算机科学和人们的生活中占有重要的地位,发挥着重要的理论指导作用.本文从"问路问题"和"排队论"两个方面对数理逻辑在生活中的应用进行了研究,指出了数理逻辑与人们生活的相互关系.     

论形式逻辑与数理逻辑的共性与联系——与杜岫石先生商榷

世界上每一个事物都是个别与一般的统一,个性与共性的统一,形式逻辑与数理逻辑也是如此。形式逻辑与数理逻辑各自有着特殊的矛盾,各自所使用的语言工具不同,形式逻辑主要使用自然语言,数理逻辑主要使用人工符号语言,它们各具有个性;但是,事物又总是相互联系的,它们都是研究思维形式结构及其规律的科学,它们之间存在着共同的本质,它们有着共性。吸收数理逻辑的有益成果来丰富和发展形式逻辑无疑是非常有意义和切实可行     

并非每个孩子都适合学奥数

"小学要不要让孩子学奥数?"其实这是一个关注度很高的问题,尽管有些家长执意要让孩子学奥数,但心里还是打了个问号的。中国社会调查所曾经有过调查,强迫数理逻辑智能不强的孩子学奥数,会破坏他们正常的思维,导致心理问题。奥数作为竞赛数学,其思维方式和普通数学有很大差别,功能重在开拓思维和选拔人才,     

在操作活动中学习数学

数学是一门高度抽象概括和逻辑性很强的科学,幼儿的思维具有具体形象性的特点,数学的抽象性和幼儿思维具体性的矛盾,造成幼儿学习数学的困难。著名心理学家皮亚杰认为数理逻辑有一系列运算,这些运算并非从所知觉到的事物的特征中直接抽象而来,它最初来源于幼儿对客体材料的具体操作动作,是主体从作用于客体及动作间的相互协作中抽象出来的。幼儿必须通过自己对客体的动作来发展数理逻辑概念,     

制约逻辑与情报推理

逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。人工智能研究以正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反复的恒真的真值函数。因而建立在这种逻辑理论基础之上的人工智能专家系统并不能真正实现从已知到新知的必然过渡。情报推理仍需要寻求一种更合适的逻辑理论工具。     

人工智能算法的生物学视角:从进化论到遗传算法的课堂实践

"人工智能+基于心智的生物学"课程的总体设计是从生物学视角来解释人工智能的算法逻辑,包括从生物学看终极算法、从计算机科学看认知神经科学、仿生人工智能、心智社会四大模块。"从进化论到遗传算法"是"从生物学看终极算法"模块的第3课时,该课时教学通过多足行走器等可视化算法内容培养学生对遗传算法的兴趣,通过类比达尔文的进化论使学生理解遗传算法的架构和逻辑、培养他们的跨学科思维能力,通过让学生模拟遗传算法的表演和上机实践过程进一步加深他们对遗传算法概念的理解、培养他们的信息意识和计算思维等。     

逻辑-数学智能及其培养--来自多元智能理论的关注与思考

在加德纳的多元智能理论中,逻辑数学智能是指人能够计算、量化、思考命题和假设,并进行复杂运算的能力。强调了运用逻辑一数学思维解决问题的能力。逻辑数学智能是可以改变、训练和发展的,在数学教学中可以通过强调学生自信心的建立、数学教学生活化、学习环境的创设、创新精神和实践能力的培养、真正理解的“双基”教学以及多媒体技术的参与等来培养和发展学生的逻辑数学智能。     

经典逻辑在人工智能知识推理中的应用

知识推理及其方法是人工智能领域的重要研究内容。研究了将经典逻辑应用于人工智能中进行知识推理的方法。     

早期兵学文化与孙子军事情报思想的形成

在中国军事情报思想史上,《孙子兵法》的情报思想被公认为是第一个系统的军事情报理论体系。然而孙子情报思想的形成并不是突兀而成的,而有着深远的历史背景,与早期战争实践、古代哲学的水平相适应,尤其得益于早期兵学文化的深厚积淀。     

哲学"应用"的理论体认

哲学的可能“应用”源于人的“超越”追求,超验的努力之所以应该召唤,因为“有形”的“应用”在“无形”的“思”中生成。哲学关注时代的命运,在“应用”层面上完善时代精神,哲学的“应用”不会栖居在实践的世界之外。哲学“应用”的时代价值无法与时代精神分离,因为形上智慧以理想的旨趣寓“解释世界”于“改造世界”之中。哲学的反思使类主体创造性地赋予“应用”范畴以“意义”,在与时俱进地发展社会主义市场经济的进程中,哲学“应用”的“意义”重大。     

逻辑数学智能及其对教育的启示

加德纳提出的多元智能理论是关于人类认知范畴最完整的论述。其中的逻辑数学智能是指有效运用数字和推理的能力，强调了运用逻辑数学思维解决问题的能力。每个人身上都蕴藏着不同量的数学潜能，教师的职责就是创设条件，让学生展现自己的逻辑数学潜能，提高运用数学思维解决实际问题的能力。     

“算法”教学浅议

高中新课改在数学课程中增加"算法基础"的主要目的是希望借算法设计对学生进行思维训练,达到提高学生逻辑思维能力的目的。在教学过程中我们应关注从传统的解题方法抽象出算法的过程,强调思考,强调抽象、总结、归纳,不要过于关注问题本身。同时在设计算法时注意通用性,注意方法的简单性而非计算简单,注意不要过于追求技巧。     

人工智能时代研究生知识观的异化与重塑

人工智能时代研究生的知识观需遵循人工智能的技术逻辑与研究生教育的精英逻辑,这客观上要求研究生具备以高深与广博为内核的知识内容观、以系统化与贯通化为要旨的知识结构观、以稳定性与精英性为着力点的知识价值观。当前,人工智能引发的知识变革诱发研究生知识观发生某种程度异化,主要表征为显性知识遮蔽缄默知识、同质性知识阻隔异质性知识、海量碎片化知识消解系统知识、泛滥的“软知识”侵蚀“硬知识”。为此,优化研究生知识教育、实现知识学习方式转向、构建新知识素养当是人工智能时代重塑研究生知识观的关键。     

应用"几何画板"提高聋生数学能力

教育信息化是现代聋校发展的必然趋势。"几何画板"的直观形象、动态演示等特性可以在调动聋生学习数学的积极性,在提高聋生的逻辑思维能力方面发挥重要作用。利用"几何画板"不但可以解决聋校数学教学中的一些难点,还能够在教学中渗透数学思想,训练数学思维。