Theory (mathematics)/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (→Other related topics: Mathematical notation) |
mNo edit summary |
||
(3 intermediate revisions by one other user not shown) | |||
Line 18: | Line 18: | ||
{{r|Proof (mathematics)}} | {{r|Proof (mathematics)}} | ||
{{r|Set theory}} | |||
==Other related topics== | ==Other related topics== | ||
Line 23: | Line 25: | ||
{{r|Mathematical notation}} | {{r|Mathematical notation}} | ||
{{r|Instruction set architecture}} | |||
{{r|Mizar (software)}} | |||
==Articles related by keyphrases (Bot populated)== | |||
{{r|Space (mathematics)}} |
Latest revision as of 06:00, 28 October 2024
- 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]
- Mathematical notation [r]: A system of symbolic representations of mathematical objects and ideas. [e]
- Mizar (software) [r]: A software package for automated verification of mathematical definitions and proofs. [e]
- Space (mathematics) [r]: A set with some added structure, which often form a hierarchy, i.e., one space may inherit all the characteristics of a parent space. [e]