检索结果-内蒙古大学图书馆

计算机科学 1991年第5期 37-37页

由计算机学会直属理论计算机科学学组委托华东化工学院计算机系主办、苏州大学工学院协办的第二次全国计算机逻辑学术研讨会于1991年5月在苏州大学召开,参加会议的有70余名代表。国内知名学者莫绍揆、陈火旺、孙永强、罗铸楷分别作了专... 详细信息

由计算机学会直属理论计算机科学学组委托华东化工学院计算机系主办、苏州大学工学院协办的第二次全国计算机逻辑学术研讨会于1991年5月在苏州大学召开,参加会议的有70余名代表。国内知名学者莫绍揆、陈火旺、孙永强、罗铸楷分别作了专题报告,会上交流了论文50余篇,并且与1991年在上海市举行的第五次全国“双 B”代数学术会议联合出版了《“双B”代数和计算机逻辑论文集》。会议还就计算机与逻辑的关系作了专门讨论。为促进计算机

关键词：计算机逻辑学术研讨会理论计算机科学

来源：评论

学校读者我要写书评

暂无评论

全国第二次真理问题研讨会概述

引用

哲学动态 1993年第8期 4-8页

作者：董谊思

全国第二次真理问题研讨会概述董谊思全国第二次真理问题研讨会于１９９３年５月ＺＩ日至２６日在安徽省歙县召开。这次会是由中国辩证唯物主义研究会、安徽省委党校等九个单位共同发起的。来自全国各地的１６０多位同志与会，提供论文... 详细信息

全国第二次真理问题研讨会概述董谊思全国第二次真理问题研讨会于１９９３年５月ＺＩ日至２６日在安徽省歙县召开。这次会是由中国辩证唯物主义研究会、安徽省委党校等九个单位共同发起的。来自全国各地的１６０多位同志与会，提供论文８０多篇。会议回顾了近年来真理问题的研究状况，并就马克思主义真理论的一些根本问题进行了热烈的讨论。现将会议及论文中涉及的几个重要理论问题概述如下。一、关于真理的本质属性问题什么是真理？真理的本质属性是什么？对此大体上有以下三种见解。第一种观点认为，马克思主义真理观的基本点是坚持真理的客观性，否定主观真理的存在。持这种观点的同志认为，我们与坚持真理具有主观性的同志争论的焦点，并不是承认不承认真理是否具有主观形式，问题在于这种主观形式并不是真理的内容。主观形式不是真理的本质属性，此其一。其二，真理的主观形式也是来自客体对象的客观形态和人们实践活动的动作图式。正如列宁所说，“逻辑的格”是在实践活动中经过亿万次的重复而形成的。其三，主体在反映客体的过程中，其思维方式、情感意志、知识结构都使其有明显的倾向性和选择性，这一切都影响着主体对真理的主观形式的创造活动。

关键词：真理问题研讨实践结果主观形式混饨相对真理生产力标准实用主义价值真理真理的本质

来源：评论

学校读者我要写书评

暂无评论

第二届归纳逻辑与人工智能研讨会综述

引用

哲学动态 1990年第2期 5-6页

作者：陈炜

继1988年4月在扬州召开第一届归纳逻辑与人工智能研讨会之后,1989年7月24—29日在成都召开了第二次会议。会议由王雨田教授主持的课题组主办,并与中国管理科学研究院思维科学研究所、清华大学社科系等单位联合召开。会议的特点是全国性... 详细信息

继1988年4月在扬州召开第一届归纳逻辑与人工智能研讨会之后,1989年7月24—29日在成都召开了第二次会议。会议由王雨田教授主持的课题组主办,并与中国管理科学研究院思维科学研究所、清华大学社科系等单位联合召开。会议的特点是全国性的多学科协作研究。会议的代表30人,主要来自数理逻辑、归纳逻辑、统计、人工智能、机器学习、神经网络、科学哲学、认知科学等学科。会议对过去一年来的阶段性成果进行了讨论。有的代表在IBM-PC机上演示了具有初级归纳功能的计算机系统。会上报告与讨论的问题主要有:(1)发现的定义和实质,(2)

关键词：人工智能归纳逻辑系统研讨会神经网络计算机系统机器学习数理逻辑科学哲学计算机程序认知科学

来源：评论

学校读者我要写书评

暂无评论

中国第二次世界大战史研究会2017年年会暨学术研讨会侧记二

引用

近现代国际关系史研究 2017年第2期 212-217页

作者：谢茜上海海事大学文理学院

本文主要综述中国第二次世界大战史研究会2017年年会暨学术研讨会第一组的会议情况,兼及会议的总体特点及延伸思考。一、本组讨集中的主题本次会议一共征集了五大主题,第一组研讨涉及的主题集中在以下三个方面:(一)关于二战的历史记忆... 详细信息

本文主要综述中国第二次世界大战史研究会2017年年会暨学术研讨会第一组的会议情况,兼及会议的总体特点及延伸思考。一、本组讨集中的主题本次会议一共征集了五大主题,第一组研讨涉及的主题集中在以下三个方面:(一)关于二战的历史记忆华东师范大学孟钟捷教授以回顾'德累斯顿事件'为切入点提出二战的历史记忆与当代世界的国际关系之间的新趋向,并认为当各国都从己国需要的逻辑出发纪念二战.

