Current location - Training Enrollment Network - Mathematics courses - Representation method in mathematics
Representation method in mathematics
too much

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