Browsing by Subject "Formalización"
Now showing items 1-3 of 3
-
A survey of computational calculi used in musical applications
(2014-03-13)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 ... -
La búsqueda de los principios fundamentales de la mecánica : Euler y D’Alembert.
(2011-10-14)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 ... -
Teorema fundamental del álgebra : visualizaciones, intuiciones y demostraciones formales.
(2018-06-15)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 ...