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.

Simulación de problemas probabilísticos

La simulación computacional de problemas de probabilidad permite obtener sus soluciones a través de la frecuencia relativa del número de éxitos obtenidos en los n experimentos realizados. La ley de los grandes números respalda una buena aproximación de la probabilidad teórica de un evento a través de la repetición sucesiva de experimentos. A continuación se presentan una serie de problemas probabilísticos con una posible simulación realizada en los paquetes Fathom y Excel. La solución teórica de estos problemas requiere conocimientos básicos de probabilidad, por lo que las simulaciones realizadas buscan dar una propuesta de solución a estos problemas sin tener que acudir al formalismo matemático.

Los modos de pensamiento analítico y sintético en el estudio del concepto de espacio vectorial

Ante el interés creciente por álgebra lineal y las dificultades que aún continúan presentando los estudiantes en el aprendizaje de los objetos abstractos de esta disciplina, el presente trabajo pretende apoyarse en el marco de la geometría sintética para introducir los espacios analíticos R1, R2 y R3 y poder sólo después realizar las generalizaciones pertinentes a Rn. Un análisis histórico permite comprender ciertas dificultades de los estudiantes y a la vez proporciona elementos para construir secuencias de actividades con miras a introducir los conceptos de álgebra lineal de tal manera que los estudiantes perciban la necesidad del formalismo, presentando todos los sentidos posibles de los conceptos en sus diferentes modos de representación, en particular conectarlo con sus conocimientos anteriores sobre los sistemas de ecuaciones lineales y la geometría. Esta investigación se desarrollará con estudiantes de primer año universitario, cuando llevan por primera vez álgebra lineal y el concepto de espacio vectorial es enseñado formalmente como una definición muy amplia que involucra varios conceptos previos.