\input zb-basic
\input zb-matheduc
\iteman{ZMATH 2011f.00397}
\itemau{Greenhill, Catherine}
\itemti{Sudoku, logic and proof.}
\itemso{Parabola 47, No. 2, 3-12 (2011).}
\itemab
The article starts with some combinatorial basics of Sudoku. In the main part, the author describes and evaluates the mathematical logic and proof techniques used while solving a Sudoku puzzle.
\itemrv{Peter D\"urr (Linkenheim)}
\itemcc{E50 A20 U60}
\itemut{proving; mathematical logic; foundations of mathematics; justifying; deduction; proof by exhaustion of cases; proof by contradiction; guessing; problem solving; mental games; latin squares; combinatorics}
\itemli{}
\end