Sistema axiomtico

En lgica y matemticas, un sistema axiomtico consiste en un conjunto de axiomas que se utilizan, mediante
deducciones, para demostrar teoremas. Ejemplos de sistemas axiomticos deductivos son la geometra
euclidiana compilada por Euclides en los Elementos1 y el sistema axiomtico de la lgica proposicional.

axioma es una proposicin asumida dentro de un cuerpo terico sobre la cual descansan otros razonamientos y proposiciones deducidas de esas
premisas.
Introducido originalmente por los matemticos griegos del perodo helenstico, el axioma se consideraba como una proposicin evidente y que se
aceptaba sin requerir demostracin previa. Posteriormente, en un sistema hipottico-deductivo, un axioma era toda proposicin no deducida de otras,
sino que constituye una regla general de pensamiento lgico (por oposicin a los postulados).

teorema de completitud de Gdel es un importante teorema de la lgica matemtica, que fue demostrado por primera vez por Kurt Gdel en 1929 y
que en su forma ms conocida establece lo siguiente:
La palabra "demostrable" significa que existe una deduccin formal de la frmula. La deduccin consiste en una lista finita de pasos en los que cada
paso o bien invoca a un axioma o es obtenido a partir de pasos previos mediante una bsica regla de inferencia. A partir de dicha deduccin, es posible
verificar si cada uno de los pasos es correcto mediante un algoritmo (por ejemplo mediante una computadora, o a mano).

teorema de capacidad
El desarrollo de la teora de la informacin de Claude Shannon durante la Segunda Guerra Mundial estimul el siguiente gran paso para entender qu
cantidad de informacin se podra comunicar, sin errores y de manera fiable, a travs de canales con ruido gausiano de fondo.
Fundamentado sobre las ideas de Hartley, el teorema de Shannon de la codificacin de canales con ruido (1948) describe la mxima eficiencia posible
de los mtodos de correccin de errores versus los niveles de interferencia de ruido y corrupcin de datos. La prueba del teorema muestra que un
cdigo corrector de errores construido aleatoriamente es, esencialmente, igual de bueno que el mejor cdigo posible. El teorema se prueba con la
estadstica de tales cdigos aleatorios.

Problema de decisin

En teora de la computacin, un problema es un conjunto de frases de longitud finita que tienen asociadas frases
resultantes tambin de longitud finita. Un problema de decisin es un problema en donde las respuestas posibles son
s o no. Un ejemplo tpico de problema de decisin es la pregunta: Es un nmero entero dado primo? Una
instancia de este problema sera: Es 17 primo?

mquina de Turing es un dispositivo que manipula smbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una
mquina de Turing puede ser adaptada para simular la lgica de cualquier algoritmo de computador y es particularmente til en la explicacin de las
funciones de una CPU dentro de un computador.

estructura de datos es una forma particular de organizar datos en una computadora para que pueda ser utilizado de manera eficiente.
Diferentes tipos de estructuras de datos son adecuados para diferentes tipos de aplicaciones, y algunos son altamente especializados para tareas
especficas.
Las estructuras de datos son un medio para manejar grandes cantidades de datos de manera eficiente para usos tales como grandes bases de datosy
servicios de indizacin de Internet. Por lo general, las estructuras de datos eficientes son clave para disear algoritmos eficientes. Algunos mtodos
formales de diseo y lenguajes de programacin destacan las estructuras de datos, en lugar de los algoritmos, como el factor clave de organizacin en
el diseo de software.
 regla de inferencia, o regla de transformacin es una forma lgica que consiste en una funcin que toma premisas, analiza su sintaxis, y devuelve
una conclusin (o conclusiones). Por ejemplo, la regla de inferencia llamada Modus ponendo ponens toma dos premisas, uno en la forma "Si p
entonces q" y otra en la forma "p", y vuelve la conclusin "q". La regla es vlida con respecto a la semntica de la lgica clsica (as como la semntica
de muchas otras lgicas no clsicas), en el sentido de que si las premisas son verdaderas (bajo una interpretacin), entonces tambin lo ser la
conclusin.

Modulacin engloba el conjunto de tcnicas que se usan para transportar informacin sobre una onda portadora, tpicamente una onda sinusoidal.
Estas tcnicas permiten un mejor aprovechamiento del canal de comunicacin lo que posibilita transmitir ms informacin de forma simultnea adems
de mejorar la resistencia contra posibles ruidos e interferencias. Segn la American National Standard for Telecommunications, la modulacin es el
proceso, o el resultado del proceso, de variar una caracterstica de una onda portadora de acuerdo con una seal que transporta informacin. El
propsito de la modulacin es sobreponer seales en las ondas portadoras. 1

Semntica

El trmino semntica se refiere a los aspectos del significado, sentido o interpretacin de signos lingsticos como
smbolos, palabras, expresiones o representaciones formales. En principio las expresiones del lenguaje formal o de
una lengua natural admiten algn tipo de correspondencia con situaciones o conjuntos de cosas que se encuentran en
el mundo fsico o abstracto que puede ser descrito por dicho medio de expresin.
teora de conjuntos es una rama de las matemticas que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos,
consideradas como objetos en s mismas. Los conjuntos y sus operaciones ms elementales son una herramienta bsica en la formulacin de cualquier
teora matemtica.1
La teora de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de inters en
matemticas: nmeros, funciones, figuras geomtricas,...; y, junto con la lgica, permite estudiar los fundamentos de aquella. En la actualidad se acepta
que el conjunto de axiomas de la teora de Zermelo-Fraenkel es suficiente para desarrollar toda la matemtica.

Recurrencia, recursin o recursividad es la forma en la cual se especifica un proceso basado en su propia definicin, siendo sta caracterstica
discernible en trminos de autorreferencialidad, autopoiesis, fractalidad, o, en otras palabras, construccin a partir de un mismo tipo. Con nimo de una
mayor precisin, y para evitar la aparente circularidad en esta definicin, se formula el concepto de recursin de la siguiente manera:
Un problema que pueda ser definido en funcin de su tamao, sea este N, pueda ser dividido en instancias ms pequeas (< N) del mismo problema y
se conozca la solucin explcita a las instancias ms simples, lo que se conoce como casos base, se puede aplicar induccin sobre las llamadas ms
pequeas y suponer que estas quedan resueltas.

Fundamentos de la matemtica es el estudio de conceptos matemticos bsicos como nmeros, figuras geomtricas, conjuntos, funciones, etc. y
cmo forman jerarquas de estructuras y conceptos ms complejos, especialmente las estructuras fundamentalmente importantes que forman el
lenguaje de la matemtica: frmulas, teoras y sus modelos, dando un significado a las frmulas, definiciones, pruebas, algoritmos, etc. tambin
llamados conceptos metamatemticos, con atencin a los aspectos filosficos y la unidad de la matemtica. La bsqueda por los fundamentos de la
matemtica es una pregunta central de la filosofa de las matemticas; la naturaleza abstracta de los objetos matemticos presenta desafos filosficos
especiales.