数理逻辑+恩德+滕著
@荀裘3809：有哪些值得推荐的学习数理逻辑的书籍 -
章径19743768131…… 觉得自己够聪明的话直接读汪芳庭的《数理逻辑》.《符号逻辑讲义》徐明著 数理逻辑 Herbert B. Enderten 著 沈复兴等译 人民邮电出版社 或者直接英文:a mathematical introduction to logic 《符号逻辑讲义》
@荀裘3809：数理逻辑最初是由哪位科学家提出的 -
章径19743768131…… 数理逻辑是以符号语言为主要工具语言的逻辑,也被称为符号逻辑. 其提出可以追溯到17世纪后期到18世纪早期的著名科学家和哲学家“莱布尼茨(Leibniz, 1646-1716)”,他的代表作是《人类理智新论》.他区分了理性真理和事实真理,前者...
@荀裘3809：数理逻辑是啥? -
章径19743768131…… 数理逻辑又称符号逻辑、理论逻辑.它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科.其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统.数理逻辑是数学基础的一个不可缺少的组成部分.虽然名...
@荀裘3809：数理逻辑,有什么专业书,介绍一本,书名,出版社,作者,出版时间 -
章径19743768131…… 目前比较好的教材有: 汉米尔顿的《数理逻辑》,朱水林翻译的 还有《面向计算机的数理逻辑》忘记是陆钟万或者陆汝钤了 人民大学的陈幕泽也写过一本《数理逻辑》. 推荐的就是上面的基本 出版社和出版时间忘记了,汉米尔顿的《数理逻辑》很老的教材,但是最经典
@荀裘3809：2,创立了数理逻辑的是谁 -
章径19743768131…… 德国启蒙思想家 莱布尼茨(1646—1716)是德国自然科学家、哲学家、唯理论者、数理逻辑的创始人.他的主要著作有《形而上学谈话》、《人类理智新论》、《神正论》、《单子论》等.
@荀裘3809：逻辑问之 - 1:数理逻辑与形式逻辑的区别如题
章径19743768131…… 形式逻辑,又称普通逻辑,是研究思维形式及其结构、思维规律的科学. 数理逻辑,又称符号逻辑,是用数学方法研究关于推理证明等问题的一门学科. 前者研究思维形式及其结构、思维规律,还研究定义、划分、分析、综合、试验、假说等逻辑方法. 后者主要内容有命题演算、谓词演算、算法理论、递归论、证明论、模型论和集合论等. 仅供参考.
@荀裘3809：给高中生推荐几本关于逻辑学的书 -
章径19743768131…… 逻辑哲学论》维特根斯坦 《逻辑哲学论》研究 翰林合 《逻辑学》黑格尔 《逻辑学导论》柯匹 《形式逻辑原理》中国社会科学院文库 《逻辑学》姜全吉 迟维东 《形式逻辑》华东师范大学出版社 《哲学逻辑研究》中国社会科学院文库 《数理逻辑引论》大连理工大学出版社 《数理逻辑》人民邮电出版社 ＂逻辑学＂ 李小克编写 挺有条理挺通俗的易懂 最贵不超过500 建议网上买
@荀裘3809：我研究生想走数理逻辑方向,本科只要学好分析学便够了吗? -
章径19743768131…… 楼主千万别受一楼的误导. 数理逻辑虽然起源于哲学问题,但现代的数理逻辑早就没有哲学的味道了,而是纯粹的,技术性极强的数学. 因此看那些古典的哲学书对于从事专业的数理逻辑方向可以说几乎没有帮助,读多了反而是误导. 学习数落逻辑,最重要的还是打下坚实的数学基础,掌握熟练的数学技巧.我认为本科数学专业阶段对于数理逻辑最基础和重要的几门课是:数学分析,实变函数,泛函分析,组合数学,近世代数,拓扑学.尤其是这些课程的技巧,熟练的掌握它们对于学好数理逻辑是非常重要的.
@荀裘3809：《资本论》的数学方法:数理逻辑还是非经典逻辑? -
章径19743768131…… 既是数理逻辑,也是非经典逻辑.劳动价值论的数学模型分析:方法论特性与建构 《财经研究》, 2008(4) 马克思主义政治经济学方法是实践观指导下的科学的抽象分析法.劳动价值论的实质是唯物史观方法论的不断转化和科学运用,具体化形式是哲学思维分析与数学模型分析的统一,从而构成经济本质分析与经济运行分析统一的基础.具体而言,价值创造及运行对应了微观层面的价值(经济)本质分析和价值(经济)运行分析的统一,价值决定及其运行对应了宏观层面的价值(经济)本质分析和 价值(经济)运行分析的统一.在当前,劳动价值论的数学模型分析需要更加广义化和应用化,以增强实际运用价值.
@荀裘3809：我想自学数理逻辑,怎么购买相应的教材 -
章径19743768131…… 面向计算机科学的数理逻辑(第二版) 陆钟万 科学出版社 非常数学化的一本书 数理逻辑(英文影印版)(第2版) (美)Herbert B.Enderton 人民邮电出版社 除了一阶逻辑,还介绍二阶逻辑、计算理论 数理逻辑(修订版·影印版) A.G....
章径19743768131…… 觉得自己够聪明的话直接读汪芳庭的《数理逻辑》.《符号逻辑讲义》徐明著 数理逻辑 Herbert B. Enderten 著 沈复兴等译 人民邮电出版社 或者直接英文:a mathematical introduction to logic 《符号逻辑讲义》
@荀裘3809：数理逻辑最初是由哪位科学家提出的 -
章径19743768131…… 数理逻辑是以符号语言为主要工具语言的逻辑,也被称为符号逻辑. 其提出可以追溯到17世纪后期到18世纪早期的著名科学家和哲学家“莱布尼茨(Leibniz, 1646-1716)”,他的代表作是《人类理智新论》.他区分了理性真理和事实真理,前者...
@荀裘3809：数理逻辑是啥? -
章径19743768131…… 数理逻辑又称符号逻辑、理论逻辑.它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科.其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统.数理逻辑是数学基础的一个不可缺少的组成部分.虽然名...
@荀裘3809：数理逻辑,有什么专业书,介绍一本,书名,出版社,作者,出版时间 -
章径19743768131…… 目前比较好的教材有: 汉米尔顿的《数理逻辑》,朱水林翻译的 还有《面向计算机的数理逻辑》忘记是陆钟万或者陆汝钤了 人民大学的陈幕泽也写过一本《数理逻辑》. 推荐的就是上面的基本 出版社和出版时间忘记了,汉米尔顿的《数理逻辑》很老的教材,但是最经典
@荀裘3809：2,创立了数理逻辑的是谁 -
章径19743768131…… 德国启蒙思想家 莱布尼茨(1646—1716)是德国自然科学家、哲学家、唯理论者、数理逻辑的创始人.他的主要著作有《形而上学谈话》、《人类理智新论》、《神正论》、《单子论》等.
@荀裘3809：逻辑问之 - 1:数理逻辑与形式逻辑的区别如题
章径19743768131…… 形式逻辑,又称普通逻辑,是研究思维形式及其结构、思维规律的科学. 数理逻辑,又称符号逻辑,是用数学方法研究关于推理证明等问题的一门学科. 前者研究思维形式及其结构、思维规律,还研究定义、划分、分析、综合、试验、假说等逻辑方法. 后者主要内容有命题演算、谓词演算、算法理论、递归论、证明论、模型论和集合论等. 仅供参考.
@荀裘3809：给高中生推荐几本关于逻辑学的书 -
章径19743768131…… 逻辑哲学论》维特根斯坦 《逻辑哲学论》研究 翰林合 《逻辑学》黑格尔 《逻辑学导论》柯匹 《形式逻辑原理》中国社会科学院文库 《逻辑学》姜全吉 迟维东 《形式逻辑》华东师范大学出版社 《哲学逻辑研究》中国社会科学院文库 《数理逻辑引论》大连理工大学出版社 《数理逻辑》人民邮电出版社 ＂逻辑学＂ 李小克编写 挺有条理挺通俗的易懂 最贵不超过500 建议网上买
@荀裘3809：我研究生想走数理逻辑方向,本科只要学好分析学便够了吗? -
章径19743768131…… 楼主千万别受一楼的误导. 数理逻辑虽然起源于哲学问题,但现代的数理逻辑早就没有哲学的味道了,而是纯粹的,技术性极强的数学. 因此看那些古典的哲学书对于从事专业的数理逻辑方向可以说几乎没有帮助,读多了反而是误导. 学习数落逻辑,最重要的还是打下坚实的数学基础,掌握熟练的数学技巧.我认为本科数学专业阶段对于数理逻辑最基础和重要的几门课是:数学分析,实变函数,泛函分析,组合数学,近世代数,拓扑学.尤其是这些课程的技巧,熟练的掌握它们对于学好数理逻辑是非常重要的.
@荀裘3809：《资本论》的数学方法:数理逻辑还是非经典逻辑? -
章径19743768131…… 既是数理逻辑,也是非经典逻辑.劳动价值论的数学模型分析:方法论特性与建构 《财经研究》, 2008(4) 马克思主义政治经济学方法是实践观指导下的科学的抽象分析法.劳动价值论的实质是唯物史观方法论的不断转化和科学运用,具体化形式是哲学思维分析与数学模型分析的统一,从而构成经济本质分析与经济运行分析统一的基础.具体而言,价值创造及运行对应了微观层面的价值(经济)本质分析和价值(经济)运行分析的统一,价值决定及其运行对应了宏观层面的价值(经济)本质分析和 价值(经济)运行分析的统一.在当前,劳动价值论的数学模型分析需要更加广义化和应用化,以增强实际运用价值.
@荀裘3809：我想自学数理逻辑,怎么购买相应的教材 -
章径19743768131…… 面向计算机科学的数理逻辑(第二版) 陆钟万 科学出版社 非常数学化的一本书 数理逻辑(英文影印版)(第2版) (美)Herbert B.Enderton 人民邮电出版社 除了一阶逻辑,还介绍二阶逻辑、计算理论 数理逻辑(修订版·影印版) A.G....
