formal-methods

10Nhiệt

6Trả lời

Vì vậy, ... Tôi dạy các phương pháp chính thức trong kỹ nghệ phần mềm. Tôi cũng dạy "phương pháp nhanh nhẹn". Hầu hết mọi người dường như nghĩ rằng điều này là mâu thuẫn. Tôi nghĩ nó có ý nghĩa rất nh

5Nhiệt

1Trả lời

Ngữ nghĩa chính thức về định vị hộp CSS

Tôi là sinh viên khoa học máy tính (lý thuyết) và việc điều tra ngữ nghĩa của ngôn ngữ lập trình là một trong những môn học của tôi (wikipedia). Tôi đã chơi rất nhiều với CSS và có sự hiểu biết hợp lý

10Nhiệt

1Trả lời

Giới thiệu Forall trong coq?

Tôi đang cố gắng (theo kiểu cổ điển) chứng minh ~ (forall t : U, phi) -> exists t: U, ~phi trong Coq. Những gì tôi đang cố gắng làm là chứng minh điều đó một cách kỳ lạ: 1. Assume there is no such t

5Nhiệt

2Trả lời

Sử dụng forall trong đệ quy định nghĩa Chức năng

Tôi đang cố gắng để sử dụng chức năng để xác định một định nghĩa đệ quy sử dụng một biện pháp, và tôi nhận được lỗi: Error: find_call_occs : Prod tôi gửi bài mã nguồn toàn bộ tại dưới cùng, nhưng ch

20Nhiệt

7Trả lời

Lập trình giảng dạy và các phương pháp chính thức

Đây là một câu hỏi kỳ lạ. Tôi đang trong quá trình viết một cuốn sách về việc học lập trình bằng cách sử dụng các phương pháp chính thức, và tôi sẽ nhắm nó vào những người có kinh nghiệm lập trình. Ý