uyhviyhfu

Preliminares
Lógica Matemática
Proposiciones: algo que puede ser verdadero o falso.
Conectivos Lógicos: y, o, negación, implica, si y solo si (Tabla verdad).
Lógica de predicados: es una funcióncuyo valor de verdad puede ser verdadero o falso.
Ej: primo(x) entrega verdadero si x es primo y falso si no lo es.
Cuantificadores:
Ej: Para todo y existe.

Conjuntos
Grupo de elementos biendefinido. Se pueden nombrar por extensión (uno a uno) o por intensión
(mediante una expresión).
Operaciones entre conjuntos: unión, intersección, resta, diferencia simétrica, complemento.
Algunosconjuntos: Naturales, Enteros, Racionales, Reales...
Comparación de conjuntos: Igualdad, Subconjuntos (propio o impropio), Superconjunto.
Cardinalidad: número de elementos del conjunto.

Tuplas
Ej:(2,1), (2,3,2), (1,2), (x,y)...

Multiconjuntos
Similar a los conjuntos, pero pueden tener elementos repetidos.
Ej: {a,b,a,b,a,c}={a,a,b,b,c}={a²,b²,c}
Poseen las mismas operaciones entreconjuntos y las formas de comparación que los conjuntos
normales.

Sumatorias, productorias y otros
Nada nuevo a lo normalmente conocido sobre Sumatoria y Productoria.

Potencia Factorial
x conpotencia en subida: x(x+1)(x+2)(x+3)....
x con potencia en bajada: x(x-1)(x-2)(x-3)...
n con potencia en bajada n = 1 con potencia en subida n = n!

Función floor y ceil
Floor: Entero anterior.
Ciel:Entero siguiente.
En ambos casos, si el número ya es entero, se deja tal cual.

Otros resultados
Desigualdad de Cauchy-Schwarz: sean a y b, vectores de números reales.
a=(a1+a2+a3+...)b=(b1+b2+b3+...)
(sum(ak²))(sum(bk²))≥(sum(akbk))²
Ej:
a=(0,1)
b=(1,0)
(sum(ak²))(sum(bk²))≥(sum(akbk))²
1≥0
Desigualdad Triangular: |a+b|≤|a|+|b|

Notación asintótica
Se usa para acotar el tiempo deejecución de un algoritmo (el cual se expresa por medio de una fórmula
matemática) usando una expresión más simple.
Big-O: acota por arriba.
Def: ∃k > 0, n0 ∀n > n0 : | f (n)| ≤ k · g (n)
El...