数理逻辑相关论文
《离散数学》是计算机专业的基础课,通过学习离散数学课程,可以培养抽象思维和严格的逻辑推理能力,为后续专业知识的学习和研究打下坚......
<正> 《辞书研究》1984年第2期上,有一篇徐庆凯同志的文章《从辞书学角度评<逻辑学辞典>》。这篇文章说:“《逻辑学辞典》……填补......
<正> 为了尽可能接近国际逻辑界的水准,准确地向中国广大读者介绍逻辑史、传统逻辑和现代逻辑的基础知识,《中国大百科全书·哲学......
<正> 继1988年4月在扬州召开第一届归纳逻辑与人工智能研讨会之后,1989年7月24—29日在成都召开了第二次会议。会议由王雨田教授主......
<正> 朱水林的《现代逻辑引论》一书1989年11月已由上海人民出版社出版。拜读之后,觉得该书很有些特色,就此谈谈一些想法。第一,现......
<正> (1) G·Takeuti和W.M.Zaring的《公理化集合论导引》第2版(Introduction to Axiomatic Set Theory [2nd ed]),本书以Zermelo-......
<正> 读过诸葛殷同同志的《辩证逻辑究竟是不是逻辑?》一文(载《哲学动态》1991年5期,以下简称“诸葛文”)后,我对该文就《辩证逻......
<正> 非形式逻辑是如可诞生的?它研究些什么内容?它对思维科学的研究具有怎样的哲学意义?本文试图对此作一较全面的介绍和分析。 ......
<正> 正统数理逻辑实质上仅只涉及了逻辑常项(非范畴词)及其非演算(一),而逻辑变项(范畴词)及其反演算(~)实质上至今未进入数理逻辑......
<正>我写了评《辩证逻辑导论》(以上简称《导论》)和《辩证逻辑教程》(以下简程《教程》)的《辩证逻辑究竟是不是逻辑?》(以下简称......
2014年6月8日,由中国逻辑学会现代逻辑专业委员会主办、河北大学政法学院承办的“数理逻辑与哲学逻辑叫014年全国现代逻辑学术研讨......
<正> 我国迄今为止一部资料最详、内容最全、起止年代最长的中国逻辑史通史性专著——五卷本《中国逻辑史》(以下简称“五卷本”)......
<正> 自然科学技术与哲学社会科学相互渗透、相互结合的趋势是近半个世纪以来科学技术革命向纵深发展的一个突出特点。这不仅与种......
亚里士多德的《工具论》奠定了逻辑学研究的基础。然而随着以亚里士多德三段论为基础的演绎逻辑的发展,尤其是弗雷格之后数理逻辑在......
本文认为,泛系方法论是崛起于东方的一种独具特色的现代哲学理论。它为辩证法的部分拟化提供了参考框架,为辩证法提供了新的范畴和......
由郁慕镛、俞瑾主编的《形式逻辑纲要》(1992)已由江苏科技出版社出版。这是一本普通逻辑、数理逻辑兼而有之的“二合一”教材,作者作......
逻辑哲学的一个具体困难在于:与数学、物理学、生物学、心理学和历史学相比,逻辑学本身有一个欠发达的学科身份。像其现代形式的任......
目前,大多数高等学校开设了数理逻辑课程,但是开设数理逻辑通识课程的却寥寥无几,针对数理逻辑的课程思政则更少.通过分析数理逻辑......
会计应该是符合逻辑的,而人们对会计逻辑的认识往往受制于自身的认识能力.现实中,会计理论在逻辑上存在不少缺陷.文章探讨了如何通......
在所提出的互逆主义数理逻辑的二层单准逻辑演算的二层假言推理的基础上构造了二层单准Prolog、自底向上的二层单准专家系统、二层......
软件设计和硬件设计中的许多问题可归结为某个常数项都是1的线性逻辑方程组模型。给出了该类方程组极小解的定义。用布尔矩阵的初......
本文通过对建筑形态和形态发生理论的讨论,比照两者之间的系统性异同,着重从动理机制角度探究建筑形态的发生,试图引起有关数字化......
作为中医理论基础的阴阳五行模型学说必须得到数学和逻辑的统一描述。这就要求中医教育必须明确描述阴阳五行的自然起源,并清楚阐述......
@@目前用现代科学的方法(数理逻辑体系即抽象思维体系)研究中医,研究传统文化,局限只能用唯物的角度研究,说中西医结合,只能从唯物中医......
20世纪后期出现的自然语言逻辑是众多现代逻辑系统中的一种,它以自然语言中出现的逻辑问题为研究对象。虽然它比以前逻辑系统中的语......
本文利用抽屉原理证明了Erd(o)s和Szekeres(1935)以及Greenwood和Gleason(1955)提出的Ramsey定理及其推广.并用抽屉原理构造证明了......
数理逻辑智能是指数学和逻辑推理的能力以及科学分析的能力,是对逻辑结构关系的理解、推理、思维表达能力。主要表现为个人对事物间......
张天弓 中国书法家协会学术委员会副主任、湖北省书法家协会副主席,湖北省人民政府文史馆员,华中师大长江书法研究院副院长,郑州大学......
核心提示:据英国《每日邮报》3月15日报道,牛津大学社会人类学博士、澳大利亚女子菲奥娜·格雷姆(Fiona Graham)是世界上第一位接受......
【摘要】什么是课堂教学?新的课堂教学模式是什么样的?优化的课堂教学对发展学生多元的智能有何作用?所谓课堂教学是开发智能,培养智能......
【摘要】 无论是新课程理念的要求,还是通过对学生调查的结果分析发现的问题,都亟待要求数学教师反思当前数学教学的问题,改变落后的......
4月23日,中国科学院软件研究所(以下简称软件所)里鸿儒齐聚。他们中很多人都白发苍苍,有些还是远涉重洋而来。这一天,胡世华先生诞辰100......
爱科幻电影,是《哈利·波特》忠实粉丝,还是学院长跑冠军。他年方22岁便在国际数学界崭露头角,他是学院的“中跑双冠王”,他戴着太阳帽......
2011年7月的一天,著名数学家侯振挺教授专程拜访数理逻辑专家丁德成教授。期间。丁教授很兴奋地告诉侯教授:“你们中南大学出了个好......
【摘要】每个学生都是一个独立的整体,他们本身存在个体差异,我们在教学中要挖掘尽可能多的智能因素,设计多种教学方法,创造更多的机会......
沈有鼎,逻辑学界想是还记得他;沈有乾,怕是连界内人士也已遗忘了。其实,二沈,作为中国逻辑学界的开拓者、先行者与天才人物,无论界内还是......
【摘要】在新高考模式下,在高中数学教学中融入多元智能理论具有非常重要的意义.首先从学生观、教学观、评价观三个理论视角充分阐......
文章阐述了研究构建数理逻辑考试及自动阅卷系统的意义,论述了系统的设计与实现方案,对系统的学生管理模块、题库管理模块、考试管......