关键词：学术研讨会历史记忆国际关系史第二次世界大战史民间记忆海军指挥

来源：评论

学校读者我要写书评

暂无评论

国土资源部党组中心组召开学习党的十九大精神第二次集中研讨会推动习近平新时代中国特色社会主义思想在国土资源系统落地生根姜大明主持并讲话张德霖王宏严之尧作重点发言

引用

国土资源通讯 2017年第23期 5-6页

作者：乔思伟《国土资源通讯》编辑部

12月4日，国土资源部党组中心组召开学习党的十九大精神第二次集中研讨会，主要围绕十九大报告关于中国特色社会主义进入了新时代、新时代中国共产党的历史使命、习近平新时代中国特色社会主义思想和基本方略开展学习交流。国土资源部... 详细信息

12月4日，国土资源部党组中心组召开学习党的十九大精神第二次集中研讨会，主要围绕十九大报告关于中国特色社会主义进入了新时代、新时代中国共产党的历史使命、习近平新时代中国特色社会主义思想和基本方略开展学习交流。国土资源部部长、国家土地总督察姜大明主持并作总结讲话。他强调，要深刻把握十九大报告的内在逻辑，融会贯通，坚持用习近平新时代中国特色社会主义思想武装头脑、指导实践、推动工作，推动习近平新时代中国特色社会主义思想在国土资源系统落地生根、开花结果。

关键词：中国特色社会主义国土资源系统国土资源部习近平学习精神生根主持

来源：评论

学校读者我要写书评

暂无评论

第二次《墨经》研讨会在屯溪召开

引用

哲学动态 1990年第1期 15-,32页

作者：钟罗忠义

由中国科技大学、自然科学史研究室、中国科学史学会和中国逻辑史研究会共同筹办的第二次《墨经》研讨会,于10月7日至11日在安徽屯溪召开。参加会议的有墨学工作者近40人。会议围绕《墨经》中的数学、物理学和逻辑学问题展开了热烈的讨... 详细信息

由中国科技大学、自然科学史研究室、中国科学史学会和中国逻辑史研究会共同筹办的第二次《墨经》研讨会,于10月7日至11日在安徽屯溪召开。参加会议的有墨学工作者近40人。会议围绕《墨经》中的数学、物理学和逻辑学问题展开了热烈的讨论。一是讨论了墨子的姓氏、生卒、国籍及《墨经》研究的历史过程。《墨经》是墨家的著作。不少人认为它是墨子本人所著,因此提出了墨子的姓氏、生卒等问题。历来人们都断言墨子姓墨名翟,但有人则认为,墨子并非姓墨,并列举了八条根据。指出古代的九流十家都是以其学术性质而名其家,绝无以姓氏称家的。如老子创道学而称道家不称老学,孔子创儒学而称儒学不称孔家,其他如法家。

关键词：墨经墨子研讨会中国逻辑史研究逻辑学自然科学史中国科学史姓氏中国科技大学生卒

来源：评论

学校读者我要写书评

暂无评论

第九届中国音乐“金钟奖”理论评论奖研讨会综述

引用

人民音乐 2014年第2期 52-53页

作者：荣英涛《人民音乐:评论》编辑部

理论（Theory），又称学说或学说理论，指人类对自然、社会现象，按照已有的实证知识、经验、事实、法则、认知以及经过验证的假说，经由一般化与演绎推理等等的方法，进行合乎逻辑的推论性总结。④中国音乐理论研究在经历前期的填补空... 详细信息

理论（Theory），又称学说或学说理论，指人类对自然、社会现象，按照已有的实证知识、经验、事实、法则、认知以及经过验证的假说，经由一般化与演绎推理等等的方法，进行合乎逻辑的推论性总结。④中国音乐理论研究在经历前期的填补空白式的发展阶段后，也同其他学科一样迎来了寻求深层突破的时期。第九届中国音乐“金钟奖”理论评论奖是自2007年首次设立该奖项以来的第二次论著评奖，时间跨越自2000年1月1日-2012年12月31日正式出版的论著，

关键词：中国音乐“金钟奖” 研讨会综述评论音乐理论研究 2007年社会现象演绎推理填补空白

来源：评论

学校读者我要写书评

暂无评论

浅析思维导图在逻辑推理能力培养上的作用

浅析思维导图在逻辑推理能力培养上的作用

引用

广东省初等数学学会第二届第二次学术研讨会暨第二次常务理事会

作者：廖艳嫦清远市清新区龙颈镇河洞学校 511800

数学核心素养是人类认识世界、感知世界的基本素养，其中的逻辑推理能力又是其六大素养中重要的一种。思维导图的制作可以同时对左右脑进行调动，对逻辑推理能力的培养起着巨大的助力作用。本文将从思维导图对逻辑推理所需的基本能力、...

数学核心素养是人类认识世界、感知世界的基本素养，其中的逻辑推理能力又是其六大素养中重要的一种。思维导图的制作可以同时对左右脑进行调动，对逻辑推理能力的培养起着巨大的助力作用。本文将从思维导图对逻辑推理所需的基本能力、逻辑推理的几种类型的培养所起的作用进行简单论述。

关键词：