很開心向大家宣布，我的新書 Logic for Programmers 已經正式上市！歡迎到新書官網看看，或是直接購買電子書或紙本版。如果你之前已經購買過搶先體驗版，可以直接在 Leanpub 上免費取得 1.0 正式版。

這本書醞釀了很長一段時間。形式邏輯是理解軟體的極為強大的工具。從「什麼是 left outer join」到「為什麼 Square 不該繼承 Rect」，只要懂一點基本的邏輯，這些問題都會變得更有道理。然而，卻一直沒有真正針對程式設計師、能讓人學會這些基礎的資源。你大概只能自己去翻開一本數學書，或是期待靠耳濡目染自然學會。

靠耳濡目染這招是行不通的。

所以我花了過去五年來打造這份資源。Logic for Programmers 要教給第一線的開發者基礎邏輯及其眾多應用，涵蓋的領域非常多元，從屬性測試、領域建模到邏輯程式設計都有。這本書是為沒有數學背景的人寫的：只要你懂 AND 和 OR，就能讀懂這本書。每個章節的主題我都花了數個月研究，然後請領域專家審閱以確保內容正確，再請資淺的程式設計師試讀，確保內容平易近人。

總之，我現在非常累，但也很高興終於完成了。非常感謝你的閱讀，希望你會喜歡這本書。