书籍资料的公告栏

推荐书籍豆列

国外优秀教科书拔萃 ( 全部 )

2020-04-04 21:18:14
本篇介绍的内容是《Concise Introduction to Mathematical Logic》序中的第一自然段和导论全文。 介绍这个材料的理由是:序作者和教科书作者用了非常「精致」、简练和漂亮的语言,勾勒出了数理逻辑的概貌,对于数理逻辑的初学者来说不啻是一个学习路线导图,使你将学过的或者将要学到的知识点连成一条线。关于这部教科书本......
2019-05-20 05:02:46
本书第一章《背景》包含8个小节 1.1 数理逻辑概览 1.2 归纳法 1.3 形式系统 1.4 集合论、函数、关系 1.5 可数集与不可数集 1.6 公理系统 1.7 可判定性与可计算性 1.8 递归函数与递归关系 本篇笔记是1.1小节的归纳和整理,没有过多我个人的观点、体会、展开,以课堂笔记的形式罗列出书中重点。 1 数理逻辑使用数学工具研...... (1回应)
2018-12-07 07:10:54
Richard Hodel: An Introduction to Mathematical Logic 前言 本书可用于数理逻辑和递归论的各种课程。尽管我写作时心目中最主要的对象是数学专业,但由于书中的重点是算法和论证形式的有效性,因此也适用于计算机科学和哲学的学生。 这部教科书的最大特点是具有大量的练习。在讨论如何使用这部教科书之前,我想先简要谈谈...... (2回应)

好书推荐 ( 全部 )

2020-07-27 08:07:10
Susanne K. Langer《符号逻辑入门》 这是一本非常独特的逻辑学入门教材。它的独特性反映在下列几个方面: 1. 这本书非常「古老」,它的第一版出版时间是1936年,其时,符号逻辑还属于学术圈内非常高精尖的前端学科(想想哥德尔定理刚刚问世还没有几个人可以看懂)。而且作者本人在第一版序言开篇第一句就是:符号逻辑还是一......
2019-06-09 13:12:30
Richard Hodel:《数理逻辑导论》中推荐的参考书 【说明】: Richard Hodel的《An Introduction to Mathematical Logic》的书末,给出了一份数理逻辑的参考书和阅读清单,个人觉得很有代表性,基本上覆盖了本书的主要话题并列出了关于同一话题的各家之言。 这个推荐书单,分为8部分: 第一部分:数理逻辑的标准教科书,覆盖...... (1回应)
2018-01-08 16:27:38
作者:Charles C. Pinter 本书的豆瓣链接是这里。 本书的下载地址是这里。 如果你打算学习抽象代数,或者你被要求学习抽象代数,或者,你已经学了一个学期的抽象代数但是除了“被虐”的感觉外没有学到任何有用的东西,这本书或许能给你带来少许的安慰——它是一本“口吐人言”的数学教科书。 作者在前言中回顾了他当学生......
2016-12-05 20:11:34
豆瓣链接 学习逻辑的必读书之一 在amazon.com关于本书的一则评论让我印象深刻:Alfred Tarski是史上最伟大的5位逻辑学家之一,其他4位是亚里士多德、布尔、弗雷格和哥德尔。 Tarski的最大成就之一就是创立元语言和对象语言的学说,第一次真正解决了说谎者悖论的问题,而这个问题是困扰了西方哲学、逻辑学和数学几千年的...... (3回应)
2016-05-06 12:48:25
本书的豆瓣地址 本书是Gamut《Logic, Language, and Meaning》系列第二卷,是非常优秀的形式语义学入门教科书。 本书的内容包括了如下几个方面: · 内涵逻辑介绍 · 模态逻辑入门:可能世界语义论 · 模态逻辑入门:时态逻辑 · 模态时态逻辑 · 内涵谓词逻辑 · 类型论和范畴语法初步 · 内涵类型论 · 蒙太古语法入门 ......
2015-02-05 17:17:44
http://book.douban.com/subject/4266082/ 强烈推荐这本书!!不管你是不是数学专业也不管是否熟知数学归纳法。我曾说过,所谓“大牛”不是牛气哄哄的“牛”,而是“吃的是草挤出的是奶”的牛。【华罗庚】的名字,如雷贯耳,就不用介绍了。 最令人敬仰的是,他的著作总是那么平易近人,把那些看上去“高深的理论”解释得那...... (1回应)
2015-01-21 15:05:56
http://book.douban.com/subject/2882849/ 一本令人感动、不忍卒读的数学书。我可以想象书的作者在现实生活中也一定是一位善良、诲人不倦的好老师。不知道我在说什么?是的,我的思绪跟着书的作者走了,把看我笔记的读者忘了。 不错,这是一本数学书,书的内容是教学生如何做数学证明。为什么要写这本书?作者认为,当一个...... (2回应)
2015-01-18 01:11:07
http://book.douban.com/subject/2870433/ 一本非常接地气的经典教科书加百科全书。它的权威性毋庸置疑,甚至想将这本书放在【名师名著】栏目。可以说读懂读通了这本书,天下再无什么数理逻辑的书能难倒你。不过这本书只适合那些把数理逻辑当做自己生涯学习一部分的“严肃读者”,如果你的目的是“考研”什么的,还是算了...... (1回应)
2014-12-27 18:57:14
http://book.douban.com/subject/2295180/ 这本书是由五位来自不同学科的荷兰学者共同完成的: 1. J. F. A. K. van Benthem, 数理逻辑 2. J. A. G. Groenendijk, 哲学和计算语言学 3. D. H. J. de Jongh, 数学与哲学 4. M. J. B. Stokhof, 哲学与计算语言学 5. H. J. Verkuyl, professor 语言学 第一位来自格罗宁根大学,...... (3回应)
2013-06-25 12:43:31
逻辑哲学九章 张清宇 http://book.douban.com/subject/1053926/ ★★★★★ 相当于一个小论文的合辑,个人非常喜欢第一章什么是逻辑,第六章显得逻辑的多样化发展,第七章逻辑与哲学。这几个章节对于逻辑史有相关性的介绍,在读的时候更容易理解整个脉络。其他章节则多从定义到形式,技术向更强一些。 这本是属于逻辑学...... (4回应)

