Algebra

El lgebra (del rabe: al-abr 'reintegracin, recomposicin'1 ) es

la rama de la matemtica que estudia la combinacin de elementos de
estructuras abstractas acorde a ciertas reglas. Originalmente esos
elementos podan ser interpretados como nmeros o cantidades, por lo
que el lgebra en cierto modo originalmente fue una generalizacin y
extensin de la aritmtica.2 3 En el lgebra moderna existen reas del
lgebra que en modo alguno pueden considerarse extensiones de la
aritmtica (lgebra abstracta, lgebra homolgica, lgebra exterior, etc.).
A diferencia de la aritmtica elemental, que trata de los nmeros y las
operaciones fundamentales, en lgebra -para lograr la generalizacin- se
introducen adems smbolos (usualmente letras) para representar parmetros (variables o coeficientes), o
cantidades desconocidas (incgnitas); las expresiones as formadas son llamadas frmulas algebraicas, y
expresan una regla o un principio general.4 El lgebra conforma una de las grandes reas de las
matemticas, junto a la teora de nmeros, la geometra y el anlisis.
Lgica matemtica
La lgica matemtica es una parte de la lgica y la matemtica, que
consiste en el estudio matemtico de la lgica, y en la aplicacin de
dicho estudio a otras reas de la matemtica y de las ciencias. La
lgica matemtica tiene estrechas conexiones con las ciencias de la
computacin y la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con
el modo en el que codifican o definen nociones intuitivas de objetos
matemticos como conjuntos, nmeros, demostraciones, y
algoritmos, utilizando un lenguaje formal.
La lgica matemtica suele dividirse en cuatro subcampos: teora de
modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica
matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas.
Actualmente se usan indiferentemente como sinnimos las expresiones: lgica simblica (o logstica), lgica
matemtica, lgica teortica y lgica formal.1