Saturday, December 9, 2006

Coisas...

coisa
do Lat. causa
s. f.,
sinónimo universal


Exemplos de utilização:

0 - "Chama ali a coisinha."
1 - "Meg, o Pinto diz que deste cabo das coisas dele de Sistemas Operativos."
10 - "O meu projecto faz coisas."

Como se pode ver, este sinónimo tem variados graus de objectividade.

Na verdade, este sinónimo é tão útil que até os professores do IST dão aulas acerca de coisas. Por exemplo, o professor Caleiro demonstrou-nos uma coisa.

Vejamos um exemplo detalhado de uma aula sobre Cálculo de Hoare (uma coisa que nos permite verificar a correcção das coisas que programamos e que costuma ter mais erros que as ditas coisas):

"Nos anos 60/70 as pessoas começaram a fazer coisas. E começaram a inventar tudo e mais alguma coisa."

"Um programa faz uma certa coisa."

"O que nós queremos saber é como provar coisas nesta lógica."

"Eu quero que aquele programa receba qualquer coisa e devolva qualquer coisa."

"Como é que eu provo uma coisa destas?"

"Prova-se uma coisa destas... Como provo uma coisa destas?"

O professor deixou cair uma coisa entretanto, o que nos levou a descobrir a prova da outra coisa: "Prova-se uma coisa destas apanhando o giz."

Isto tudo e muito mais coisas em 50minutos de aula.

No comments: