Resultados de la carrera Outcomes: AG-Ci09,AG-Ci10
- Temas
- Lógica proposicional y de predicados
- Solucionadores SAT y satisfacibilidad
- Verificación de modelos y lógica temporal
- Verificación de programas y lógica de Hoare
- Demostradores de teoremas interactivos
- Objetivos de Aprendizaje (Learning Outcomes)
- Aplicar lógica computacional a resolución de problemas [Usar (Usage)]
- Usar solucionadores SAT para satisfacción de restricciones [Usar (Usage)]
- Implementar algoritmos de verificación de modelos [Usar (Usage)]
- Verificar programas usando métodos formales [Usar (Usage)]
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
