3.9.3 SDC/Sistemas de Computación Simbólica
Temas:
Core Tier1
- 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):
Core-Tier1:
- Usar sistemas de álgebra computacional para computación matemática [Usar]
- Implementar algoritmos de computación simbólica [Usar]
- Aplicar técnicas de demostración de teoremas [Usar]
- Conectar computación simbólica y numérica [Evaluar]
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM
