我註冊了一個我不應該擁有的課程。所以現在我略微搞砸了,因爲我不明白教授解釋一階邏輯時使用的任何符號。我需要一些關於如何重新學習所有這些東西的書籍建議。例如:我很困惑什麼是「量詞」(我用Google搜索後知道)。有很多例子的好書嗎?謝謝一個完整的新手(書籍推薦)的一階邏輯?
5
A
回答
1
Jon Barwise & John Etchemendy,一階邏輯的語言(CSLI出版社,1992)是偉大的。修訂和擴大版於2002年發佈,標題爲語言,證明和邏輯。
1
在加州大學洛杉磯分校的邏輯學家有一本免費的邏輯書,涵蓋一階邏輯here。
本書的好處之一是它的編寫與free software program一起使用,以幫助學習邏輯。
我已經教過三門大學邏輯學課程,發現大部分學生除了閱讀關於他們的資料外,還完成了證明和派生工作。也就是說,如果你像學習數學或編程一樣學習邏輯,你將增加獲得成功的機會。
相關問題
- 1. 一階邏輯推理
- 2. 推薦SQL練習和書籍
- 3. 推薦書籍瞭解間距
- 4. 尋求Java EE書籍推薦
- 5. 一階邏輯&序言
- 6. 一階邏輯公式
- 7. 一階邏輯引擎
- 8. 我想推薦一本關於Eclipse的富客戶端平臺(RCP)的書籍
- 9. 推薦一本關於「富有表現力」的PL/SQL的書籍?
- 10. 一階邏輯Prolog的匿名變量
- 11. 向我推薦一本好的JNI書
- 12. 業務邏輯,其中有一些推薦的地方放置邏輯(上載邏輯)
- 13. 用Xcode 4學習iPhone的推薦書籍
- 14. 關於Web Services和Portlets的推薦書籍
- 15. 推薦用於ASP.NET性能優化和測試的書籍
- 16. 使用Reporting Services學習圖表的書籍/資源推薦
- 17. .Net/C#中推薦的多線程書籍?
- 18. 面向大項目的C++書籍推薦
- 19. 什麼ASP.NET書你會推薦給一個新人?
- 20. 一個問題關於高階邏輯推理的表現力形式主義
- 21. 請推薦一本關於MVVM的完整指南/ book for silverlight
- 22. HTTP書推薦?
- 23. 幫助轉化爲一階邏輯
- 24. 人工智能和一階邏輯
- 25. 你能推薦一個好的FLEX在線資源或書嗎?
- 26. 在python中設計一個簡單的圖書推薦系統?
- 27. iOS4圖書推薦
- 28. 推薦一個iPhone項目
- 29. 如何開始爲一個完整的新手編程?
- 30. 您爲給定的架構設計推薦的最佳WCF SOA書籍