Armando B. Matos $ Display all 3194 possibilities? (y or n)
What can be asserted without evidence can also be dismissed without evidence.
|Reversible languages: work in progress (pdf)||Course: “Topics on Advanced Algorithms”|
|Reversible languages: TCS paper (pdf)||Course: “Introductory Programming”|
|...A text on advanced algorithms (pdf).||Course: “Complexity”|
|Mathoverflow||Course: “Imperative Programming”|
|Research on primitive recursive functions||C.A.R. Hoare on categories (only for my study)|
|Pr. recursive functions: implementation efficiency||Logicians discussing weak arithmetics|
|AI & CS Lab, LIACC, Univ. Porto||Consequences of Godel's Incompleteness Theorem|
|Programming is useful...||Panflation!||List of quotes...||Frege|
"Random" quote: Dijkstra (EWD1305, http://www.cs.utexas.edu/users/EWD/welcome.html): It is not the task of the University to offer what society asks for, but to give what society needs. The things society asks for are generally understood, and you don't need a University for that; the University must offer what no one else can provide.
"The power of instruction is seldom of much efficacy except in those happy dispositions
where it is almost superfluous", Gibbon
"The power of instruction is seldom of much efficacy except in those happy dispositions where it is almost superfluous", Gibbon