188 166 8kbet

Mô tả sản phẩm

188 166 8kbet Với sự lớn mạnh của ngành hàng hải Anh, những người so sánh giờ Mặt Trời của họ với giờ GMT để suy ra kinh độ, giờ GMT bắt đầu được truyền bá trong hàng hải thế giới. Các múi giờ của hàng hải cũng được hình thành dựa trên số giờ hay số nửa giờ sớm hơn hay muộn hơn GMT.

Từ những năm 1970, mối quan tâm chính của Dijkstra là kiểm định hình thức (''formal verification''). Quan niệm phổ biến thời đó là người ta nên đưa ra một chứng minh toán học về tính đúng đắn của chương trình sau khi đã viết chương trình đó. Dijkstra đã phản đối rằng các chứng minh thu được rất dài và nặng nề, và rằng chứng minh đó không đem lại hiểu biết về việc chương trình đã được phát triển như thế nào. Một phương pháp khác là ''dẫn xuất chương trình'' (''program derivation''), để phát triển chứng minh và chương trình một cách đồng thời. Người ta bắt đầu bằng một ''đặc tả'' toán học về những gì mà một chương trình cần phải thực hiện, sau đó áp dụng các biến đổi toán học đối với đặc tả đó cho đến khi nó được chuyển thành một chương trình chạy được. Chương trình thu được khi đó được gọi là đúng đắn theo cách xây dựng (''correct by construction'').