How to write a proof
Leslie Lamport (Compaq Systems Research Center)
Info
|
Date |
2nd May 2000 |
|
Time |
16:30 |
|
Place |
Lecture Theatre |
Abstract
A method of writing proofs is proposed that makes it much harder to prove things that are not true. The method, based on hierarchical structuring, is simple and practical.Further info
|
Related series |
|
