Lógica

CONTENIDO: El problema de la consistencia - Pruebas absolutas de consistencia - La codificación sistemática de la lógica formal - Un ejemplo de una prueba absoluta de consistencia - La idea de representación y su empleo en las matemáticas - Las pruebas de Gödel.

En este libro se encontrarán una serie de funciones que se han construido o que vienen incorporadas en el programa DERIVE para la solución de gran cantidad de problemas. La selección de los ejercicios obedece a un cuidadoso proceso de filtración, poniéndolos a prueba en cursos que con este fin hemos dictado. Se tratan temas de áreas tan disímiles como: la aritmética, el álgebra, el cálculo diferencial e integral, el cálculo vectorial, los métodos numéricos, las ecuaciones diferenciales ordinarias de primero y segundo orden, el álgebra lineal y la teoría de matrices, las...

Publicado por la Universidad de Zaragoza y el Instituto de Estudios Altoaragoneses, este libro recoge las colaboraciones presentadas al X Simposio de la Sociedad Española de Investigación en Educación Matemática (SEIEM), que se celebra en Huesca del 6 al 9 de septiembre de 2006. Dos son los seminarios de investigación en los que se centra esta décima edición, ambos de especial relevancia y actualidad: de una parte, la investigación en análisis didáctico, como metodología de investigación, como herramienta de formación del profesorado en los diferentes niveles educativos o como...

Los análisis cuantitativos permiten delimitar y contrastar de manera objetiva las características estilísticas de corpus textuales. A través de este tipo de estudios, se intentarán definir rasgos morfonsintácticos y léxicos que permitan diferenciar los poemas sacros indubitados de Damián Cornejo y de León Marchante. Estos datos serán comparados con los obtenidos en las poesías profanas indubitadas y en la prosa para comprobar si existen semejanzas significativas entre las producciones de un mismo autor. Los resultados establecerán una serie de parámetros que ayudarán a...