Összetett függvény
Az f és g függvényekből képzett f ◦ g összetett függvényt az

Képlettel értelmezzük. Az f ◦ g összetett függvény értelmezési tartománya a gx elemek halmaza, amelyek a g(x) függvényérték az f értelmezési tartományának eleme. értelmezési tartományából vett azon
Függvény transzformáció (K1 46.o)
c>1
y=cf(x) f grafikonját az y-tengely irányába c-szeresére nyújtja
y=
f grafikonját az y-tengely irányába c-ad részére zsugorítja
y=f(cx) f grafikonját az x-tengely irányába c- ad részére zsugorítja
y=f(x/c) f grafikonját az x-tengely irányába c-szeresére nyújtja
c=-1
y=-f(x) tükrözi f grafikonját az x-tengelyre
y=f(-x) tükrözi f grafikonját az y-tengelyre
Trigonometrikus fügvények (K1 52.o)

Teljes indukció
A teljes indukció a direkt bizonyítás egyik fontos típusa. Jelöljön A(n) olyanállítást, amely az n egész számtól függ. A bizonyítás három lépésből áll. Először megmutatjuk,hogy az állítás igaz az első pár elemre. Majd megmutatjuk,hogy van olyan n0 egész szám, hogy az A(n0) állítás igaz. Ezután feltesszük, hogy valamennyi egész számra A(n) igaz, s ennek alapján bebizonyítjuk, hogy A(n+1) is igaz. Ezekből már következik, hogy A(n) igaz minden n
n0 esetben.
Logika
A P és Q elemi ítéletekre vonatkozó logikai alapműveleteket (konjunkció (
),
diszjunkció (
), implikáció (
), ekvivalencia (
), negáció (¬)) táblázatos defníciói:

Két logikai kifejezést akkor és csak akkor tekintünk azonosan egyenlőnek, ha logikai értékük a bennük szereplő logikai változók bármely értékére azonos. Az azonosság jele
.
Azonosságok:
(P
Q)
R
P
(Q
R) (P
Q)
R
P
(Q
R) asszociativitás
P
Q
Q
P P
Q
Q
P kommutativitás
P
P
P P
P
P idempotencia
(P
Q)
Q
Q (P
Q)
Q
Q elnyelés
P
(Q
R)
(P
Q)
(P
R) P
(Q
R)
(P
Q)
(P
R) disztributivitás
P
1
P P
0
0 P
1
1 P
0
P
P
¬P
0 P
¬P
1 ¬(¬P)
P
¬(P
Q)
¬P
¬Q ¬(P
Q)
¬P
¬Q De Morgan-azonosságok
P
Q
¬P
Q ¬(P
Q)
P
¬Q
P
Q
¬Q
¬P kontrapozíció
P
Q
(P
Q)
(Q
P) P
Q
(P
Q)
(¬P
¬Q)
P
Q
¬P
Q bizonyítás

Kvantorok
A
xP(x) és a
xP(x) jelölések jelentése: „minden x-re (igaz, hogy) P(x)”és „van olyan x, hogy P(x)”. A
ill. a
jel neve univerzális ill. egzisztenciális kvantor.
: „minden”, „tetszoleges”, „bármely”, „akármelyik”, „bármikor”...
: „van”, „van olyan”, „létezik”, „található olyan”, „megesik”...
¬
xP(x) 
x¬P(x) ¬
xP(x)
x¬P(x) kvantoros ítéletek tagadása
Vektorok
Vektorműveletek
Összeadás: Parallelogramma módszer: a két összeadandó kifeszít egy parallelogrammát, a közös pontból kiinduló átló az összegvektor.

Más módszer: a vektorokat egymás végpontjaiba mérjük fel, az első kezdőpontját az utolsó végpontjával összekötve kapjuk az összegvektort. Így egyszerre több vektor is összegezhető.

Kivonás: A különbségvektor a kifeszített parallelogramma másik átlója, a kisebbítendő felé mutat.

