Primer Parcial - Corte 1
Completion requirements
Opened: Tuesday, 29 September 2026, 7:10 AM
Closed: Tuesday, 29 September 2026, 11:00 AM
PRIMER PARCIAL – DESARROLLO FORMAL DE SOFTWARE
Antes de iniciar, tenga en cuenta:
- Tiempo: 60 minutos - 1Hora
- Preguntas: 20.
- Valor: 100 puntos.
- Modalidad: individual.
- Se presentará una pregunta por página.
- La navegación es libre: al avanzar, podrá regresar a la pregunta anterior.
- El orden de las preguntas y respuestas puede variar entre estudiantes.
- Encontrará preguntas de conceptos, Verdadero/Falso, aplicación y ejercicios de desarrollo.
- Lea cuidadosamente cada situación y analice antes de responder.
- En los ejercicios de desarrollo, muestre el procedimiento solicitado.
Contenidos
Fundamentos del Desarrollo Formal, calidad y construcción, error/defecto/fallo, verificación y validación, pruebas, lógica proposicional, tablas de verdad, predicados, variables, dominio, cuantificadores y formalización.
Al hacer clic en “Iniciar intento” comenzarán a correr los 90 minutos.
Éxitos en su evaluación. 🌟
Attempts allowed: 1
Time limit: 1 hour