Compléter Logica matematicaVersion en ligne Logica matematica y teoria de conjuntos par Josefany Garcia Monegro 1 de teorema demostraciones conjuntos Cantor conjuntos algoritmos Georg Cantor números lógica La matemática se suele dividir en cuatro áreas : teoría de modelos , teoría de la demostración , teoría de y teoría de la computabilidad . La teoría de la demostración y la teoría de modelos fueron el fundamento de la lógica matemática . La teoría de conjuntos se originó en el estudio del infinito por y ha sido la fuente de muchos de los temas más desafiantes e importantes de la lógica matemática , a partir del , el axioma de elección y la cuestión de la independencia de la hipótesis del continuo , al debate moderno sobre grandes axiomas cardinales . La lógica matemática tiene estrechas conexiones con las ciencias de la computación . La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos como , , y .
Créer jeu