Resultados de la carrera Outcomes: AG-Ci09,AG-Ci11
- Temas
- Sistemas de álgebra computacional (Mathematica, SymPy)
- Integración y diferenciación simbólica
- Resolución de ecuaciones y simplificación
- Demostración de teoremas y razonamiento automatizado
- Aplicaciones en computación científica
- Objetivos de Aprendizaje (Learning Outcomes)
- Usar sistemas de álgebra computacional para computación matemática [Usar (Usage)]
- Implementar algoritmos de computación simbólica [Usar (Usage)]
- Aplicar técnicas de demostración de teoremas [Usar (Usage)]
- Conectar computación simbólica y numérica [Evaluar (Assessment)]
Bibliografía: [Dummit and Foote, 2004,Rotman, 2010]
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM