Tableau

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Tableau (plural: tableaux (UK) or tableaus (US); from the French diminutive of "table", sometimes meaning "picture") may mean:

Logic and maths
  • Tableau, as used in short and long division
  • A cryptographic tableau used in manual cipher systems
  • Tableau (linguistics), a method of evaluating ranked constraints over a set c tableau or truth tree), a proof procedure for various logics which builds a tree to search for counterexamples of a formula or argument.
  • Young tableau, a combinatorial object built on partition diagrams
  • Method of analytic tableaux (also semantic tableau), a technique of automated theorem proving in logic
Games
Other

See also[edit]