프로그래머를 위한 논리: 수학을 통해 소프트웨어를 더 잘 설계하고 검증하는 법

Logic for Programmers

저는 일상적인 프로그래밍 경험을 바탕으로 논리를 활용해 소프트웨어를 더 잘 설계하고 검증하는 방법을 소개합니다. 복잡한 수학 지식이 없어도 Boolean 연산만 알면 조건문 단순화부터 분산 시스템의 경쟁 상태 탐지까지 실용적인 기법을 습득할 수 있습니다. 이 책은 중급 이상의 개발자를 위해 작성되었으며, 각 장은 독립적으로 구성되어 필요에 따라 선택적으로 읽을 수 있습니다.