Looks like no one added any tags here yet for you.
Inductive Reasoning
specific instances to general conclusion
Deductive Reasoning
general true principles to specific conclusion
Conjecture
conclusion that may or may not be true
Counterexample
a case for which a statement is not true
mathematician to make a study about problem solving
George Polya
Polya’s Four-Step Strategy
understand the problem, devise a plan, carry out the plan, review the solution
Kenken Puzzle or MathDoku
Arithmetic-based logic puzzle.
Tetsuya Miyamoto, 2004
inventor of kenken puzzle