数理逻辑
- 数理逻辑智能和认识自然智能理论指导下的幼小衔接教育
重要课题。在数理逻辑智能和认识自然智能理论的支持下，幼小衔接教育策略逐渐得到了广泛认可。数理逻辑智能和认识自然智能理论强调不同的智能类型在不同的情境下都具有重要的作用，因此将数理逻辑智能和认识自然智能理论与幼小衔接教育策略相结合，能够更好地促进儿童全面发展，也更有利于实现幼小衔接教育的有效推广。一、幼小衔接教育的内涵发展历程幼小衔接教育是指为了让儿童更加平稳地从幼儿园到小学阶段过渡而设计的一种教育方式。它旨在解决儿童在学习方法、知识结构、学习习惯等方面的差
小学科学 2023年16期2023-08-09
- 民国时期数理逻辑学在中国的传播与本土化
10023)数理逻辑(mathematical logic)是用形式化方法研究推理、证明等问题的学科,其本质是利用数学计算方法来代替人类思维过程中的逻辑推理过程。本研究运用史料分析方法,讨论数理逻辑学在中国的传播与发展历程,从史料学的角度来探讨中国哲学家、数学家对现代数理逻辑学的贡献与数理逻辑学本土化的问题及特点,并以此纪念罗素访华100周年。数理逻辑的产生首先应归功于德国哲学家与数学家莱布尼茨(G.W.Leibniz,1646—1716年)。1666年,
浙江科技学院学报 2022年4期2022-11-23
- 现代音乐中的数理逻辑思维特征现象
学的关系以及数理逻辑的本质与音乐的联系后，笔者欲从数理逻辑本体出发，探求其结构思维与20世纪重要音乐理论的关联，通过演绎推算等数学研究手法,深层挖掘数理逻辑结构思维特征在当代音乐结构中的内涵。一、数理逻辑(mathematical logic)的形成与发展(一)数理逻辑的基本内容数学(Mathematics)是研究数量、结构、变化以及空间等概念的一级学科,是人类对事物的抽象结构与模式进行严格描述的通用手段；数理逻辑又称符号逻辑、理论逻辑，它既是数学的分支，
轻音乐 2022年10期2022-10-22
- 数学算法在计算机编程优化中的作用
脑软件之间有数理逻辑计算机算法。合理使用数理逻辑算法规则可以优化计算机程序设计，进一步有效提高常用软件列表的逻辑性和有效性。1 数理算法规则的一些概述计算机技术是以数理逻辑为基础持续发展起来的。数理逻辑算法规则通常可以理解为数理逻辑归纳法，它是数学科学专业领域计算方法的概略。充分利用数理逻辑算法规则可以最大限度地提高工作效率。同样，数学算法规则对于计算机程序子程序的最终结果也至关重要。数理逻辑算法规则的驱动机构作用是数学函数。其中的实现尤为重要，数理逻辑算
河北农机 2021年2期2021-12-01
- 莱布尼茨普遍语言思想与《周易》象数思想比较
，包含原始的数理逻辑思想。关键词：莱布尼茨;普遍语言;《周易》;象数;汉字;数理逻辑莱布尼茨从学生时代开始，终生对汉字和八卦保持强烈的兴趣。他在晚年发表了论文《论单纯使用0与1的二进制算术——兼论二进制用途以及伏羲所使用的古代中国符号的意义》，自认为揭开了伏羲之谜，理解了伏羲思想。莱布尼茨所理解的伏羲思想是指使用二进制方法演算符號文字来表达意义的思想，这与他的普遍语言思想不谋而合。用数学来演算符号或文字的方法在我国古代称为象数，符号或文字是万事万物之象，事
江淮论坛 2021年4期2021-09-23
- 殷商甲骨文“士”运算黄金分割率
用墨子的名辩数理逻辑，去探索殷商甲骨文的数理的基础上，进一步探究其黄金分割率。重点依据殷人的字形思维，分析“士”“书”“中”“日”“旬”“周”“片”“反”等字形与《六十干支表》中的数理，并进行数理运算，计算出黄金分割率数值0.618。这是第一书之第一楮木之“版”的长宽之比“0.618：0.382”，同时又是商王第一次籍田中的第一旬的昼夜之比与螺旋线，又是“中”字的第一次数理运算，还是《六十干支表》的第一次“倒版”等，所以黄金分割率又关联完全数六、集合论函数
书画艺术 2021年1期2021-03-24
- 关于数理逻辑发展史及公式理解的教学实践
摘 要：数理逻辑是离散数学的一个重要组成部分，学习数理逻辑对于学生学习计算机相关理论，掌握数学证明方法以及逻辑思维能力具有重要的意义。本文针对数理逻辑内容抽象以及公式难于记忆等问题，结合自身教学实践，对数理逻辑的发展历史及应用进行了梳理，对基本等值式及推理定律的记忆方法进行了介绍，能够帮助学生更好的学习与理解相关知识。关键词：数理逻辑 离散数学 基本等值式 推理定律中图分类号：G642
科技创新导报 2020年16期2020-08-13
- 卡尔纳普数理逻辑的认识论价值研究
家卡尔纳普的数理逻辑在科学技术哲学上的应用，尤其是深入探究卡爾纳普代表作背后的认识论基础，进而总结出数理逻辑的局限性，让我们认识到辩证逻辑的强大生命力。本文运用了比较分析和文献例证的研究方法来深刻理解数理逻辑的认识论意义，通过综合比较，发现数理逻辑本质上仍然是形式逻辑。通过进行历史维度的纵横联系，本文发现辩证逻辑是人类逻辑思维的最高形式。关键词：数理逻辑;认识论;归纳;演绎1 数理逻辑与逻辑发展概况我们知道，逻辑作为人类的思维形式，有着几种不同的类型。他们
锦绣·上旬刊 2020年2期2020-05-06
- 早期怀特海的“逻辑”科学观
;但这一围绕数理逻辑基础研究的长期合作，对早期怀特海哲学的萌动影响是永远无法磨灭的。因此，我们不得不考虑：“逻辑”（数理逻辑）是如何潜藏在怀特海早期科学观中。关键词：形而上学;数理逻辑;观念世界1科学的“独立宣言”相对而言，独立是指对一定领域的直接支配和完全主导。然而，独立并不是指要自绝于一切，正如价值判断是科学产生的动机。只不过，审美与道德等价值论要素并不直接构成科学研究的范围。因此，将价值论排除在科学领域之外是比较容易的;而对本体论——“即真实存在之本
青年生活 2020年7期2020-03-30
- 菜布尼茨逻辑学的学术成就、历史影响和理论得失
而且还开创了数理逻辑.在西方逻辑史上产生了深广影响。他的逻辑学的缺失主要在于其拘泥于内涵逻辑和内在关系说。不过.他对外延逻辑和外在关系说的宽容态度又使其有望在西方逻辑的未来发展中扮演一个先知的角色。关键词：莱布尼茨;古典形式逻辑;数理逻辑;内涵逻辑;内在关系说中图分类号.B81-0 文献标识码：A 文章编号：1000-5099（2020）02-0001-10莱布尼茨不仅在西方哲学史上享有崇高的地位，而且在西方逻辑史上也享有崇高的地位。鉴于我国莱布尼茨逻辑思
贵州大学学报（社会科学版） 2020年2期2020-03-30
- 浅析数理逻辑的历史发展过程
将系统的介绍数理逻辑的发展历程，以及其对计算机科学发展带来的启迪意义，通过对数理逻辑发展的历程，了解其相关的背景内容，加强并加深我们对计算机科类的比较全面的详解，尤其是理论知识部分，而并非局限于将其看为是一个技术类或者工程类的科目。并通过一些历史的事件，获悉在计算机科学中的一些基础的思维类型和问题。[1]关键词：数理逻辑 计算机 历史 发展一、定义所谓数理逻辑，即是用数学的方式来分析逻辑或形式逻辑的一门学科。它是属于数学类研究推理的学科，它着重点在于推理的
新教育时代·教师版 2019年37期2019-12-23
- 计算思维角度下的离散数学课程教学思考
括离散数学、数理逻辑、计算理论等）方面的教学经历（包括本科生和研究生）对上述问题形成的原因进行了一些分析和总结。从教师的角度来看，部分教师的教学方法和手段以及教学理念可能存在一些问题。关于教学方法和手段，由于授课时间很紧，而课程内容多，课堂上不可能讲授所有的内容，因此教师在授课时只能讲授一些基本内容，剩下的内容留给学生课后自学或作为作业。关于教学理念，教师往往强调的是离散数学作为一门理论性课程，是为今后学习其他课程打基础，掌握好教材内容最为关键，至于离散数
计算机教育 2019年1期2019-12-20
- 基于核心素养 培养数理逻辑能力
学做起。培养数理逻辑是提高学生数学核心素养的有效措施，不仅可以锻炼学生的抽象思维，而且能提高学生的数学应用意识。數学计算教学的核心素养包括培养学生严谨、准确地分析及解决问题的能力。一般而言，学生的计算能力较弱，很大一部分原因是算理模糊。很多的算理是很抽象的，不妨先将抽象的数学运算直观化，通过摆弄数学教具了解数学运算规律，当学生在头脑中建立了数学图式之后，再进行数学运算，就会形成图像表征，数学计算也就不难了。我国传统教育历来重视运算技能的训练，学生在六年数学
山西教育·教学 2019年8期2019-09-10
- 益智器具在小学数学教学中的运用实践
学教学质量、数理逻辑智能器具在数学教学中的应用、空间益智器具在小学数学中的应用这几方面进行深入研究和分析，其目的在于加强益智器具在小学数学教学中的运作效率，旨意为相关研究提供参考资料。【关键词】益智器具 小学数学教学 数理逻辑 空间益智在素质教育发展背景下，社会及国家越来越重视教学教育，并对教学提出更加严格的要求。现在新课程标准明确提出学生要积极主动的掌握数学知识，在数学教学中能够不断培养学生的思维能力、创新能力和智力。然而在小学数学实际教学中，仍存在诸多
中国校外教育(上旬) 2019年7期2019-08-18
- 数理逻辑视角下无罪推定原则在刑事诉讼活动中的适用
不言而喻。从数理逻辑视角分析无罪推定原则在我国刑事诉讼活动中的适用，是完全可行的。原因有四：其一，人權保障在我国已深入人心，为完全确立无罪推定原则提供了思想基础;其二，经济发展为完全确立无罪推定原则提供了物质保障;其三，配套制度为完全确立无罪推定原则提供了有力支撑;其四，社会环境为完全确立无罪推定原则提供了良好氛围。关键词：无罪推定;数理逻辑;定理;审判中图分类号：D925.2 文献标识码：A 文章编号：CN61-1487-（2019）07-0070
西部学刊 2019年7期2019-07-11
- 浅谈数理逻辑教学
安【摘 要】数理逻辑已被越来越多的高校作为必修课和选修课。作为研究不确定性推理和非经典逻辑方向的必修课，搞好数理逻辑教学尤为重要，本文是在听取王国俊教授的讲课后结合同学的学习体会分别从选教材，阐明学习意义，课堂教学等环节论述了这门课程的教学。【关键词】数理逻辑;不确定性推理;非经典逻辑;教学中图分类号： B81 文献标识码： A 文章编号： 2095-2457（2019）04-0109-002DOI：10.19694/j.cnki.issn2095-245
科技视界 2019年4期2019-04-20
- 离散数学内容的授课顺序探讨
文教材），对数理逻辑、集合、关系、函数、图论、代数系统等6块离散数学的核心内容展开探讨。 文献[7]未包含集合内容，文献[8]未包含函数内容，文献[9—10]未包含代数结构内容。这4部教材由于未能全面覆盖上述6部分核心内容，在后续分析时予以舍弃，而仅对剩余的10部教材进行分析。经分析整理可归纳出5种内容顺序（见表1）。为突显排序效果，我们将代数系统与布尔代数统一为代数结构。表1中的顺序仅表示内容设置的先后顺序，不代表章节序号，比如数理逻辑大都分为命题逻辑、
计算机教育 2019年3期2019-04-01
- 张申府对数理逻辑在中国早期传播的贡献①
别是对罗素的数理逻辑和爱因斯坦的相对论等方面，不但是最初的介绍者，而且在研究上也有很深的造诣.这样的盖棺定论使我们相信作为数学家的张申府需要我们更多的关注，而使他成为一名数学家的，正是他在数理逻辑方面的成就.1 张申府生平张申府出生于书香门第之家，儿时接受的是私塾教育.1908年，张申府以第一名的成绩考入公立顺天高等学堂中学班，1912年考取了北京高等师范学堂(北京师范大学前身)附属中学班，次年考入北京大学预科班.因成绩优异，只念了一年预科班的张申府被北京
数学通报 2019年10期2019-02-18
- 张申府的逻辑观探析
“逻辑学”“数理逻辑”“西洋哲学史”等课程,同时在北京大学每周讲授两小时“西方逻辑”和“西方哲学史”;1948年应邀在华北学院任教,讲授“逻辑”与“西洋哲学史”。此后因政治原因,张申府淡出政坛与学术界,也不再承担逻辑学的教学工作。以张申府和金岳霖1932—1933年在清华大学文学院哲学系开设、主讲的“普通论理学”课程为例,该课程“上学期以讲演绎法为主,下学期以讲归纳法为主”[4]244,涉及的是传统逻辑的内容。而张申府独立承担的“数理逻辑”课程“对数理逻辑
沈阳大学学报(社会科学版) 2019年3期2019-02-09
- 论数学思维的培养
；数学文化；数理逻辑；数学意识数学思维是一种经过系统培养建立起来的逻辑严密的推导能力，是人类在感性认识的基础上，运用比较、分析、综合、归纳、演绎等思维的基本方法.在我们的基本知识学习阶段，如从小学到高中，数学思维的培养主要是通过理解并掌握数学课程的内容，不断地对具体的数学问题进行推论与判断，从而逐渐获得对数学知识本质和规律的认识能力.在此基础上，建立了我们认识客观世界、适应现代社会各种社会规则、理解现代科学技术与生活关系的基本认识论体系.一、数学思维与现代
数学学习与研究 2018年12期2018-08-17
- 档案学专业数理逻辑类课程引入现状调查与分析
内档案学专业数理逻辑类课程引入现状，针对体系化引入数理逻辑类课程面临的三个障碍，即课程精简的趋势、课程开设成本增加和学生选课意愿不高，提出了相应地解决对策。关键词：档案学高等教育课程计划数理逻辑课程大数据时代下的档案学只有两个选择，要么主动学习研究，要么被动等待改造。大数据研究是以数学知识、统计学知识、信息处理技术和计算机软件技术知识等为集成基础的研究，其在大规模数据信息处理研究上具有独特优势。尽管目前业界已大力开展档案信息化建设，不断推进档案数字化，但档
北京档案 2018年6期2018-07-11
- 浅尝人工智能
：人工智能；数理逻辑；机器学习一、引子人工智能在科学上不是一个生疏的名词，由于近期阿尔法围棋机器人在与人类顶级职业棋手的对决赛事上，战绩斐然，从而再次唤起了公众对人工智能的高涨热情。不仅如此，考试答题、新闻写作、无人驾驶汽车、人脸识别等等，人工智能涉足众多领域，发展前景令人期待。人工智能究竟是什么？这是一个广阔且深邃的话题，这里尝试着做一个简明的阐述。概括地讲：人工智能的目标是实现计算机像人类一样思考和行动。二、从计算谈起人类一直梦想把自己的思维数学化，即
科技风 2018年2期2018-05-14
- 霍菲尔德法律概念的原点及其逻辑展开
和证成，并以数理逻辑的方法进行道义逻辑的推理，以符号表和维恩图探析霍菲尔德法律关系的自洽性。更进一步，在信息时代，将法律概念对应的裁判要素转化为二进制语言与Unicode编码，以实现对海量案件进行检索与大数据分析，实现人工智能的法律推理，乃至辅助个案裁判，将传统裁判中的定性分析与司法智能化的定量分析相结合，可谓前景广阔。[关键词]霍菲尔德；法律概念；数理逻辑；司法智能；计算法律学[中图分类号]D903[文献标志码]A[文章编号]1672-4917（2018
北京联合大学学报（人文社会科学版） 2018年4期2018-05-14
- 深切悼念王世强教授
，专于代数、数理逻辑和数学教育，出版著作5部，发表论文80多篇，其中有18篇刊发在《数学通报》．中国共产党优秀党员，我国著名数学家，北京师范大学数学科学学院王世强教授于2018年2月3日7时10分因病在北京逝世，享年91岁．王世强1927年3月30日生于河北石家庄市，祖籍河北省深州市相家庄(现衡水市)．1944年以同等学力考入兰州西北师范学院(现称西北师范大学)数学系．抗日战争胜利后于1946年复校至北平师范大学数学系，1948年本科毕业留校任实习讲师，1
数学通报 2018年3期2018-04-01
- 应用型本科院校《数理逻辑》课程教学探讨
该文分析了《数理逻辑》课程的特点以及应用型本科院校在本课程教学过程中存在的问题，分析了学生对本课程缺少学习动力的原因。提出以“激发兴趣、理论为主、实践为辅、理实结合”的教学模式。将本课程中的知识点与计算机专业其他专业课的知识点相结合，激发学生对本课程的学习兴趣，继而引出本课程的重要性，最大限度地引起学生的创造性和主观能动性。最后该文利用教育心理学的方法介绍了在本课程教学过程中的一些改革措施的探讨，为应用型本科院校计算机专业在理论课程教学方面提供一个可行的探
电脑知识与技术 2018年3期2018-03-21
- 论数学思维的培养
；数学文化；数理逻辑；数学意识数学思维是一种经过系统培养建立起来的逻辑严密的推导能力，是人类在感性认识的基础上，运用比较、分析、综合、归纳、演绎等思维的基本方法.在我们的基本知识学习阶段如从小学到高中，数学思维的培养，建立了我们认识客观世界、适应现代社会各种社会规则、理解现代科学技术与生活关系的基本认识论体系.一、数学思维与现代社会生活现代社会生活中，从生活理财到职业规划，以至于对现代社会的社会管理等方面的理解，都离不开逻辑周密的数学思维.如在城市中驾车穿
数学学习与研究 2018年4期2018-03-20
- 数理逻辑中演绎推理的图解法
散数学课程中数理逻辑部分的教学经验，总结数理逻辑中演绎推理的要点和难点，利用图解法帮助学生更快速简单地掌握推理演算的技巧.【关键词】 数理逻辑;命题公式;谓词公式;演绎推理一、引 言数理逻辑用数学的方法来研究逻辑问题，也称作是符号逻辑，把逻辑中的推理过程像数学一样利用公式来进行计算，从而得到合理正确的结论.当我们已经了解了逻辑运算的对象—命题和运算符号—逻辑连接词，还有谓词逻辑当中把命题进一步细化出个体词、量词和谓词后，演绎推理就该是接下来要学习的重点和难
数学学习与研究 2018年23期2018-03-04
- 现代教育技术在“数理逻辑”课程中的应用
要：基于“数理逻辑”课程的教学特点，利用现代教育技术的教学手段，解决按照传统的教学方式讲授“数理逻辑”课程中两个比较突出的问题。从而提高学生们学习“数理逻辑”课程的兴趣，提高学生们独立思考、抽象思维和动手解决问题的能力，提高该课程的教学质量。关键词：现代教育技术；应用；“数理逻辑”课程随着逻辑学的发展，特别是近年来人工智能的发展，越来越凸显了数理逻辑的重要性。“数理逻辑”课程是逻辑学专业乃至哲学专业中的一门核心课程之一，同时它也是一门抽象的理论课程。长期
中国大学教学 2018年12期2018-02-22
- 悲加欢不等于零
一二。如果用数理逻辑来推理，人生的幸福指数，自然只是负数，而且还是一个大大的负数。那么，人生就根本没有幸福指数可言，只有“痛苦指数”了。但人生毕竟不是一道数学题，人生的逻辑也不是简单的数理逻辑所能概括的。人生的逻辑是什么呢？苏东坡说：“人有悲欢离合，月有阴晴圆缺，此事古难全。但愿人长久，千里共婵娟。”曹雪芹在《红楼梦》中是这样说的：“美中不足，好事多魔。”请注意，他用的是“魔鬼”的“魔”，不是“磨难”的“磨”。两位绝顶聪明的文学大师，其实表达了一个共同的观
青春期健康·青少版 2018年1期2018-01-16
- 悲加欢不等于零
一二。如果用数理逻辑来推理，人生的幸福指数，自然只是负数，而且还是一个大大的负数。那么，人生就根本没有幸福指数可言，只有“痛苦指数”了。但人生毕竟不是一道数学题，人生的逻辑也不是简单的数理逻辑所能概括的。人生的逻辑是什么呢？苏东坡说：“人有悲欢离合，月有阴晴圆缺，此事古难全。但愿人长久，千里共婵娟。”曹雪芹在《红楼梦》中是这样说的：“美中不足，好事多魔。”请注意，他用的是“魔鬼”的“魔”，不是“磨难”的“磨”。两位绝顶聪明的文学大师，其实表达了一个共同的观
青春期健康 2018年1期2018-01-16
- A Constructive Exposition on Simple Forcings and Countable Forcings
授,主要从事数理逻辑及其应用的研究,E-mail:zhuhl02@gmail.comFoundation Items:This work is supported by National Natural Science Foundation of China (No.11401567)10.3969/j.issn.1001-8395.2017.01.003(编辑 周 俊)Received date:2015-10-032010 MSC：03E17; 03E
四川师范大学学报（自然科学版） 2017年1期2017-05-15
- 为何中国传统哲学思想中没有诞生出数理逻辑
代逻辑主干的数理逻辑却没有在中国产生。这就出现一个耐人寻味令人深思的问题：为何中国传统哲学思想中没有诞生出数理逻辑？本文从哲学的概念、中国传统哲学思想与西方哲学思想的差异等方面来阐述为何中国传统哲学思想中没有诞生出数理逻辑。关键词：哲学 中国传统哲学 数理逻辑一.什么是哲学提到哲学，往往给人以高深莫测之感，很多人说不清什么是哲学，但很多时候，哲学就在我们生活中。哲学一词，源出希腊语philosophīa，意即“爱智慧”，它是一个外来词汇。19世纪70年代，
文学教育·中旬版 2017年2期2017-04-10
- 数理逻辑中谓词命题符号化的难点解析
10018)数理逻辑中谓词命题符号化的难点解析◎熊 瑜(杭州电子科技大学理学院，浙江 杭州 310018)本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验，总结谓词命题符号化的学习要点和难点，从而帮助学生更高效地学习好数理逻辑.谓词逻辑；谓词公式；命题符号化一、引 言中文的语言环境很丰富，相同的语义会有不同形式的表达句式，这就更加迫切地需要在数理逻辑当中发明一种“通用的语言”，所以，我们需要合理准确的符号化自然语句，从而可以进一步进入演绎推理，判断
数学学习与研究 2017年9期2017-03-23
- 五度圈中的音、音列、音阶及其数理关系
阶及其内在的数理逻辑关系进行探讨，指出了从五度圈中相邻音中所取的数量及其作为不同音级的可能性之间和所含“宫音”数量之间的规律。前者可用“鱼合八”“鱼合七”“鱼合六”加以说明，后者则可用“x（音列或音阶中音的数量）-4=宫音数量”的公式进行概括。关键词：五度圈；音列；数理逻辑中图分类号：J613.6 文献标识码：A 文章编号：1004-2172（2016）04-0023-05五度圈又称“五度循环”（circle offifth），即按五度关系，从C音开始，沿
音乐探索 2016年4期2017-03-16
- 笛卡尔普遍数学的逻辑哲思
；普遍数学；数理逻辑；有限无限一、引言笛卡尔不仅仅是个伟大的哲学家，也是个伟大的数学家，他的哲学思想带有浓厚的数学思维印记。在笛卡尔的哲学体系里，数学思维举足轻重，甚至可以认为，他将哲学思维数学化，同时也将数学思想纳入了他的哲学大一统体系。笛卡尔认为哲学思维是普遍的，能够将所有学科统一于哲学，而实现知识大一统的关键在于数学，在于数学也像哲学一样具有普遍性。在笛卡尔的哲学系统里，数学的普遍性在于数学方法的普遍适用，数学能够运用于所有学科，并且能够产生必然有效
青春岁月 2017年2期2017-03-15
- 基于SPOC的“数理逻辑”在线课程教学改革探究
切入点，探讨数理逻辑SPOC课程的建设及教学改革思路，强调教学任务中的师生互动和个性化教学模式，侧重于以学生学习成效为导向，以学习评价为中心的教学范式转变，进一步依托在线课程建设进行混合式教学模式改革，提升本科课程教学质量。关键词：SPOC；在线课程；数理逻辑；教学改革0引言随着网络和智能技术发展，基于课程与教学论的在线课程如雨后春笋般涌现出来，尤其是MOOC和SPOC等新兴在线课程在美国顶尖大学的带动下迅速在全球升温，吸引多所国际著名大学投身其中。然而，
计算机教育 2016年10期2016-12-19
- 现实生活中的数学问题
题；或者运用数理逻辑对生活中的问题做出正确的推断与选择；同时数学概率方面的知识都被人们经常运用在体育竞技方面。本文就是从人们一些日常的生活中去研究数学在生活中的运用。【关键词】数学；经济生活；数理逻辑；体育竞技数学作为一门自然科学在信息爆炸的今天，它的影响可谓无处不在。它不仅是人们日常生活的帮手，更是人类发展进步必不可少的一把钥匙。在日常生活中，数学作为一种思维方法，被运用在生活的许多方面，体现出数学这门学科的无穷魅力。1 经济生活中的数学问题经济与数学有
科技视界 2016年6期2016-07-12
- 看 见（二首）
后顺序内在的数理逻辑；3）建立了64卦卦数量内在的数理逻辑关系平衡系统（图5）。也把我的头抬高无量寺的大殿前，一块平展的田里隆起的土堆是我的心痛这是父亲的栖身之处他完成了朴素的一生守望成永远的宁静多少年，我把牵挂留这里让每一滴泪化作草或木一边替我守住这一方水土一边仰望岁月的花朵责 任一片叶被风驮着，拉长黄昏一只麻雀坐在枝头，有点孤独田野里没了谷穗，草人下岗变成柴火苜蓿从铡刀下出来，走进料库玉米秆燃成灰，也没出声它的从容和坚强，让我的母亲天天感动白猪哼哧了大
星星·散文诗 2015年28期2015-10-26
- 解读《我们》的数学化特征
与莱布尼茨的数理逻辑理论不谋而合，从而赋予解读《我们》的全新视角和阅读感受。[关键词]莱布尼茨；数理逻辑；我们；数学化[中图分类号]H35 [文献标识码] A [文章编号] 1009 — 2234（2015）04 — 0122 — 02扎米亚京的《我们》成书于1920年，是开启反乌托邦文学的最经典著作。这部作品于1988年在前苏联解禁发表，受到当时评论家和学者们的广泛关注，并一直是反乌托邦文学的研究焦点。《我们》是反乌托邦文学的开山之作。作者用独特的数学方
理论观察 2015年5期2015-05-30
- 数理逻辑及其在计算机中的应用
100）1 数理逻辑概念及其发展作为离散数学中专门研究推理逻辑的课程，数理逻辑是一门以数学方法为基础，用符号系统的形式来研究思维结构及规律的学科.古希腊著名学者亚里士多德最早提出用计算的形式对人类的思维进行描述和演示的表达形式.后17世纪德国著名数学家、哲学家莱布尼兹也曾努力发明一种通用的科学语言，可以像数学公式一样对所有思维的推理过程进行计算，并最终得出准确无误的结论，他的这想法正是现代数理逻辑的重要启蒙.1847年，英国数学家布尔在大量试验和实践的基础
赤峰学院学报·自然科学版 2015年23期2015-03-20
- 简易逻辑教学困惑对高师数理逻辑教学的启示
学困惑对高师数理逻辑教学的启示李杰民（湛江师范学院 数学与计算科学学院，广东 湛江 524048）摘要：高中数学简易逻辑教学中出现的一些“困惑”，对高师院校“数理逻辑”教学的启示有：内容选择上不可忽视基本概念、基本知识；思想方法上要重视形式化、符号化意识的培养；应用方面要加强与高中数学的联系，加强谓词逻辑教学.关键词：简易逻辑；教学困惑；高师院校；数理逻辑；教学改革1 高中数学简易逻辑教学中的困惑高中数学新课程改革十多年来，数学教育类杂志刊载了为数不少的关
数学教育学报 2015年4期2015-03-11
- 数理逻辑的程序可靠性验证
61000数理逻辑的程序可靠性验证顾名宇安顺职业技术学院信息工程系,贵州安顺561000摘要:程序可靠性验证往往占用软件开发周期很长的时间，而现行的软件可靠性验证方法主要是基于形式化的方法如基于SPIN的模型检测方法等，但这种方法可能由于模型建立的问题导致验证的复杂性极大提高，造成最后验证失败的结果比比皆是。为解决此问题，本文使用数学方法从数理逻辑角度用推理的方法实现了程序可靠性验证，并完成了客户服务器程序的可靠性验证，证明了该方法切实有效。关键词:数理
山东农业大学学报（自然科学版） 2015年4期2015-03-07
- 学前儿童数理逻辑智能评价指标体系的研究与设计
研究。儿童的数理逻辑智能是他们在今后的学习、生活与工作中会频繁运用的能力，是儿童发展过程中的重要能力。本文以此为主要研究内容，研究、设计科学的评价儿童数理逻辑智能的指标体系，为今后学前儿童的教育教学提供依据。1 数理逻辑智能简介多元智能理论的创始人是美国哈佛大学的霍华德·加德纳，他认为人的智能是由语言、数理逻辑、空间、身体运动、音乐、人际、内省、自然探索、存在等智能组成的。其中，数理逻辑智能是人类认知能力的重要组成部分，是一种“处理一连串的推理，识别模式和
长春师范大学学报 2014年4期2014-12-28
- 游戏
谜语猜猜看（数理逻辑智能）早晨跳出东海面，傍晚休息下西山。夏天我们躲着它，冬天人人都喜欢。（打一自然物）冬天是什么（语言智能） 青蛙、小熊和蛇说：“冬天啊，就是在树洞里美美地睡上一觉，等到春风吹来的时候，再醒来找东西吃……”摇摇燕子、杜鹃和大雁说：“冬天呀，就是飞到温暖的南方，度过一个舒适的冬天，等到春暖花开的时候，再飞回北方……”摇 松鼠、兔子和绵羊说：“冬天呀，就是换上一件厚厚的毛大衣，暖暖和和地过日子……”摇摇 小蚂蚁说：“冬天呀，洞里有秋天搬
小学生·多元智能大王 2014年12期2014-12-13
- 从两种变项及其差异看两种逻辑的本质
逻辑的变项和数理逻辑的变项是根本不同的，这就决定了传统逻辑与数理逻辑的本质差异。一、两种变项及其差异亚里士多德是形式逻辑的创始人，他的直言三段论理论是传统形式逻辑的主要内容。我国著名逻辑学家江天骥先生正确地指出“亚里士多德最富于革命性的贡献是把‘变项’引入逻辑语言中”［1］。然而，亚氏引入到传统逻辑语言中的变项与数理逻辑的变项却有着明显的差异。何谓传统逻辑变项?德国逻辑学家肖尔兹在其《简明逻辑史》中这样写道:“按照亚里士多德的办法，我们可以把任何一个能断定
重庆理工大学学报(社会科学) 2014年9期2014-03-27
- 逻辑?普通逻辑?辩证逻辑
；普通逻辑；数理逻辑；非形式逻辑；辩证逻辑；辩证矛盾中图分类号：B81文献标识码：A文章编号：1003-0751（2014）01-0112-10一问：您能给我们讲一讲人类思维发展的三个阶段问题吗？答：人类思维发展的三个阶段问题是我整个逻辑理论问题的理论基础，我们是应该先谈谈这个问题。在哲学史上，最早把思维分为不同类别的是康德，他把人的认识分为感性、知性和理性三个环节。他所说的“感性”，大体上相当于人们现在讲的感性认识，他所说的“知性”和“理性”，大体上相当
中州学刊 2014年1期2014-02-26
- 数理逻辑教学方法探讨
32000)数理逻辑教学方法探讨李志敏,夏学文,张学敏(孝感学院计算机与信息科学学院,湖北孝感432000)数理逻辑不仅是离散数学课程的基础,也是计算机科学与技术专业其他课程学习的重要基础。文章就如何提高数理逻辑的教学质量,提出了注重教学内容的合理拓展与延伸、注重数理逻辑在计算机科学与技术领域应用背景的介绍、注重引入先进教学资源和教学辅助工具(如ProofWeb)等教学方法。离散数学;数理逻辑;计算机科学与技术专业;ProofWeb离散数学是现代数学的一个
湖北工程学院学报 2010年3期2010-08-15
- 一部新的逻辑专著
仅大量引进了数理逻辑的有关符号，而且有选择地吸收了一些数理逻辑的简单内容。这是通常逻辑著作所没有的。如该书“概念”一章中写道：“概念外延是一类事物，这些事物是那个类的分子，这是传统逻辑的说法。在现代逻辑中，习惯上把类叫做集合，把分子叫做元素。现代逻辑要深入探讨概念外延方面的问题，也就是要讨论集合的问题。”为此，该章专辟“集合和集合的运算”一节，在简要介绍集合、集合之间的一些关系以及空集和全集的有关知识的基础上，着重讨论了给定两个集合可以作出一个新集合的问题
读书 1983年9期1983-07-15
- 一门切实而奇妙的学问
莫绍揆的通俗数理逻辑著作说数理逻辑这门学问“切实”，大家都信，因为数理逻辑在电子数字计算机方面有重大的应用，而且它也是被恩格斯称为“日用器具”的形式逻辑概念和方法的精密化和最新发展形态。但是过去往往被一部分人认为很简单而置诸脑后的形式逻辑，现在竟发展到如此复杂丰富的地步，它已蒙上了一层“艰深”的幕布。中文的入门书，六十年代就有，如我国著名数学家莫绍揆教授的《数理逻辑导论》。不过，用通俗的语言来向广大读者介绍数理逻辑这门新兴学科的书，却最近才见到，那就是莫先
读书 1982年3期1982-07-15