"Aquello que termina o sirve de finalización a algo"


with one comment

Trying to face my biggest weaknesses I found these very good papers about building and writing proofs, one of them was written by Leslie Lamport, that for my surprise works now at Microsoft Research. In the Lamport’s paper he claims for a need to structured language to build mathematical proofs more readable and less error prone:

  1. Introduction to mathematical arguments
  2. How to write a proof
  3. Structuring mathematical proofs

Written by jalvarez

2006/11/10 at 15:03

Posted in Matemáticas

One Response

Subscribe to comments with RSS.

  1. Next semester Prof. Smolka will teach Introduction to Computational Logic, a very nice lecture where you can also learn a lot about proofs.

    BTW: Your first two links are broken.


    2006/11/12 at 13:11

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: