Lập trình

Sách về thuật toán, thiết kế hệ thống và phương pháp hình thức.

Sách về thuật toán, cấu trúc dữ liệu, thiết kế hệ thống và xác minh chính thức.

Sách	Giới thiệu
[Sách dạy nấu ăn về thuật toán]({{< relref "programming/algorithms/_index.md" >}})	Các mẫu thực tế, lập luận đúng đắn và kỹ thuật triển khai
[Thiết kế hệ thống]({{< relref "programming/system-design/_index.md" >}})	Khả năng mở rộng, kiến trúc và giải quyết vấn đề theo phong cách phỏng vấn
[Độ nghiêng]({{< relref "programming/lean/_index.md" >}})	Chứng minh định lý, hình thức hóa và kỹ thuật chứng minh