Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Outline of discrete mathematics
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
==Concepts in discrete mathematics== ===Sets=== *{{annotated link|Set (mathematics)}} **{{annotated link|Element (mathematics)}} **{{annotated link|Venn diagram}} **{{annotated link|Empty set}} **{{annotated link|Subset}} **{{annotated link|Union (set theory)}} ***{{annotated link|Disjoint union}} **{{annotated link|Intersection (set theory)}} ***{{annotated link|Disjoint sets}} **{{annotated link|Complement (set theory)}} **{{annotated link|Symmetric difference}} *{{annotated link|Ordered pair}} *{{annotated link|Cartesian product}} *{{annotated link|Power set}} *{{annotated link|Simple theorems in the algebra of sets}} *{{annotated link|Naive set theory}} *{{annotated link|Multiset}} ===Functions=== * {{annotated link|Function (mathematics)|Function}} * {{annotated link|Domain of a function}} * {{annotated link|Codomain}} * {{annotated link|Range of a function}} * {{annotated link|Image (mathematics)}} * {{annotated link|Injective function}} * {{annotated link|Surjection}} * {{annotated link|Bijection}} * {{annotated link|Function composition}} * {{annotated link|Partial function}} * {{annotated link|Multivalued function}} * {{annotated link|Binary function}} * {{annotated link|Floor function}} * {{annotated link|Sign function}} * {{annotated link|Inclusion map}} * {{annotated link|Pigeonhole principle}} * {{annotated link|Relation composition}} * {{annotated link|Permutations}} * {{annotated link|Symmetry}} ===Arithmetic=== * {{annotated link|Decimal}} * {{annotated link|Binary numeral system}} * {{annotated link|Divisor}} * {{annotated link|Division by zero}} * {{annotated link|Indeterminate form}} * {{annotated link|Empty product}} * {{annotated link|Euclidean algorithm}} * {{annotated link|Fundamental theorem of arithmetic}} * {{annotated link|Modular arithmetic}} * {{annotated link|Successor function}} ===Elementary algebra=== {{annotated link|Elementary algebra}} * {{annotated link|Left-hand side and right-hand side of an equation}} * {{annotated link|Linear equation}} * {{annotated link|Quadratic equation}} * {{annotated link|Solution point}} * {{annotated link|Arithmetic progression}} * {{annotated link|Recurrence relation}} * {{annotated link|Finite difference}} * {{annotated link|Difference operator}} * {{annotated link|Group (mathematics)|Groups}} * {{annotated link|Group isomorphism}} * {{annotated link|Subgroups}} * {{annotated link|Fermat's little theorem}} * {{annotated link|Cryptography}} * {{annotated link|Faulhaber's formula}} ===Mathematical relations=== *{{annotated link|Binary relation}} *{{annotated link|Heterogeneous relation}} *{{annotated link|Reflexive relation}} *{{annotated link|Reflexive property of equality}} *{{annotated link|Symmetric relation}} *{{annotated link|Symmetric property of equality}} *{{annotated link|Antisymmetric relation}} *{{annotated link|Transitive relation|Transitivity (mathematics)}} **{{annotated link|Transitive closure}} **{{annotated link|Transitive property of equality}} *''Equivalence and identity'' **{{annotated link|Equivalence relation}} **{{annotated link|Equivalence class}} **{{annotated link|Equality (mathematics)}} *** {{annotated link|Inequation}} *** {{annotated link|Inequality (mathematics)}} **{{annotated link|Similarity (geometry)}} **{{annotated link|Congruence (geometry)}} **{{annotated link|Equation}} **{{annotated link|Identity (mathematics)}} *** {{annotated link|Identity element}} *** {{annotated link|Identity function}} **{{annotated link|Substitution property of equality}} **{{annotated link|Graphing equivalence}} **{{annotated link|Extensionality}} **{{annotated link|Uniqueness quantification}} ===Mathematical phraseology=== * {{annotated link|If and only if}} * {{annotated link|Necessary and sufficient}} * {{annotated link|Distinct (mathematics)|Distinct}} * {{annotated link|Subtraction|Difference}} * {{annotated link|Absolute value}} * {{annotated link|Up to}} * {{annotated link|Modular arithmetic}} * {{annotated link|Characterization (mathematics)}} * {{annotated link|Normal form (mathematics)|Normal form}} * {{annotated link|Canonical form}} * {{annotated link|Without loss of generality}} * {{annotated link|Vacuous truth}} * {{annotated link|Contradiction}}, {{annotated link|Reductio ad absurdum}} * {{annotated link|Counterexample}} * {{annotated link|Sufficiently large}} * {{annotated link|Pons asinorum}} * {{annotated link|Table of mathematical symbols}} * {{annotated link|Contrapositive}} * {{annotated link|Mathematical induction}} ===Combinatorics=== {{annotated link|Combinatorics}} *{{annotated link|Combination|Permutations and combinations}} *{{annotated link|Permutation}} *{{annotated link|Combination}} *{{annotated link|Factorial}} **{{annotated link|Empty product}} *{{annotated link|Pascal's triangle}} *{{annotated link|Combinatorial proof}} **{{annotated link|Bijective proof}} **{{annotated link|Double counting (proof technique)}} ===Probability=== {{annotated link|Probability}} * {{annotated link|Average}} * {{annotated link|Expected value}} * {{annotated link|Discrete random variable}} * {{annotated link|Sample space}} * {{annotated link|Event (probability theory)|Event}} * {{annotated link|Conditional Probability}} * {{annotated link|Independence (probability theory)|Independence}} * {{annotated link|Random variables}} ===Propositional logic=== * {{annotated link|Logical operator}} * {{annotated link|Truth table}} * {{annotated link|De Morgan's laws}} * {{annotated link|Open sentence}} * {{annotated link|List of topics in logic}}
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)