离散数学学习之我见

离散数学是现代数学的一个重要分支,是计算机科学中的基础理论的核心课程.离散数学是以离散量的结构和相互间的关系为主要目标,其研究对象一般的是有限个或可数个元素,因此它充分描叙了计算机科学离散性的特点.主要包括数理逻辑,集合论,代数结构,布尔代数,图论等内容.本文针对离散数学难的特点讲了些学习的方法。     

论数理逻辑中的置换与代换

本文介绍了数理逻辑的发展史,论述了数理逻辑中的置换和代换的定义、置换定理和代换定理、二者区别及关系,说明了置换和代换在整个数理逻辑中的地位及重要作用。最后,简单谈了学习数理逻辑对思维和行为的指导作用。     

无尽的对角线

本文尝试以简单的对角线直观,连贯起数理逻辑史上的几个重大结果,一方面介绍其背后的动机、思想,另一方面强调对角线方法的意义。文章重思想,不重技术,或许可为从思想方面理解这些结果提供一条线索。     

中南大学本科生刘嘉忆攻克国际数学难题

数理逻辑在计算机科学和人们的生活中占有重要的地位。中南大学数学科学与计算技术学院2008级本科生刘嘉忆通过潜心研究,成功攻克一个多年未解的国际数学难题。     

高职学生空间认知和数理逻辑能力的研究

对于科学、技术、工程等诸多领域来说,空间认知能力和数理逻辑能力是两项基本的通用能力。特别是在与设计和制造相关的职业中,这两种能力起到了至关重要的支撑作用。本文试图通过检测高职学生空间识别和数理逻辑能力的真实水平,对高职学生这两种能力作出相对明确的界定,探寻高职学生在这两种能力上欠缺的主要症结,对工程图学类课程和高等数学类课程的改革具有相当的参考价值。     

论如何培养职教学生对计算机技术的思维和思想

随着计算机在人类社会的科学发展计算机技术推广和应用越来越广泛，于是熟练应用计算机技术基本知识的能力就变得越来越重要。本文立足于此，主要探讨在教学中如何培养职教学生对计算机技术的思维和思想。     

谈初中生学习数学符号语言的障碍及对策

数学的世界是一个符号化的世界,使用符号语言和在其中引进"变元",是数学科学高度抽象性的要求,而数学符号的使用和创新又推动了数学科学的发展。数学中对于符号的使用,既包括最为简单的数字符号,也包括由现代的数理逻辑研究所发展起来的完整的符号系统。     

高校教研室管理软件的开发

高校校园计算机网络功能的不断完善，为科学地规范高校管理提供了舞台。本文结合基于网络的教研室管理工作的内容和特点，重点阐述了研制开发完成的“高等院校教研室工作管理系统”的设计思想及软件实现的功能。     

从哈佛到柏林 俞大维研习数理逻辑的知识场景

俞大维在中国数理逻辑史上有两项标竿性成就：(1)他在哈佛大学攻读博士学位时,完成由中国人原创的首篇数理逻辑论文;(2)他在获得博士后去柏林游学,在《数学年刊》(Mathematische Annalen)上发表了中国人在此世界顶级期刊上的首篇论文。本文将由此两篇著作的内容与参考文献,检视俞大维是在何种知识场景中孕育出研究成果。俞大维虽然没有在数理逻辑领域讲学、著书或指导学生,但在中国数理逻辑的发展历程里,应该保有值得肯定的先锋地位。     

1998年度受理申请的国家自然科学基金重点项目

数理科学1.群与代数的表示论和代数组合论2.非线性发展方程3.组合数学的理论和方法4.非线性泛函微分方程的理论及应用5.应用统计6.图论7.格上拓扑与非经典数理逻辑8.保险信息处理及精算数学理论和方法     

浅谈CAI课件在教学过程中的利与弊

随着计算机技术日新月异的进步，计算机辅助教学也得到了迅速发展．并成为现代教育科学和教育技术的重要组成部分。CAI也是当前教学改革的一项重要工作．它已经影响并将更有力地促进教学思想，教学方法、教学过程及教学模式的革新。     

人工智能是否可以超越人类智能?--计算机和人脑、算法和思维的关系

