Precalculo/ Precalculus

La Programación Matemática es un moderno campo dentro de las Matemáticas aplicadas orientado al diseño de metodologías para resolver, desde un punto de vista práctico y quizás usando un ordenador, problemas de optimización con recursos limitados. Estos problemas aparecen frecuentemente en los procesos de 'toma de decisión' en contextos de Economía, Ingeniería, Química, Biología, etc. Este libro lo utiliza el autor como texto para impartir la asignatura de 'Programación Matemática' en la Licenciatura en Matemáticas de la Universidad de La Laguna (Tenerife. España). Este libro...

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...

Ha sido preocupación primordial del autor procurar destacar lo que la realidad y el tiempo han situado y mantenido en primer plano de importancia, y establecer la gradación hacia ideas menores, aunque también valiosas. A partir de ahí, y con la reglada división en periodos y subperiodos, se da la sistematización didáctica que requiere estudio tan vasto.

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.