프로그래밍 언어 없이 이론적으로만 자세하게 설명해주는 책 있음?