Quantitative symbol
Such as: I, 2+i, A, X, natural logarithm base E, pi.
Operation symbol
Such as plus sign (+), minus sign (-), multiplication sign (× or), division sign (÷ or/), union of two sets (∩), intersection (∩), root sign (√), logarithm (log, lg, ln) and ratio (:).
Relational character
For example, "=" is an equal sign, "≈" is an approximate sign, "≦" is an equal sign and ">" is a greater than sign. "
Combination symbol
For example, the square brackets [] in brackets () and the horizontal lines in braces {}-for example, (2+ 1)+3=6, [2.5x(23+2)+ 1]=x, {3.5+[3].
leave out
Such as triangle (delta), right triangle (rt delta), sine (sin), cosine (cos), function of x (f(x)), limit (lim), angle (∞),
Because, (standing on one foot, unable to stand)
So, (people who stand on two feet can stand)
(Formula: two points can't stand it) Sum (), multiply (∏), and take out all the different combination numbers (C(r)(n)) and powers (a, Ac, Aq, x n) of r elements from n elements at one time.
Permutation and combination symbol
C combination number
A- permutation number
Total number of n elements
R- the number of elements participating in the selection
! -factorial, like 5! =5×4×3×2× 1= 120
C combination combination
Arrange, arrange
Discrete Mathematical Symbols (Incomplete)
Universal quantifier
Existential quantifier
├ determinant (formula can be proved by L)
Satisfier (formula is valid on e, and formula can be satisfied on e)
The "Not" Operation of Proposition
∧ "He" ("And") Operation of Proposition
The "disjunctive" ("or", "combinable or") operation of propositions
→ "Conditional" Operation Proposition
"Double Condition" Operation of Proposition
A<=> Equivalence between Proposition A and Proposition B.
A => Implication Relationship between Proposition A and Proposition B
Dual formula of formula A*
Wff formula
if and only if
"NAND" operation of proposition ("NAND gate")
The nor operation of proposition (nor gate)
□ The modal particle "inevitable"
The modal particle "may"
φ empty set
∈ belonging to A∈B means that a belongs to b (? Do not belong to)
Power set of P(A) set a
The number of points in set a
R 2 = r ○ r [r n = r (n- 1) ○ r] The "composition" of relation R.
Alef
include
(or the following supplement ≠ really contains.
Union operation of ∪ set
Intersection operation of ∩ set
Difference operation of-(~) set
(12 10) restriction
Equivalence classes of set [X] (r in the lower right corner) on relation R.
On the quotient set of r on A/ R set a
[a] a cyclic group generated by element a
I (i capital) ring, ideal
Congruence class set of Z/(n) module n
Reflexive closure of relation r
Symmetric closure of s(R) relation
Deductive theorem of CP proposition (CP rule)
EG Existential Generalization Rule (Existential Quantifier Introduction Rule)
ES existential quantifier specific rule (existential quantifier elimination rule)
UG universal extension rule (universal quantifier introduction rule)
American full name specific rule (full name quantifier elimination rule)
R relation
R- compatible relation
R○S relation and its combination
Domf function's domain (pre-domain)
Range of ranf function
F:X→Y f is a function of x to y.
The greatest common divisor of GCD(x, y) x, y
Least common multiple of x and y
On the left (right) coset of aH(Ha) H of a
Kernel of Ker(f) homomorphism map F (or F homomorphism kernel)
[1, n] 1 integer set to n
D(u, v) the distance between point u and point v.
The degree of point v at d(v)
G=(V, e) A graph with point set v and edge set e.
The number of connected branches of graph g of W(G)
The vertex connectivity of k(G) graph g
△(G) Maximum Vertex Degree of Graph G
Adjacency matrix of graph g
Reachable matrix of P(G) graph g
Incidence matrix of graph g
C complex set
Natural number set (including 0)
N* positive natural number set
P prime set
Q rational number set
R real number set
Z integer set
Collection category
Top-level topological space category
Category of Ab commutative groups
Grp group category
Mon unit semigroup category
Category of (associative) rings with identity elements in rings
Rng ring category
CRng commutative ring category
Left module category of R- module ring R
Right module category of mod-R ring r
Domain category
Partially ordered set category