Algoritmia

Notación

Se usan símbolos para abreviar ideas:

∀: para todo, ∃: existe ⟹: implica, ⟺: sí y solo sí ∑: suma, ∏: producto Función: f:A→B (lleva de A a B) Conjuntos comunes: N,Z,R Secuencias: a1,a2,...,an ​

Contradicción

Para demostrar algo, a veces asumimos lo contrario y si llegamos a algo absurdo - lo que queríamos probar es cierto.

Inducción matemática

Sirve para probar cosas que dependen de n (como fórmulas o propiedades)

Paso base: probar para n=1 o valor mínimo Paso inductivo: asumir que vale para n=k y probar que también vale para k+1 ​