专业论文摘要 ( 全部 )

2020-03-30 21:33:52
作者:Georg Schiemer, Erich Reck 发表刊物:The Bulletin of Symbolic Logic 刊号:第19卷第4期 发表日期:2013年12月 论文标题:Logic in the 1930s: Type Theory and Model Theory 使用语言:英语 作者所在单位: MUNICH CENTER FOR MATHEMATICAL PHILOSOPHY (MCMP) LUDWIG-MAXIMILIANS UNIVERSITÄT MÜNCHEN, D-8......

西哲资料 ( 全部 )

2013-08-16 11:59:16
这里的答案都是站长本人亲手整理打出来的,转走的时候也请注明下吧,如果有用就留下你的感谢,站长也会很开心的。 自我设定自我(费希特)(2011) 是费希特的知识学中的第一原则的概念。自我既是理性也是意志,既是认识也是行动,把认识和实践联系起来。第一原则有三条,自我设定自身,自我设定非我,自我和非我的统一。 ...... (2回应)
2013-08-16 11:58:27
这里的答案都是站长本人亲手整理打出来的,转走的时候也请注明下吧,如果有用就留下你的感谢,站长也会很开心的。 哥白尼革命(2012)(2004论述)(2000论述) 在《纯粹理性批判》第二版序言中,康德说明了他解决哲学问题的根本原则,即他的“哥白尼革命”。 18世纪时,在人们的观念中,绝对真理,亦即普遍必然性的科学知......
2013-08-16 11:57:24
这里的答案都是站长本人亲手整理打出来的,转走的时候也请注明下吧,如果有用就留下你的感谢,站长也会很开心的。 洞穴假相(培根)(2012) 培根形象地把科学发展的障碍比喻为“假相”,“四假相”说更深入地分析了传统科学观赖以生存的心理根源和社会根源。 “洞穴假相”是个体差别造成的缺陷,每一个人都从自己所处的“......
2013-08-16 11:56:38
这里的答案都是站长本人亲手整理打出来的,转走的时候也请注明下吧,如果有用就留下你的感谢,站长也会很开心的。 论述:洛克批判天赋观念论(2012) 在《人类理智论》的开始部分,洛克针锋相对地批判了天赋观念论,明确否定了天赋观念的存在。理由有下: 首先,“天赋观念”是没有必要的理论假设。洛克说,上帝既然赋予人......
2013-08-16 11:55:19
这里的答案都是站长本人亲手整理打出来的,转走的时候也请注明下吧,如果有用就留下你的感谢,站长也会很开心的。 启蒙运动(2012)(2005) 法国启蒙运动是18世纪在欧洲兴起的启蒙运动的组成部分,但它是最为彻底和影响最大的,最具代表性。它不仅在当时影响巨大,而且在后来的世纪里影响深远。 它的特点有: 1、它是一场......
2013-08-16 11:54:10
这里的答案都是站长本人亲手整理打出来的,转走的时候也请注明下吧,如果有用就留下你的感谢,站长也会很开心的。 斯多亚派(2008) 斯多亚派是古希腊哲学中流行最广泛、延续时间最长的一个派别。一般分为三个时期:早期斯多亚学派(公元前4至2世纪左右希腊化时期),代表人物有芝诺、克里尼雪斯和克吕西甫,特点是在自然...... (1回应)
2013-08-16 11:53:00
这里的答案都是站长本人亲手整理打出来的,转走的时候也请注明下吧,如果有用就留下你的感谢,站长也会很开心的。 泰利斯(2012)水是万物的本原(2008) 西方哲学史上公认的第一位哲学家,希腊“七贤”之一。早期自然哲学家,天文学家,宇宙学家,数学家。 第一个提出“什么是世界本原”的问题。提出水本原说,并给予经验......
逻辑
逻辑学是哲学、数学、语言学和计算机科学的基础。本站将为所有同好提供一个展示、介绍各种逻辑知识以及语义论和相关逻辑语法的平台。欢迎豆友关注。

关注该小站的成员 ( 5192 )

  • 冬日里的阳光13
  • 塔灣子
  • 苏樱
  • 琉璃
  • 豌豆蔻儿
  • 戊戌年六月廿九
  • 偷钻石的小子
  • KODAILU

关注该小站的成员也关注