数学パズル
いくつかの命題が与えられ、各命題を矛盾無く真か偽に振り分ける唯一のパターンを見つける、といったようなスタイルのロジックパズルという分野がある。学術的には制約充足問題などとして扱うことができるようなものである。
代表的な問題として、「天使と悪魔(嘘つきと正直者)」「帽子の問題」「天秤の問題」などが知られている。
数の計算を元にしたパズルも多く、たいていは自然数の四則演算がベースであるが、その検討には数論や最適化問題などが応用できる、といったようなものも少なくない。さらには実数や複素数、あるいは有理数体といったように代数や解析に広がるものもある。
このカテゴリでは、計算の練習問題がそのままパズルになったようなものとも言える虫食い算が代表であろうか。著名なパズルとしては他に、魔方陣・小町算・覆面算・4つの4などがある。ここで挙げたものでは、最後を除けば基本的に用いる演算は四則演算のみである(ただし前述のように、問題の検討などについては数学の範囲は広い)。
最古の数学パズルともいわれるリンド数学パピルスの問題も計算問題である。ディオファントスの問題やアルキメデスの牛の問題など紀元前から多くの問題が作られている。ディオファントス方程式を用いた問題としては「サルとココナッツ」もよく知られている。