Câu hỏi được gắn thẻ «formal-methods»

10
Những điểm tương đương thú vị nhất nảy sinh từ thuyết Isomorphism của Curry-Howard là gì?
Tôi đến với Thuyết Isomorphism Curry-Howard tương đối muộn trong cuộc đời lập trình của mình, và có lẽ điều này góp phần khiến tôi hoàn toàn bị cuốn hút bởi nó. Nó ngụ ý rằng đối với mọi khái niệm lập trình đều tồn tại một tương tự chính …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.