Học distributed systems (1)

PHASE 0. FOUNDATIONS (Ngày 1-30) 0.1 Mathematical Foundations (Ngày 1-12) Ngày 1: Logic mệnh đề và vị từ Mục tiêu: Đọc và viết được các phát biểu hình thức về hệ thống (invariant, precondition, postc