Logica matematica e ingenieria civil

¿Cómo se relaciona la Lógica con la opción profesional que actualmente está estudiando?

La lógica matemática es una parte de la lógica y la matemática, que 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 la lógicafilosófica.
En la ingeniera civil una gran parte de la área que vemos tiene que ver con analizar y razonar para obtener y poder un resultado y como sabemos la lógica matemática es la que nos da las bases y los conocimientos para ello.
La lógica matemática se relaciona con mi carrera y es muy importante porque nos ayuda a conectar ideas a reconocer ideas principales. analizar, entender y comprendertextos. Nos da las bases para plantear y compren der problemas para darle la solución correcta.
La lógica matemática es una parte de la lógica y la matemática, que 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 la lógicafilosó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 como conjuntos, números, demostraciones, y algoritmos, utilizando un lenguaje formal.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. Lainvestigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas. Actualmente se usan indiferentemente como sinónimos las expresiones: lógica simbólica (o logística), lógica matemática, lógica teorética y lógica formal.1
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ógicaque pueden ser modeladas y ggestudiadas matemáticamente


La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación. La lógica estudia las reglas de deducción formales, las capacidades expresivas de los diferentes lenguajes formales y laspropiedades metalógicas de los mismos.
En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las teorías matemáticas, de clasificar su capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas formales. La teoría de lademostración y la matemática inversason dos de los razonamientos más recientes de la lógica matemática abstracta. Debe señalarse que la lógica matemática se ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica matemática no es método de descubrir verdades del mundo físico real, sino sólo una fuente posible de modelos lógicos aplicables a teoríascientíficas, muy especialmente a la matemática convencional.
La lógica matemática no se encarga por otra parte del concepto de razonamiento humano general o del proceso creativo de construcción de demostraciones matemáticas mediante argumentos rigurosos pero hechas usando lenguaje informal con algunos signos o diagramas, sino sólo de demostraciones y razonamientos que pueden ser completamenteformalizados en todos sus aspectos.
Sistemas lógicos[editar]
La lógica matemática se interesa por tres tipos de aspectos de los sistemas lógicos:
La sintaxis de las lenguajes formales, es decir, las reglas de formación de símbolos interpretables construidos a partir de un determinado alfabeto, y las reglas de inferencia. En concreto el conjunto deteoremas deducibles de un conjunto de axiomas....