5.25.5.3 Sistemas de Computación Simbólica (20 horas)

Resultados de la carrera Outcomes: AG-Ci09,AG-Ci11
Temas
  1. Sistemas de álgebra computacional (Mathematica, SymPy)
  2. Integración y diferenciación simbólica
  3. Resolución de ecuaciones y simplificación
  4. Demostración de teoremas y razonamiento automatizado
  5. Aplicaciones en computación científica

Objetivos de Aprendizaje (Learning Outcomes)
  1. Usar sistemas de álgebra computacional para computación matemática [Usar (Usage)]
  2. Implementar algoritmos de computación simbólica [Usar (Usage)]
  3. Aplicar técnicas de demostración de teoremas [Usar (Usage)]
  4. 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