Modelización de sistemas físicos en la enseñanza
Contenido
El segundo paso del ciclo de evaluación es programar con un propósito. Ahora que ha especificado los resultados de aprendizaje y desarrollo de los estudiantes (SLO), necesita 1) determinar cómo lograr esos resultados (es decir, desarrollar una teoría del programa) y 2) articular claramente la conexión entre los componentes del programa y los SLO (es decir, desarrollar un modelo lógico y/o un mapa del programa a los resultados). Durante este paso del proceso, tendrá que considerar preguntas como
La teoría o lógica del programa explica cómo y por qué se espera que un programa funcione. Hace explícita la conexión entre las cosas que hacemos en nuestros programas y los resultados que esperamos conseguir. Lo ideal es que esta lógica se base en pruebas. Es decir, debemos tratar de consultar la teoría y la investigación empírica al desarrollar la teoría de un programa.
La teoría del programa es de vital importancia porque, sin pruebas de por qué las cosas que hacemos deberían funcionar, nos arriesgamos a implementar programas que son ineficientes en el mejor de los casos e ineficaces en el peor. De hecho, en las Competencias Profesionales presentadas conjuntamente por ACPA y NASPA, hay múltiples referencias a la teoría del programa. Los profesionales competentes se describen como aquellos que son «intencionales en el uso de la teoría en el diseño y la implementación de oportunidades de aprendizaje» y poseen la «capacidad de articular, analizar y aplicar la teoría para mejorar la práctica». El Consejo para el Avance de los Estándares en la Educación Superior (CAS) también reconoce la importancia de la teoría de los programas. Según sus estándares, los programas deben ser 1) diseñados intencionalmente y 2) guiados por teorías y conocimientos sobre el aprendizaje y el desarrollo.
4.1 pedagogía didáctica de la alfabetización: una visión general
Este libro proporciona una introducción práctica y unificada a la teoría de las formulaciones extendidas compactas de los modelos de programación lineal entera (ILP) de tamaño exponencial. Las formulaciones extendidas compactas son modelos igualmente potentes, pero de tamaño polinómico, cuyas soluciones no requieren la implementación de procedimientos de separación y fijación de precios. El libro está escrito de forma general y didáctica, desarrollando primero los conceptos teóricos de fondo (poliedros, proyecciones, programación lineal y entera) y profundizando después en las distintas técnicas de reformulaciones extendidas compactas. Las técnicas se ilustran a través de una gran cantidad de ejemplos que tocan muchas áreas de aplicación, como la optimización combinatoria clásica, el diseño de redes, la programación, el enrutamiento, la biología computacional y la bioinformática. El libro está dirigido a estudiantes de posgrado o de doctorado -ya sea como curso avanzado sobre temas seleccionados o dentro de un curso más general sobre ILP y programación matemática-, así como a profesionales e ingenieros de software de la industria que exploran técnicas para desarrollar modelos de optimización para sus problemas específicos.
CAMP: Componentes (Video 3)
ResumenEn este documento proponemos una metodología para enseñar matemáticas financieras utilizando una hoja de cálculo y plataformas informáticas como herramienta didáctica. Describimos el proceso de enseñanza tradicional en un tema específico de las matemáticas, «reestructuración de la deuda y modelización con ecuaciones equivalentes» desde la explicación teórica hasta el diseño de un simulador financiero programado en una hoja de cálculo. A continuación, se verificará y validará el resultado mediante el software diseñado.
Para preguntas técnicas sobre este artículo, o para corregir sus autores, título, resumen, información bibliográfica o de descarga, póngase en contacto con: . Datos generales de contacto del proveedor: http://www.scientificpapers.org .
Para preguntas técnicas sobre este artículo, o para corregir sus autores, título, resumen, información bibliográfica o de descarga, póngase en contacto con: Adrian Ghencea (correo electrónico disponible más abajo). Datos generales de contacto del proveedor: http://www.scientificpapers.org .
Visión general de Bollen Seminario didáctico de SEM Parte 2
ResumenAunque la programación formal se considera un modelo de programación reconocido, muchos evitan enseñarla debido a su elevado coste mental. Por ello desarrollamos un entorno «microscópico» basado en la máquina teórica de Emil Post como introducción a los métodos formales de programación y en el marco de un curso de introducción a la informática.En este trabajo presentamos un pequeño sistema formal para el desarrollo y verificación simultánea de algoritmos; damos un ejemplo de resolución de problemas en este entorno; presentamos un pequeño software existente que simula la máquina de Post; proponemos dos módulos para facilitar el trabajo en este entorno; y finalmente, presentamos los usos didácticos de la máquina de Post como introducción a los métodos formales.
Education and Information Technologies 6, 123-141 (2001). https://doi.org/10.1023/A:1012319900191Download citationShare this articleAnyone you share the following link with will be able to read this content:Get shareable linkSorry, a shareable link is not currently available for this article.Copy to clipboard
