El software matemático y los lenguajes de programación

Se lleva a cabo un análisis de los lenguajes de programación desde el punto de vista de sus relaciones con el software matemático. Para ello se comienza con una definición bastante flexible de software matemático, para continuar con un análisis metodológico de los lenguajes de programación, estudiando los paradigmas imperativo, funcional, la programación lógica y la orientación a objetos. Por último se realiza un estudio histórico de los lenguajes de programación, así como de los lenguajes de programación más adecuados para la implementación de algoritmos matemáticos.

La programación lineal con la hoja de cálculo de Excel: una apuesta por las nuevas tecnologías

La programación lineal es un tema muy importante dentro del bloque de álgebra de las matemáticas aplicadas a las ciencias sociales y es conveniente dar una idea clara y concisa en el aula de cuál es su campo de aplicación, ya que es posible que el alumnado se enfrente a ella en sus estudios superiores de la aplique en su trabajo futuro.

Fundamentos lógicos de la programación declarativa

El objetivo del artículo es el estudio de los fundamentos lógicos que están en la base de gran cantidad de sistemas de razonamiento automático, y que suponen una estrategia computacionalmente viable para la demostración de teoremas o el diseño de motores inferenciales (Prolog). En concreto se presenta la forma clausal. en tanto que formalismo para la representación de conocimiento, y el principio de resolución, como mecanismo inferencia! que asegura la completud y corrección lógicas.