[書籍] 有人知道數理邏輯的聖經or經典書籍嗎?

看板Math作者 (D調)時間14年前 (2012/01/14 01:37), 編輯推噓7(7推 0噓 15→)
留言22則, 9人參與, 最新討論串1/2 (看更多)
說到高微的經典或聖經，大家一致公認Apostol&Marsden 巨擘的櫃台小姐說這兩本賣超好 高微有基礎後，可能有些人會想繼續看Rudin美妙的證明 說到線性代數的經典，非Friedberg莫屬 微方的經典可能是Boyce 想請問有人知道數理邏輯的經典是哪本嗎?@@ 謝謝大家!!:) -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 118.167.10.32
推
01/14 01:40, , 1F
經典當然很多 不錯新書也有很不錯的 重點是要看領域
01/14 01:40, 1F
→
01/14 01:41, , 2F
我現在書架上的有van Dalen "Logic and Structure"
01/14 01:41, 2F
→
01/14 01:41, , 3F
Enderton "A Mathematical Introduction to Logic"
01/14 01:41, 3F
→
01/14 01:42, , 4F
Cutland "Computability"
01/14 01:42, 4F
→
01/14 01:44, , 5F
Troelstra "Basic Proof Theory"這些都很熱門的書
01/14 01:44, 5F
→
01/14 02:15, , 6F
感謝樓上大大熱心分享!^_^
01/14 02:15, 6F
→
01/14 06:42, , 7F
高微我會說 John&Courant
01/14 06:42, 7F
→
01/14 07:43, , 8F
Courant&John的書很好，不過應該算是微積分課本
01/14 07:43, 8F
這套書是初微超經典!不過如樓上大大所言，這是初微課本，高微內容應該還是AP比較完整
推
01/14 07:46, , 9F
Marsden那本是不是有個共同作者Michael Hoffman?
01/14 07:46, 9F
→
01/14 07:47, , 10F
書名是叫做Elementary Classical Analysis?粉紅書皮
01/14 07:47, 10F
是的
推
01/14 08:03, , 11F
我們用這本書，可是我覺得寫的不是很好，還是我太笨?
01/14 08:03, 11F
推
01/14 08:39, , 12F
Ebbinghaus "Mathematical Logic" 這本也不錯。
01/14 08:39, 12F
→
01/14 08:41, , 13F
John&Courant有兩冊 第二冊曾是台大數學的高微課本
01/14 08:41, 13F
推
01/14 11:35, , 14F
我一直覺得 第一冊很好第二冊念起來很痛苦......
01/14 11:35, 14F
→
01/14 12:37, , 15F
我讀大學時，曾經聽過幾位教授評論，
01/14 12:37, 15F
→
01/14 12:37, , 16F
認為 Courant 第二冊不如第一冊好
01/14 12:37, 16F
→
01/14 12:41, , 17F
另外當時有位教高微使用 Apostol 當課本的教授跟我說
01/14 12:41, 17F
→
01/14 12:42, , 18F
他覺得 Apostol 書不好，不過他找不到更適合的書
01/14 12:42, 18F
謝謝樓上各樓大大熱心分享!^_^ 第一冊才是courant寫的，第二冊是courant去世後John幫他完成的 不過我覺得無論哪一冊，有辦法唸這本書的人都不簡單@@ ※ 編輯: henri 來自: 61.218.141.194 (01/15 08:00)
推
01/16 18:54, , 19F
Boyce是經典!?我怎麼看不太出來....
01/16 18:54, 19F
推
01/16 19:39, , 20F
數理邏輯可讀Fundamentals of mathematical logic
01/16 19:39, 20F
→
01/16 19:39, , 21F
麻省理工數學所課程的教材 800多頁
01/16 19:39, 21F
→
01/16 19:39, , 22F
作者是Peter G.Hinman
01/16 19:39, 22F
謝謝樓上大大!^o^ ※ 編輯: henri 來自: 118.167.2.114 (01/17 18:02)
‣ 更多 henri 的文章
文章代碼(AID): #1F46lsfi (Math)
‣ 更多 henri 的文章
文章代碼(AID): #1F46lsfi (Math)