Examinando por Materia "Formalización"

Mostrando 1 - 8 de 8
  • Miniatura
    PublicaciónAcceso abierto
    A survey of computational calculi used in musical applications
    (2014-03-13) Sarria M., Gerardo M.
    En las últimas décadas muchos modelos formales han sido propuestos para formalizar aplicaciones musicales, para resolver problemas musicales y de improvisación, y para probar propiedades en la música. En este artículo describiremos brevemente algunos de estos modelos formales (los cálculos computacionales); proveeremos una descripción de algunas aplicaciones de dichos formalismos; finalmente discutiremos algunas consideraciones sobre cada cálculo mencionado aquí, resaltando fortalezas y debilidades.
  • Miniatura
    PublicaciónAcceso abierto
    La Actividad Experimental : Construcción De Fenomenologías Y Procesos De Formalización
    (2015-06-05) Malagón Sánchez, Francisco; Sandoval Osorio, Sandra; Ayala Manrique, María Mercedes
    Una relación filosofía-educación en ciencias se ilustra mediante un estudio de caso. Basados en un enfoque fenomenológico, se muestra la actividad experimental en ciencias como un espacio donde se establece una relación íntima y dinámica entre la construcción de fenomenologías y el desarrollo de procesos de formalización y conceptualización. Se precisa primero lo que se entiende con los términos: fenómeno y fenomenología, así como experimento, experiencia y experimentación. Luego se presenta cómo se concreta esta perspectiva en el caso particular del estudio de las cualidades de acidez y basicidad de las sustancias y la formulación del pH. Abstract A relationship philosophy-science education is illustrated by a case study. Based in a phenomenological approach, experimental activity in science is shown as a space which establishes a close and dynamic relationship between the construction of phenomenologies and development of formalization and conceptual processes. It is clarified first what it is understood by the terms: phenomenon and phenomenology, as well as experience, experiment, and experimentation. Then it is shown the way this perspective is concreted in the particular case of the study of the qualities of acidity and alkalinity of substances and the formulation of pH.
  • Miniatura
    PublicaciónAcceso abierto
    La búsqueda de los principios fundamentales de la mecánica : Euler y D’Alembert.
    (2011-10-14) Romero E., Ángel
    A través de este escrito se pretende dar a conocer algunos aportes de la fundamentación de la ciencia de la mecánica en el siglo XVIII adelantados por Leohnard Euler y ponerlos en relación con algunas de las respectivas propuestas de Jean le Rond d’Alelmbert. Se resalta, en particular, que las preocupaciones de estos dos pensadores no se limitan sólo a una intención de matematización de la ciencia de la mecánica. También existe en ellos la intención explícita de clarificación de la mecánica a través de la reorganización conceptual de las nociones primeras y de la identificación de los principios en los que debe fundamentarse esta ciencia, ambas intenciones soportadas en presupuestos epistemológicos sobre la certeza y la validez de nuestro conocimiento.
  • Miniatura
    PublicaciónAcceso abierto
    Consideraciones sobre la formalización y matematización de los fenómenos físicos.
    (2011-10-14) Ayala, María Mercedes; Garzón, Marina; Malagón, Francisco
    La formalización puede ser considerada como un proceso natural del pensamiento o de todo proceso cognitivo en la medida en que el lenguaje común es en sí mismo un proceso de formalización. Pero, ¿qué se puede entender por formalización en el marco de la física?, ¿hay una distinción de base con esos procesos comunes de formalización?, ¿es la formalización sinónimo de matematización? y ¿en qué se diferencian? En el artículo se caracterizan cuatro maneras diferentes de formalizar, pretendiendo con ello establecer una base más adecuada para responder este tipo de preguntas: 1)formalización de carácter pragmático, 2) aplicación de las matemáticas 3)axiomatización de las teorías físicas y unificación de campos fenoménicos y 4) matematización de un campo fenoménico.
  • Miniatura
    PublicaciónAcceso abierto
    Intuiciones, visualizaciones y formalizaciones en el desarrollo histórico-epistemológico de los números irracionales.
    (Universidad del Valle, 2018) Pineda Pérez, Diana Carolina; Ñañez Valdez, Yesika Viviana; Recalde Caicedo, Luis Cornelio
    En este trabajo de grado se hace un análisis epistemológico del desarrollo histórico de los números reales a través de tres etapas fundamentales: la etapa de intuición, la etapa de visualización y la etapa de formalización. Se hace especial énfasis en los números irracionales, detallando su desarrollo, desde sus raíces primigenias, en la antigüedad griega, hasta la formalización de los números reales en el siglo XIX. Este trabajo se centra en identificar cada una de estas etapas, tratando de identificar la manera en que los matemáticos intuyeron, visualizaron y formalizaron los procesos algorítmicos involucrados en el proceso de formalización de los números reales. Al final se hace una reflexión sobre la manera en que un estudio histórico, como el presente, puede servir como guía en el diseño de situaciones didácticas contrastando la filogénesis y la ontogénesis.
  • Miniatura
    PublicaciónAcceso abierto
    Mapa de procesos para un control operativo en la Asociación de Recicladores Recuperando Esperanza en el municipio de Cartago, Valle del Cauca
    (Universidad del Valle, 2024) Córdoba Mosquera, Maryury; Pulthon Bolívar, María Guadalupe; Valencia Valencia, Martha Yazmín
    Se plantea el tema de la transformación de una población vulnerable a nivel nacional. En este caso, se trata de la población de recicladores, quienes, a través de sus líderes y su defensa, lograron obtener derechos constitucionales que les otorgan la oportunidad de ser prestadores de un servicio público. Un grupo de recicladores del Municipio de Cartago se acoge al Decreto 596 del 2016 y conforman una Asociación, cumpliendo las fases de formalización para luego convertirse en un prestador de servicio de aseo público enmarcado en el aprovechamiento. Dicho grupo enfrenta grandes retos que afectan el interior de la asociación. El presente trabajo de investigación, bajo asesoría, busca diseñar un Mapa de Procesos que muestre una mayor claridad para el debido funcionamiento de ARRE, generando una herramienta que les permita tener un mejor control.
  • Miniatura
    PublicaciónAcceso abierto
    Percepción de la formalización empresarial por parte del comerciante del distrito de Buenaventura para acceder a capital financiero
    (Universidad del Valle, 2022) Bonilla López, Gustavo Adolfo; Guarín Zora, Juan Fernando
    Esta monografía tiene como objetivo describir la percepción de la formalización empresarial por parte del comerciante del distrito de Buenaventura para acceder a capital financiero, para lograr este objetivo general se desarrollaron tres objetivos específicos, el primero consiste en observar la legislación que existe en Colombia que incentiva la formalización empresarial; seguidamente y como segundo objetivo se identificó las experiencias, mitos y creencias de los comerciantes acerca de las favorabilidad y desfavorabilidad de la formalización empresarial para acceder a capital y por último objetivo se la correlación de la percepción de los comerciantes acerca de la formalización empresarial y el acceso al capital financiero. También se determinó la muestra que según la formula aplicada fue necesario realizar 219 encuestas a comerciantes informales del distrito de Buenaventura. La investigación se determinó como descriptiva transversal, se realizó a través del método inductivo, como técnica se utilizó la encuesta.
  • Miniatura
    PublicaciónAcceso abierto
    Teorema fundamental del álgebra : visualizaciones, intuiciones y demostraciones formales.
    (2017) Lucero Chaves, Jonathan Estevan; Recalde Caicedo, Luis Cornelio
    En el presente trabajo de grado se realiza un análisis histórico de los procesos de rigor que surgen en la construcción histórica del Teorema Fundamental del Álgebra, tomando como referencia las intuiciones, visualizaciones y demostraciones formales que se van dando en el devenir histórico. En la educación secundaria y en algunos cursos universitarios, algunos contenidos del álgebra como la resolución de ecuaciones, se enseñan como una serie de técnicas y procesos algorítmicos que dejan de lado la parte conceptual; en este trabajo se busca observar cómo han evolucionado los procesos de demostración en el álgebra, que van desde las intuiciones, pasan por las visualizaciones y se consolidan con los procesos formales que permiten demostrar dicho teorema; este trabajo, se realiza con el deseo de hacer un aporte desde la historia para superar un poco el tecnicismo con que algunos contenidos del álgebra, como en el caso de la resolución de ecuaciones, se han venido trabajando.