Contratos

Lógica matemática
La lógica matemática es una parte de la lógica y las matemáticas que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de lasmatemáticas. La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el quecodifican 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 cuatrosubcampos: 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 los fundamentosde 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 noes 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.
Economía internacional
La economíainternacional y mundial es la rama de la ciencia económica, fundamentalmente macroeconomía, que tiene por objeto el estudio de los movimientos económicos que realiza un país con el resto del mundo, y quepueden ser de muy diversa índole, comerciales, financieros, tecnológicos, turísticos, etc. La economía internacional también se ocupa de los aspectos monetarios mundiales, la teoría de la políticacomercial, los mercados cambiarios (resultado de la utilización de monedas diferentes en los distintos países), y el ajuste de las balanzas de pago. Los aspectos internacionales de la economía hantenido, desde finales del siglo XX, un muy importante auge, ya que cada vez existe mayor interrelación entre lo que ocurre en los mercados internacionales y lo que ocurre en la economía de los distintos...