MathEduc

Product	Price 2013
MathEduc Web	€ 455
MathEduc Print	€ 295

ME 2011f.00397
Greenhill, Catherine

Sudoku, logic and proof. (English)

Parabola 47, No. 2, 3-12 (2011).

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.
Reviewer: Peter Dürr (Linkenheim)

Classification: E50 A20 U60

Keywords: proving; mathematical logic; foundations of mathematics; justifying; deduction; proof by exhaustion of cases; proof by contradiction; guessing; problem solving; mental games; latin squares; combinatorics

PDF XML AMS-TeX TEXT BIBTeX