期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到274篇文章
< 1 2 … 14 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
论我国的逻辑教学 被引量：21
1
作者 王路 《西南师范大学学报（哲学社会科学版）》 CSSCI 1999年第2期41-45,共5页
我国逻辑学界从１９７８年提出“逻辑要现代化”的口号。但２０年过去了，高校的逻辑教学依然是以传统逻辑为主。这种做法实际上仍然是拒绝现代逻辑：它肢解了现代逻辑的知识体系，歪曲了现代逻辑的基本精神。逻辑理论和方法是一个整体... 我国逻辑学界从１９７８年提出“逻辑要现代化”的口号。但２０年过去了，高校的逻辑教学依然是以传统逻辑为主。这种做法实际上仍然是拒绝现代逻辑：它肢解了现代逻辑的知识体系，歪曲了现代逻辑的基本精神。逻辑理论和方法是一个整体。它在我国亟待普及和提高，所谓普及应该是一阶逻辑，而不是传统逻辑。 展开更多
关键词 普通逻辑 传统逻辑 现代逻辑 数理逻辑
下载PDF
也谈我国的逻辑教学——与王路先生商榷 被引量：18
2
作者 马佩 《西南师范大学学报（哲学社会科学版）》 CSSCI 1999年第5期65-71,共7页
数理逻辑是在普通逻辑发展过程中相对于传统逻辑的高级阶段,而不是真正的现代逻辑,因此,不能借逻辑现代化的口号用数理逻辑内容取代大学文科逻辑教材中的传统逻辑内容。大学文科逻辑教材的任务,是要让学员通过逻辑学的学习,掌握运用各... 数理逻辑是在普通逻辑发展过程中相对于传统逻辑的高级阶段,而不是真正的现代逻辑,因此,不能借逻辑现代化的口号用数理逻辑内容取代大学文科逻辑教材中的传统逻辑内容。大学文科逻辑教材的任务,是要让学员通过逻辑学的学习,掌握运用各种思维形式的一般知识,以利于他们以后的学习和工作。 展开更多
关键词 逻辑教学 现代逻辑 普通逻辑 辩证逻辑 传统逻辑 数理逻辑
下载PDF
走向一种层级分明的“大逻辑观”——“逻辑观”两大论争的回顾与反思 被引量：15
3
作者 张建军 《学术月刊》 CSSCI 北大核心 2011年第11期38-47,共10页
认识中国逻辑学发展现状与前景,需要进一步梳理与讨论"逻辑观"的一系列基本问题。当代中国逻辑学界关于"形式逻辑与数理逻辑的关系"和"狭义逻辑观与广义逻辑观"的长期论争,对于澄清逻辑学科各领域、各层... 认识中国逻辑学发展现状与前景,需要进一步梳理与讨论"逻辑观"的一系列基本问题。当代中国逻辑学界关于"形式逻辑与数理逻辑的关系"和"狭义逻辑观与广义逻辑观"的长期论争,对于澄清逻辑学科各领域、各层面的分界及其关联机制起了有益的作用,在一定程度上反映了中国逻辑事业发展的深度与广度。在此基础上做进一步研讨,通过清晰地区分"推理"与"形式"之多重语义,既可解答以往争论中由于层次缠绕所遗留的疑难问题,又可得出一种新的"应用逻辑"观念:面向特定领域系统探究逻辑因素在该领域的作用机理,以及逻辑因素与非逻辑因素的相互作用机理,以把握方法论"模式"为研究核心,旨在形成关于该领域的逻辑应用方法论,进而可获得一种涵盖基础逻辑学科群与应用逻辑学科群的层级分明的"大逻辑观"。这种逻辑观,有利于系统把握当代逻辑研究发展趋势及中国学术界在基础逻辑、应用逻辑和逻辑应用各层面的发展路径。 展开更多
关键词 逻辑观 形式逻辑 数理逻辑 应用逻辑
原文传递
命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集 被引量：11
4
作者 王国俊 王伟 宋建社 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第2期1-5,共5页
从结构上清楚地描述了极大和谐理论的构造,证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包;在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑,证明了所得拓扑空间与Cantor三分集同胚.作为应用,给出了命题... 从结构上清楚地描述了极大和谐理论的构造,证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包;在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑,证明了所得拓扑空间与Cantor三分集同胚.作为应用,给出了命题逻辑系统完备性的一个简单证明. 展开更多
关键词 数理逻辑 极大和谐理论 紧Hausdorff标准拓扑 Cantor三分集 完备性
下载PDF
鸡兔同笼问题中的辩证思维 被引量：12
5
作者 郜舒竹 《课程．教材．教法》 CSSCI 北大核心 2019年第9期88-93,共6页
鸡兔同笼问题在我国历史上历经千年,被记栽至今。通过各种算法的梳理与比较,研究者可挖掘出其算法中蕴含着的辩证思维,包括是非相容、异同转化以及正反问题。辩证思维是基于辩证逻辑的思维形式,区别于以形式逻辑为基础的思维形式。这些... 鸡兔同笼问题在我国历史上历经千年,被记栽至今。通过各种算法的梳理与比较,研究者可挖掘出其算法中蕴含着的辩证思维,包括是非相容、异同转化以及正反问题。辩证思维是基于辩证逻辑的思维形式,区别于以形式逻辑为基础的思维形式。这些内容将会丰富数学课程与教学的思想性和文化性。 展开更多
关键词 鸡兔同笼 辩证思维 数学文化 数学思想 形式逻辑
下载PDF
基于数理认知的儿童数理逻辑类益智玩具设计研究 被引量：9
6
作者 马琳 《工业设计》 2022年第4期29-31,共3页
为设计符合儿童数学认知能力与自身发展的儿童数理逻辑类益智玩具,解决市面现存产品不符合儿童真实需求、可用性不佳、使用寿命短的问题,文章基于数理认知概念展开研究。首先总结0-11岁儿童成长及数理认知特征,研究当前市场产品状况,提... 为设计符合儿童数学认知能力与自身发展的儿童数理逻辑类益智玩具,解决市面现存产品不符合儿童真实需求、可用性不佳、使用寿命短的问题,文章基于数理认知概念展开研究。首先总结0-11岁儿童成长及数理认知特征,研究当前市场产品状况,提出基于数理认知的儿童数理逻辑类益智玩具设计意义;其次从适配性、安全性与延续性三原则展开探讨,并归纳基于数理认知的儿童数理逻辑类益智玩具设计策略;最后基于上述研究进行设计实践。通过文章的研究,以期为儿童数理逻辑类益智玩具设计提供一定的思路。 展开更多
关键词 数理认知 儿童 数理逻辑类 益智玩具 设计
下载PDF
人工智能技术融入离散数学课程的教学探索 被引量：10
7
作者 王宝丽 胡运红 张凤琴 《高等理科教育》 2019年第5期70-75,共6页
新工科建设要重视人工智能与计算机、数学、控制等学科专业教育的交叉与融合。人工智能技术作为相关学科专业的一门重要的基础课程,融入离散数学教学,有助于打破学科壁垒,跨越专业藩篱,从而培养创新型卓越工程科技人才。文章将专家系统... 新工科建设要重视人工智能与计算机、数学、控制等学科专业教育的交叉与融合。人工智能技术作为相关学科专业的一门重要的基础课程,融入离散数学教学,有助于打破学科壁垒,跨越专业藩篱,从而培养创新型卓越工程科技人才。文章将专家系统、决策树、推荐系统以及程序设计语言的文法规则相关技术引入离散数学核心内容的延伸教学环节中,对于增强学生学习兴趣、明确专业实际应用、追踪智能前沿与拓展知识创新等具有十分重要的意义。 展开更多
关键词 离散数学 人工智能 数理逻辑 集合论 图论
下载PDF
关于批判性思维的批判的批判——与王路教授商榷 被引量：7
8
作者 马佩 《西南大学学报（社会科学版）》 CSSCI 北大核心 2010年第4期54-58,共5页
"王文"以数理逻辑否定普通逻辑、批判性思维逻辑、非形式逻辑是以小逻辑观否定大逻辑观;"王文"混淆传统逻辑与普通逻辑,混淆数理逻辑与现代逻辑,其"以数理逻辑完全取代普通逻辑"的错误主张偷换为冠冕堂皇... "王文"以数理逻辑否定普通逻辑、批判性思维逻辑、非形式逻辑是以小逻辑观否定大逻辑观;"王文"混淆传统逻辑与普通逻辑,混淆数理逻辑与现代逻辑,其"以数理逻辑完全取代普通逻辑"的错误主张偷换为冠冕堂皇的"以现代逻辑取代传统逻辑"的口号;绝对不能以数理逻辑取代普通逻辑,"王文"所提出的以数理逻辑取代普通逻辑的种种理由都是不能成立的。 展开更多
关键词 逻辑观 普通逻辑 批判性思维 非形式逻辑 数理逻辑
下载PDF
危机及其出路——论西方哲学的“语言学转向” 被引量：8
9
作者 张今杰 《自然辩证法研究》 CSSCI 北大核心 2001年第12期9-13,共5页
本文认为 ,2 0世纪初西方哲学界发生的“语言学转向”有其深层的根源———哲学的危机。这种危机非同寻常 ,因为它意味着西方哲学陷入失去研究对象的困境 ,同时其存在的必要性受到了人们的普遍质疑。西方思想家们纷纷寻求出路 ,英美科... 本文认为 ,2 0世纪初西方哲学界发生的“语言学转向”有其深层的根源———哲学的危机。这种危机非同寻常 ,因为它意味着西方哲学陷入失去研究对象的困境 ,同时其存在的必要性受到了人们的普遍质疑。西方思想家们纷纷寻求出路 ,英美科学主义与欧陆人本主义不约而同地抓住了“语言”这根救命草 ,使西方哲学发生了“语言学转向”。本文认为 ,“语言学转向”并未从根本上解决西方哲学的危机 ,但至少在某种程度上使西方哲学的危机得到了缓解。“语言学转向”的重要后果之一是科学主义和人文主义的日益汇流。 展开更多
关键词 危机 数理逻辑 "语言学转向" 汇流 西方哲学
下载PDF
关于逻辑和逻辑现代化的几个问题——评唯演绎主义 被引量：6
10
作者 王雨田 《自然辩证法研究》 CSSCI 北大核心 2002年第8期24-27,共4页
我国的五次逻辑论争表明逻辑学科本身还有不够规范和完善之处 ,其局限性和实效性之薄弱又难以适应当代高新科技的发展和文化的需求。逻辑学要改进、变革和发展。
关键词 逻辑观 逻辑现代化 数理逻辑 唯演绎主义
下载PDF
面向数字化未来的“计算思维” 被引量：2
11
作者 孟鸿伟 《中国教育信息化》 2024年第2期3-12,共10页
在不断变化、迅猛发展的数字世界,越来越多的人认为“计算思维”应该成为21世纪每个人的基本技能,而不仅仅是从事计算机工作的专业人士。如何认识“计算思维”和培养“计算思维”能力已重新引起国际教育界的关注。“计算思维”本身是人... 在不断变化、迅猛发展的数字世界,越来越多的人认为“计算思维”应该成为21世纪每个人的基本技能,而不仅仅是从事计算机工作的专业人士。如何认识“计算思维”和培养“计算思维”能力已重新引起国际教育界的关注。“计算思维”本身是人类科学思维的一个组成部分,其反映计算机科学家如何把人类解决问题的思维过程数字化,从而让计算机来解决复杂问题的思维过程或思维框架。当反思人类在计算机上得以实现的有效解决问题的程序、策略和工具的时候,无论从事何种职业,都能够使学习、工作和社会生活更加有效,更加成功。因此,当前的学校教育中有需要重新审视“计算思维”在青少年学生成长中的意义。基于此,从“计算思维”概念的诞生说起,探讨“计算思维”含义及与教育的联系,比较“计算思维”与“数学思维”的区别,并介绍欧盟等国际组织的义务教育“计算思维”培养策略。据此提出,“计算思维”之所以重新回到人们的视野,是因为借助由数字化有效执行形式表示出来的问题解决思维过程,不仅可以有效提升人们问题解决的能力,还将批判性思维与计算能力结合起来,是创新解决现实问题的基础;在义务教育阶段,如何在更广的意义上引入“计算思维”,而不局限于“信息技术与工程”,是一个非常值得关注的方向,建议相关部门组织力量加强在义务教育阶段拓展“计算思维”培养的研究和实践探索。 展开更多
关键词 计算思维 数学思维 义务教育 数字化 抽象 逻辑 模式识别 算法
下载PDF
时空混沌控制在联想记忆中的应用 被引量：4
12
作者 余群明 王耀南 《电子学报》 EI CAS CSCD 北大核心 2001年第5期678-681,共4页
本文提出了一种具有时空混沌控制的联想记忆网络 .实验结果表明 :具有目标信息的一部分知识的初始输入能在时空混沌的参数控制中成功地完成联想记忆 ,根据提出的学习算法 ,该网络的记忆搜索性能和记忆容量比Hopfield模型有较大改善 .同... 本文提出了一种具有时空混沌控制的联想记忆网络 .实验结果表明 :具有目标信息的一部分知识的初始输入能在时空混沌的参数控制中成功地完成联想记忆 ,根据提出的学习算法 ,该网络的记忆搜索性能和记忆容量比Hopfield模型有较大改善 .同时发现联想记忆成功率与强化因子、样本数、信息率、学习阈值以及初始混沌参数有关 . 展开更多
关键词 时空混沌控制 联想记忆网络 人工智能 神经网络
下载PDF
几个三值命题逻辑系统中命题真度的分布 被引量：6
13
作者 茹永梅 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第4期6-10,共5页
利用势为3的均匀概率空间的无穷乘积在W3、G3、Π3及S3系统中引入了公式的真度概念,得到了命题真度分布的一些性质,同时给出了三值真度推理规则.证明了以上各系统中的全体公式的真度值之集在[0,1]上是稠密的,并给出了其中公式真度的表... 利用势为3的均匀概率空间的无穷乘积在W3、G3、Π3及S3系统中引入了公式的真度概念,得到了命题真度分布的一些性质,同时给出了三值真度推理规则.证明了以上各系统中的全体公式的真度值之集在[0,1]上是稠密的,并给出了其中公式真度的表达通式,即若A∈F(S),则τ(A)=3kn(n=1,2,…,k=0,1,…,3n).此项研究为进一步建立三值命题逻辑的近似推理理论奠定了基础,并且使W3,G3,Π3及S3系统中公式的真度有了统一的理论体系. 展开更多
关键词 数理逻辑 真度 三值真度推理规则 三值逻辑测度 稠密
下载PDF
空间材料质损过程的数学分析与理论的实验验证 被引量：7
14
作者 王先荣 《中国空间科学技术》 EI CSCD 北大核心 1989年第3期8-20,共13页
本文建立了与材料历史、材料质损过程相关的数理方程;解之,给出了质损过程初始条件的解,否定了质损研究历史上对初始条件的简化处理;在选取初始条件严格数理解的前题下,对有关质损过程的定解问题求解,给出了质损W(T,t)随温度和时间变化... 本文建立了与材料历史、材料质损过程相关的数理方程;解之,给出了质损过程初始条件的解,否定了质损研究历史上对初始条件的简化处理;在选取初始条件严格数理解的前题下,对有关质损过程的定解问题求解,给出了质损W(T,t)随温度和时间变化的关系——双指数函数;设计了理论、实验拟合方法——多维参数优选搜索累次迭代法及相关的计算机程序,并据此方法对多种有机材料、复合材料在真空微量天平质损测试系统上取得的实验数据予以处理。结果表明:双指数理论与实验吻合很好,理论值与实验值的均方偏差均在10^(-3)～10^(-4)范围。 展开更多
关键词 空间材料 质损分析 验证试验
全文增补中
中医语言的形式逻辑体系刍议 被引量：6
15
作者 王瑞祥 《中医药导报》 2013年第5期19-20,共2页
本文讨论了构建中医语言形式逻辑体系的必要性和可能性,以《伤寒论》为例,用数理逻辑解读典籍原文,提出了对中医语言进行符号化、规范化的思路。
关键词 形式逻辑 数理逻辑 中医药
下载PDF
数学方法在计算机算法中的应用实践
16
作者 高翔 《科技资讯》 2024年第5期54-56,共3页
在现代社会不断发展的过程中,信息技术和计算机技术也在不断发展,计算机算法也被广泛应用在现实生活中。人们在使用计算机编程时,要求设计计算机算法,是将数学方法作为基础实现的。在社会不断发展的过程中,数学方法中也添加了逻辑推算... 在现代社会不断发展的过程中,信息技术和计算机技术也在不断发展,计算机算法也被广泛应用在现实生活中。人们在使用计算机编程时,要求设计计算机算法,是将数学方法作为基础实现的。在社会不断发展的过程中,数学方法中也添加了逻辑推算思想和方法。所以,针对数学方法应用在计算机算法中的实践进行分析,从而为计算机算法的发展提供借鉴。 展开更多
关键词 数学方法 计算机算法 逻辑 动态规则
下载PDF
中介粗集及其在数据挖掘中的应用
17
作者 周勇 毛宇光 王建东 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第6期609-613,共5页
粗集理论已成功应用于数据挖掘 ,如基于粗集方法的属性发现和决策规则的约简等。中介集合论是以中介逻辑为基础 ,也可以用于数据挖掘。文中将两者相结合 ,提出了中介粗集的概念。中介粗集是普通粗集的推广 ,为不完全信息系统的数据挖掘... 粗集理论已成功应用于数据挖掘 ,如基于粗集方法的属性发现和决策规则的约简等。中介集合论是以中介逻辑为基础 ,也可以用于数据挖掘。文中将两者相结合 ,提出了中介粗集的概念。中介粗集是普通粗集的推广 ,为不完全信息系统的数据挖掘提供了新的工具 ,不仅可用于一般的信息系统 ,还适用于数据取空值的信息系统 (允许结论取空值 )。利用中介粗集进行数据挖掘不但可以得出粗集理论中的约简 ,还能得到更为简洁的中介约简。 展开更多
关键词 集论 数据处理 数据挖掘 中介粗集理论
下载PDF
数智时代教育认识数学化的批判与突围——笛卡尔“普遍数学”之省思
18
作者 滕长利 《开放教育研究》 北大核心 2024年第5期47-53,共7页
随着各种数智技术在教育教学领域的广泛应用,教育认识的“数学化”风险再次引发关注。现代教育认识工具提供的各种数据,把人们的教育认识引向以数的方式规定的量上,导致教育认识偏离寻求“与实在相符”的准则。本研究通过援引笛卡尔“... 随着各种数智技术在教育教学领域的广泛应用,教育认识的“数学化”风险再次引发关注。现代教育认识工具提供的各种数据,把人们的教育认识引向以数的方式规定的量上,导致教育认识偏离寻求“与实在相符”的准则。本研究通过援引笛卡尔“普遍数学”之省思,阐释教育认识“数学化”内蕴:抽象的数学符号替代人的体验存在,操作性定义简化认识对象的复杂性,碎片化描述遮蔽实质性的教育过程,数学化表达消解教育认识的人文价值。超越现代教育认识的数学化困境,需要教育认识以人的体验存在为起点,以跨学科思想为导向,以价值取向指引工具选择,以探究恒常力量为根本,进而逐层去除数学化操作带来的去人化、单一化、表面化的因素遮蔽,使隐藏在教育世界背后的、与教育实在相符的真理逐步得以涌现和提炼。 展开更多
关键词 数智时代 认识 教育实体 数学逻辑
下载PDF
大数据驱动式社会监督:要素、逻辑与策略 被引量：6
19
作者 蔡玉卿 《河南社会科学》 CSSCI 北大核心 2020年第11期58-65,共8页
在信息时代,大数据成为政治科学的基础性资源,不仅上升为权力本体,而且成为推动社会监督从经验驱动型转向数据驱动型的核心要素,催生大数据驱动式社会监督机制,聚焦数据权力体系,实现社会监督的情景化、可视化与智能化等。大数据驱动的... 在信息时代,大数据成为政治科学的基础性资源,不仅上升为权力本体,而且成为推动社会监督从经验驱动型转向数据驱动型的核心要素,催生大数据驱动式社会监督机制,聚焦数据权力体系,实现社会监督的情景化、可视化与智能化等。大数据驱动的核心要素涵盖驱动源、驱动强度和驱动阈值三部分,重塑社会监督的逻辑起点,衍生出监督思维的数理逻辑、价值的建构逻辑和决策的人机互动逻辑,重构社会监督的数据链、问题链、情景链和价值链。为此,通过治理结构和权力流程的再造,重塑政府与市场的边界;基于数据模块的功能分类,重塑公域与私域边界;以区块链的智能合约效应,优化社会监督的价值诉求,从而提升社会监督的精准性和叙事性。 展开更多
关键词 大数据 数理逻辑 社会监督 驱动机制 智能合约效应
下载PDF
普遍语言与人工智能--莱布尼茨的语言观探析 被引量：6
20
作者 刘辉 《外语学刊》 CSSCI 北大核心 2020年第1期122-126,共5页
1710年,莱布尼茨在《神正论》中提出建立一种普遍语言的设想,由此引发以弗雷格为代表的分析哲学家创造人工语言的热潮。莱布尼茨希望建立一种全人类可以通用的高度符号化的语言,以期依托数理逻辑来解决世界和认识的问题,被视为是现代人... 1710年,莱布尼茨在《神正论》中提出建立一种普遍语言的设想,由此引发以弗雷格为代表的分析哲学家创造人工语言的热潮。莱布尼茨希望建立一种全人类可以通用的高度符号化的语言,以期依托数理逻辑来解决世界和认识的问题,被视为是现代人工智能的雏形。本文从莱布尼茨与洛克的对话入手,探讨莱布尼茨的普遍语言观与数理逻辑思想,以期从中挖掘其思想中对人工智能发展的有益成分,从语言的角度探讨莱布尼茨语言思想对当今人工智能发展的影响。 展开更多
关键词 莱布尼茨 人工智能 普遍语言 数理逻辑 语言哲学
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 14 下一页 到第 页
使用帮助 返回顶部