Start
Classification
Journals
Subscription
FIZ Karlsruhe
Zentralblatt MATH
published by FIZ Karlsruhe GmbH
MathEduc
Contact
Print
General Help
Advanced Search
Anywhere:
Author:
Title:
Source:
Year:
History
1
an:2011f.00397
1
Query form:
Help
on query formulation
ME 2011f.00397
Greenhill, Catherine
Sudoku, logic and proof.
(English)
Parabola 47, No. 2, 312 (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
AMSTeX
TEXT
BIBTeX
© 2019
FIZ Karlsruhe GmbH
Contact

Legal Notices

Terms & Conditions

Privacy Policy

Site Map

Webmaster