Joaoff - joaoff.com - João F. Ferreira
General Information:
Latest News:
Turing-Tape Games Competition 15 Apr 2012 | 10:54 pm
To celebrate the 100th anniversary of Alan Turing’s birth, we* are running the Turing-Tape Games competition. The competition is about solving solitaire-like games played on a Turing tape (a one-dime...
Turing-Tape Games Competition 15 Apr 2012 | 06:54 pm
To celebrate the 100th anniversary of Alan Turing’s birth, we* are running the Turing-Tape Games competition. The competition is about solving solitaire-like games played on a Turing tape (a one-dimen...
On Peirce’s law and the law of the excluded middle 30 Jan 2012 | 01:13 pm
A few days ago I found a video on YouTube explaining how to use CoqIde, the IDE for the Coq proof assistant. The proof that was used to illustrate the IDE was the equivalence between Peirce’s law and ...
On Peirce’s law and the law of the excluded middle 30 Jan 2012 | 08:13 am
A few days ago I found a video on YouTube explaining how to use CoqIde, the IDE for the Coq proof assistant. The proof that was used to illustrate the IDE was the equivalence between Peirce’s law and ...
An improved proof of the handshaking lemma 21 Sep 2011 | 05:04 am
In 2009, I posted a calculational proof of the handshaking lemma, a well-known elementary result on undirected graphs. I was very pleased about my proof because the amount of guessing involved was ver...
An improved proof of the handshaking lemma 21 Sep 2011 | 01:04 am
In 2009, I posted a calculational proof of the handshaking lemma, a well-known elementary result on undirected graphs. I was very pleased about my proof because the amount of guessing involved was ver...
Principles and Applications of Algorithmic Problem Solving 3 Jun 2011 | 05:09 am
I am currently in Salamanca (Spain), attending the conference Tools for Teaching Logic III. My talk was on teaching logic through algorithmic problem solving and it went quite well, I think. In partic...
Principles and Applications of Algorithmic Problem Solving 3 Jun 2011 | 01:09 am
I am currently in Salamanca (Spain), attending the conference Tools for Teaching Logic III. My talk was on teaching logic through algorithmic problem solving and it went quite well, I think. In partic...
Probabilities in Proofreading 15 Sep 2009 | 02:04 am
Suppose you write a program and you send the source code to two of your friends, ${\cal A}$ and ${\cal B}$. Your two friends read the code and when they finish, $A$ errors are detected by ${\cal A}$, ...
Probabilities in Proofreading 14 Sep 2009 | 10:04 pm
Suppose you write a program and you send the source code to two of your friends, ${\cal A}$ and ${\cal B}$. Your two friends read the code and when they finish, $A$ errors are detected by ${\cal A}$, ...
