기쁜 마음으로 제 책 Logic for Programmers가 드디어 정식 출간되었음을 알려드립니다! 출시 사이트에서 확인하기 혹은 전자책이나 종이책을 바로 구매하실 수 있습니다. 얼리 액세스 버전을 구매하셨다면 leanpub에서 1.0 버전을 무료로 받으실 수 있습니다.

오랜 시간이 걸린 책입니다. 형식 논리는 소프트웨어를 이해하는 데 매우 강력한 도구입니다. “left outer join이 뭔가요”부터 “왜 Square가 Rect를 상속하면 안 되나요”까지, 논리의 기초만 알아도 훨씬 더 명확하게 이해할 수 있습니다. 하지만 그 기초를 제대로 배울 수 있는 프로그래머 중심의 자료는 없었습니다. 그냥 수학책을 펼쳐 보거나 어깨너머로 자연스럽게 익히기를 기대할 수밖에 없었죠.

어깨너머로는 절대 익혀지지 않습니다.

그래서 지난 5년간 제가 직접 그 자료를 만들었습니다. Logic for Programmers는 현업 개발자를 위해 기초 논리와 그 다양한 활용법을 가르치는 책으로, 프로퍼티 기반 테스팅부터 도메인 모델링, 논리 프로그래밍까지 폭넓은 주제를 다룹니다. 수학 배경이 없어도 읽을 수 있도록 썼습니다. AND와 OR가 뭔지 안다면 이 책을 읽을 수 있습니다. 각 장의 주제를 수개월에 걸쳐 연구한 뒤, 정확성을 확인하기 위해 해당 분야 전문가에게 검토를 받았고, 다시 주니어 프로그래머에게 보여주며 이해하기 쉬운지 확인했습니다.

아무튼 저는 지금 완전히 지쳤지만 드디어 끝냈다는 사실에 기쁩니다. 읽어주셔서 정말 감사드리며, 책을 즐겁게 읽어주시길 바랍니다.