Vektor szorzása skalárral: a vektor hossza változik, ha a skalár negatív, ellenkező irányú lesz.
Definíciók,tételek
1. Valamely b vektorról akkor mondjuk, hogy előállítható az a1, a2,..., ar vektorok lineáris kombinációjaként, ha találhatók olyan k1, k2,...,kr valós számok, hogy b=k1a1+k2a2+…+ krar.
2. Az {a1, a2,..., ar} vektorrendszert lineárisan függetlennek nevezzük, ha a k1a1+ +k2a2 +…+ krar=0 egyenlőség csak a k1= k2=...=kr=0 értékekkel teljesül.
3. Két vektor akkor és csak akkor egyező állású, ha legalább egyikük a másik számszorosa, mégpedig, ha a és b egyező állásúak és b ≠ 0, akkor van olyan k
R, hogy a = kb.
4. Ha két vektor nem kollineáris, akkor a velük komplanáris bármely vektor előállítható a két vektor lineáris kombinációjaként, és ez az előállítás egyértelmű.
5. Három vektor akkor és csak akkor komplanáris, ha van közöttük olyan, amelyik a másik kettőnek lineáris kombinációja.
6. Három, nem komplanáris vektor lineáris kombinációjaként a tér bármely vektora előállítható, és ez az előállítás egyértelmű.
7. Ha az {a1, a2,..., ar} vektorrendszer lineárisan független, akkor bármely
p1a1 + p2a2 +...+ prar = q1a1 + q2a2 +…+ qrar
egyenlőség csak úgy teljesülhet, hogy p1 = q1, p2 = q2,..., pr = qr .
8. Legalább két vektorból álló rendszer akkor és csak akkor lineárisan független, ha a rendszer egyetlen eleme sem állítható elő a többiek lineáris kombinációjaként.
9. Vegyük fel, közös kezdőponttal, a páronként egymásra merőleges, egységnyi hosszúságú i, j, k kötött vektorokat úgy, hogy ebben a sorrendben jobbrendszert alkossanak. A 6. tétel értelmében a tér bármely v vektorához megadható egyetlen olyan a, b, c valós számhármas, hogy
v= ai + bj + ck. Az a, b, c számokat a v vektor ({i, j, k} alapvektor-rendszerre vonatkozó) koordinátáinak nevezzük. Azt, hogy a, b, c a v koordinátái, így jelöljük:
v= [a, b, c] vagy v
10. Ha a = [a1, a2, a3], b = [b1, b2, b3] és k adott szám, akkor
a + b = [a1 + b1, a2 + b2, a3 + b3] és ka = [ka1, ka2, ka3] .
Az a és b vektor akkor és csak akkor egyenlő, ha a1 = b1, a2 = b2, a3 = b3. Megjegyzés: A vektor koordinátái függnek az alapvektorok megválasztásától. Az előbbi (és a később felírandó) minden koordinátás egyenlőség természetesen úgy értendő, hogy az egyenlőségben szereplő vektorok koordinátái ugyanarra az alapvektor-rendszerre vonatkoznak.
Skaláris szorzat: (Bizonyítás is!)
Az a és b vektorok skaláris szorzatát ab-vel jelöljük, és azon a következő számot értjük: ab=|a|·|b|·cos(α). Egy a vektor önmagával képezett skaláris szorzatát az a vektor négyzetének is nevezzük, és ennek megfelelően a2-tel is jelöljük.
Ha a = [a1, a2, a3], b = [b1, b2, b3], akkor ab= a1b1 + a2b2 + a3b3 .
Tetszőleges a vektorra |a|=
. Ha a=[a1, a2, a3], akkor
|a| =
.
Két vektor skaláris szorzata pontosan akkor zérus, ha a két vektor merőleges egymásra.
Ha e egységvektor, akkor az ea skaláris szorzat abszolút értéke egyenlő az ae irányába eső merőleges vetületének hosszával. Ha az ea szorzat nem zérus, akkor előjele aszerint pozitív, illetve negatív, hogy az előbbi vetületi vektor iránya megegyező, vagy ellentétes az e irányával. vektor
Vektoriális Szorzat:
Az a és b vektorok vektoriális szorzatát axb-vel jelöljük, és azon a következő számot értjük: axb=|a|·|b|·sin(α). A szorzat eredménye egy vektor, amely merőleges az a és b által meghatározott síkra.
Ha a = [a1, a2, a3], b = [b1, b2, b3], akkor
axb
Vektor vetülete

Parallelepipedon térfogata
V=|a·b·c|
ab=0 ha a és b vektorok merőlegesek egymásra.
axb=0 ha a és b vektorok párhuzamosak egymásra.
a·b·c =0 ha legalább egy vektor nullvektor. 