Theory (mathematics)/Related Articles: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Boris Tsirelson
(→‎Other related topics: Instruction set architecture)
imported>Boris Tsirelson
(→‎Other related topics: Mizar (software))
 
Line 27: Line 27:


{{r|Instruction set architecture}}
{{r|Instruction set architecture}}
{{r|Mizar (software)}}

Latest revision as of 14:51, 11 May 2010

This article is developing and not approved.
 Main Article
 Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
https://en.citizendium.org/wiki/index.php?title=Theory_(mathematics)/Related_Articles&printable=yes
A list of Citizendium articles, and planned articles, about Theory (mathematics).
See also changes related to Theory (mathematics), or pages that link to Theory (mathematics) or to this page or whose text contains "Theory (mathematics)".


Parent topics

  • Mathematics [r]: The study of quantities, structures, their relations, and changes thereof. [e]

Subtopics

  • Proof (mathematics) [r]: A sequence of arguments which establishes that some mathematical statement is implied by a certain set of assumptions. [e]
  • Set theory [r]: Mathematical theory that models collections of (mathematical) objects and studies their properties. [e]

Other related topics

  • Mizar (software) [r]: A software package for automated verification of mathematical definitions and proofs. [e]
Retrieved from "https://citizendium.org/wiki/index.php?title=Theory_(mathematics)/Related_Articles&oldid=740032"