LÓGICA MATEMÁTICA

La lógica matemática, también llamada lógica simbólica, lógica

1
teorética, lógica formal, o logística, es parte tanto de la lógica y como de
lamatemática, y consiste en el estudio matemático de la lógica, y en la aplicación
de dicho estudio a otras áreas de la matemática y de las ciencias. La lógica
matemática tiene estrechas conexiones con las ciencias de la computación y con
la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el
que codifican o definen nociones intuitivas de objetos matemáticos
comoconjuntos, números, demostraciones, y algoritmos, utilizando un lenguaje
formal.
La lógica matemática se suele dividir en cuatro subcampos: teoría de
modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La
investigación en lógica matemática ha jugado un papel fundamental en el estudio
de las matemáticas.
La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de
la lógica». Incluye aquellas partes de la lógica que pueden ser modeladas y
estudiadas matemáticamente.
La lógica matemática comprende dos áreas de investigación distintas: la primera
es la aplicación de las técnicas de la lógica formal a las matemáticas y el
razonamiento matemático y la segunda, en la otra dirección, la aplicación de
técnicas matemáticas a la representación y el análisis de la lógica formal.
Si la teoría de la demostración y la teoría de modelos han sido el fundamento de la
lógica matemática, no han sido más que dos de los cuatro pilares del sujeto. La
teoría de conjuntos se originó en el estudio del infinito por Georg Cantor y ha sido
la fuente de muchos de los temas más desafiantes e importantes de la lógica
matemática, a partir del teorema de Cantor, a través del estatus del axioma de
elección y la cuestión de la independencia de lahipótesis del continuo, al debate
moderno sobre grandes axiomas cardinales.
LÓGICA

La lógica es una ciencia formal que estudia los principios de

la demostración e inferencia válida. La palabra deriva del griego
antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,
argumentativo», que a su vez viene de λόγος (logos),
«palabra, pensamiento, idea, argumento, razón o principio».
La lógica investiga los principios por los cuales algunas inferencias son
aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura
lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por
esta razón la lógica se considera una ciencia formal, como la matemática, en vez
de una ciencia empírica.

La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde

finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación
con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha
pasado a ser principalmente la lógica simbólica, un cálculo definido
por símbolos y reglas de inferencia, lo que ha permitido su aplicación a
lainformática. Hasta el siglo XIX, la lógica aristotélica y estoica mantuvieron
siempre una relación con los argumentos formulados en lenguaje natural. Por eso
aunque eran formales, no eranformalistas.2 Hoy esa relación se trata bajo un
punto de vista completamente diferente. La formalización estricta ha mostrado las
limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una
parte pequeña de la lógica de clases.

ROBÓTICA
Es un método mecánico de reproducción de textos e imágenes sobre papel o
materiales similares, que consiste en aplicar una tinta, generalmente oleosa, sobre
unas piezas metálicas.

ARQUITECTURA INFORMÁTICA

La firma de los Acuerdos de Paz constituyó, sin duda, un momento central de la

historia reciente de la sociedad guatemalteca. En efecto, confrontó a la sociedad
consigo misma y la llevó a una introspección sobre ella misma. Recientemente, al
celebrar el décimo aniversario de la firma de los Acuerdos de Paz, se pone en
evidencia que ha sido durante esos diez años que la arquitectura guatemalteca
adquirió un nuevo dinamismo. La modernidad de la sociedad guatemalteca se
refleja hoy en su arquitectura y sus realizaciones han contribuido a cambiar, en
parte, del rostro de la ciudad. Se trata de una nueva generación de arquitectos que
se han inscrito en una arquitectura universal pero guardando una especificidad
nacional distintiva.

INGENIERÍA ELÉCTRICA

es una propiedad física intrínseca de algunas partículas subatómicas que se

manifiesta mediante fuerzas de atracción y repulsión entre ellas por la mediación
de campos electromagnéticos. La materia cargada eléctricamente es influida por
los campos electromagnéticos, siendo a su vez, generadora de ellos. La
denominada interacción electromagnética entre carga y campo eléctrico es una de
las cuatro interacciones fundamentales de la física. Desde el punto de vista
del modelo estándar la carga eléctrica es una medida de la capacidad que posee
una partícula para intercambiar fotones.

INTELIGENCIAS ARTIFICIAL

a inteligencia (del latín intelligentia) está vinculada a saber escoger las mejores
alternativas para resolver una cuestión. El concepto abarca la capacidad de
elaborar, asimilar y entender información para utilizarla en forma adecuada.

Se pueden distinguir distintos tipos o clases de inteligencia, como la inteligencia

biológica, la inteligencia operativa o la inteligencia psicológica.
Para el psicólogo norteamericano Howard Gardner, la inteligencia es el potencial
de cada persona. Dicho potencial no puede ser cuantificado, sino que sólo puede
observarse y, a través de ciertas prácticas, desarrollarse.

es un modelo propuesto en un libro de 1983 por Howard Gardner, psicólogo e

investigador centrado en el campo de la educación además de profesor de la
universidad de Harvard (donde estudió) y poseedor de un Premio Príncipe de
Asturias, en el que la inteligencia no es vista como algo unitario que agrupa
diferentes capacidades específicas con distinto nivel de generalidad, sino como un
conjunto de inteligencias múltiples, distintas y semi-independientes. Gardner
define la inteligencia como la «capacidad mental de resolver problemas y/o
elaborar productos que sean valiosos en una o más culturas
ROBÓTICA

Es un método mecánico de reproducción de textos e imágenes sobre papel o

materiales similares, que consiste en aplicar una tinta, generalmente oleosa, sobre
unas piezas metálicas.