考研离散数学自学教材推荐
这本教材内容全面,覆盖了离散数学的各个方面,包括集合论、命题逻辑、图论等。而且,每章都有大量的习题,可以帮助我们巩固所学的知识。总之,这本教材是非常适合考研学习的。2.《离散数学及其应用导论》这本教材是由清华大学计算机系编写的,是国内一流高校的离散数学课程教材。它与《离散数学及其应用》类似,但更加...
考研草稿纸使用有技巧
例如在命题逻辑部分,无非是这么几种题目:将自然语言表述的命题符号化,等价命题的相互转化(包括化为主合取范式与主析取范式),以给出的若干命题为前提进行推理和证明。相应的对策也马上就可以提出来。以推理题为例,主要是利用P、T规则,加上蕴涵和等价公式表,由给定的前提出发进行推演,或根据题目特点采用真值表法、CP...
爱因斯坦认为:中国没有形式逻辑学,道理何在?
逻辑不等于形式逻辑学。要说中国人没逻辑,那肯定是个笑话;中国人不但有逻辑,而且还有一种不同于形式逻辑的很厉害的逻辑,这就是老子《道德经》中说的“正言若反”,“反者道之动”。但是,要说作为一种学科的逻辑学体系,那的确不是来自本土,如所有的科学系统一样,都是舶来品。从这个角度说,爱因斯坦没有说错。
【转载】本科逻辑学专业考研考研方向有哪些?可以考哪些专业?
逻辑学考研方向有010100哲学、010101马克思主义哲学、010102中国哲学、010108科学技术哲学等9个专业,下面我们看一下详情。一、本科逻辑学专业是什么概况呢?逻辑学是什么?逻辑学研习中西逻辑史、逻辑学、数理逻辑、思维科学等方面的基本理论和知识,以人类的思维形式及思维规律为研究对象,横跨数学、物理、计算机等多个学...
评论与争鸣 | 欧陆哲学讲逻辑吗?——分析哲学和欧陆哲学的论辩
说理—论辩—论证—逻辑—形式逻辑—数理逻辑/现代逻辑这个序列像一把标尺,可以用来测量某种哲学在方法方面的刻度,或称为“哲学方法论标尺”。如果用这把尺子量分析哲学,其刻度至少是“形式逻辑”,还可以到“数理逻辑/现代逻辑”。对于以苏格拉底、柏拉图和亚里士多德古希腊三贤学说为代表的古希腊哲学来说,其刻度应该...
从“废话文学”盘出的逻辑,能让你的数学思维进步一大截!_腾讯新闻
要知道,开启信息时代的计算机编程理论,正是从基于形式语言的数理逻辑理论发展起来的,我们其实早已浸润在演绎推理所塑造的宏伟智能之中——我们用的电脑手机、玩的游戏、坐的汽车飞机,这一切我们早已习以为常的事情,都是基于自古希腊起人类对演绎推理的自省、探索与征服啊!
从“废话文学”盘出的逻辑,能让你的数学思维进步一大截!_腾讯新闻
要知道,开启信息时代的计算机编程理论,正是从基于形式语言的数理逻辑理论发展起来的,我们其实早已浸润在演绎推理所塑造的宏伟智能之中——我们用的电脑手机、玩的游戏、坐的汽车飞机,这一切我们早已习以为常的事情,都是基于自古希腊起人类对演绎推理的自省、探索与征服啊!
今天是世界逻辑日|张建军:极简逻辑史话
同时,经院哲学家十分重视逻辑学研究,他们不仅进一步完善了以直言三段论为核心的亚里士多德型词项逻辑理论,在亚里士多德工作的基础上进一步探讨了模态推理,而且又重新建构了当时已失传的命题逻辑理论,并做了很大的拓广性研究,从而构成了西方演绎逻辑学发展史上的第二大高峰期。亚里士多德型词项逻辑与模态逻辑理论、传统...
“中西的名、实与逻辑学”
邢滔滔现为北京大学哲学系教授,逻辑教研室主任。主要研究领域为符号逻辑、数学哲学、宗教哲学、中国古代逻辑思想。编、著有《数理逻辑》(北京大学出版社,2008年)、《名家》(中国人民大学出版社,2021年)、PhilosophyofReligion(《宗教哲学经典选读》,与MelStewart合作主编,北京大学出版社,2005年)等书册。在中外学术...
爱因斯坦认为:中国古代没有形式逻辑学,这话没错
有有也者,有无也者,有未始有无也者,有未始有夫未始有无也者。俄而有无矣,而未知有无之果孰有孰无也。今我则已有谓矣,而未知吾所谓之其果有谓乎,其果无谓乎?"是不是很烧脑?如果是一道复杂的数理逻辑命题,用中国文字多半是推不下去的。