计算机硬件的发展使得在将来有一天完全可以造出在计算能力上和人类大脑一样快速的计算机,但是这是否意味着人工智能的发展终于将赶上并超过人类智能的发展呢?本文认为答案是否定的,其原因在于作为计算表现形式的算法不可能实现思维.文章从计算的基本理论、数理逻辑及思维科学的角度出发,在以下两个方面论述了算法对比于思维的局限性思维之非言语性、形式系统之不完全性,并在最后指出只有在逻辑思维领域的某些问题上计算机能够超过人类,但在总体上,计算机永远无法摆脱作为人类工具的命运.     

信息科学 一生执著——访我国计算机科学与技术专家胡名曾教授

胡铭曾 教授，博士生导师，《计算机学报》编委。1935年出生，江苏省江阴县人。1951年进入哈尔滨工业大学学习，1958年毕业于计算机研究生班，同年留校工作。曾任第三届国务院学位办计算机科学与技术学科评议组成员。历任哈尔滨工业大学计算机实验室主任、计算机系统结构教研室主任、计算机科学与工程系主任。     

浅谈小学数学教学的创新意识

数学是一门研究数量、结构、变化以及空间模型等概念的综合性科学,也是培养和锻炼学生数理逻辑能力的基础性科学,相对于其他学科而言,数学学科具有基础性和不可替代性。随着我国教育改革的不断拓展向纵深延伸,数学教育也相应的从应试教育向素质教育转变,而作为九年制义务教育重要学科的小学数学,在素质教育过程中承担了举足轻重的作用。     

议科学思想

对于科学思想的定义和内涵。目前还没有一个比较明确的说法。刘大椿先生在《走近新科技丛书》总序中写道：“所谓科学思想，简单地讲就是科学活动中所形成和运用的思想观念，正是它的存在赋予科学活动以意义。科学思想来自科学实践，又反过来对科学实践具有指导作用，它既是科学活动的结晶，又是科学活动的灵魂。如果没有科学思想，科学实事本身是不会凸现出具有规律性的意义的，如果没有科学思想作红线，再多的科学知识也不过是一些档材料，缺少灵魂的东西。”     

粒及粒命题逻辑

本文定义了粒的概念及相关概念,引入了数理逻辑中五个命题逻辑联结词表,并从粒的角度分析并讨论了粒的联结词,使得粒的命题联结词与数理逻辑的命题联结词吻合地很好,并且应用于数据约简过程中。     

整体观与科学逻辑

以整体观为基础讨论科学逻辑的模式及整体观与逻辑模式的相互关系与融汇。强调了逻辑对于科学的重要性以及当前人天体系成为科学对象的背景,科学思维向整体观复归的趋势;讨论了基于自然语言的符号逻辑,基于数学语言的数理逻辑,以及基于图象语言的象理逻辑的不同特征及相互关系等,并分析指出直观认知对于逻辑推理的需要;讨论了基于元极图模型的象理逻辑,认为其逻辑推理功能包括无极之生,太极之运,皇极之化,以及皇极之中皇极     

科技馆网站建设的现状、问题与对策

随着先进的计算机技术、网络技术和通讯技术在各类科学技术馆应用的日益普及,越来越多的科技馆开始通过Internet向大众提供网上服务,通过科技网络展厅向观众介绍科技馆的各类展览及大型活动,从而使科技馆通过网站的形式来弘扬科学精神,普及科学知识,传播科学思想和科学方法。目     

议“科学精神”

科学的本质在于认识客观世界，探索真理。科学本身包括科学知识、科学精神、科学思想和科学方法4个方面，它们是互相联系、互相交融、互相促进的。科学知识是正确反映客观世界的认识，科学方法是探寻客观事物规律性的途径、手段，科学思想是科学的意识反映；科学精神是尊重客观事实、崇尚人类理性的态度，是科学思想、技术知识体系的灵魂。科学精神体现在科学家的良知中，内化在科学方法中，凝集在科学思想中。渗透在科学实践中，它给予科学和社会发展以基础性和根本性的作用与影响。     

关于大学计算机基础教学改革和实践的探讨

通过大学计算机基础教学改革和实践的探讨,目的是为了根据现在教学的实际状况,制定新的计算机基础教学改革方案。我国高校的计算机水平已经步入到了一个新的阶段,更趋于科学和创新的计算机基础教学,新的教学改革的思想让教学更具有实用性和不可替代性,在培养学生人才方面也更具有深远的作用。是现在计算机基础教学不可或缺的一部分,同时,大学计算机基础教学改革和实践还需要更多的探讨和研究。