svtorz2, 19:11 ‘Aclividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUALIANALISIS Y VERIFICACION DE A Actividad de puntos evaluables - Escenario 2 Fecha de entrega 1denoven 23:55 Puntos 50 —Preguntas 5 Disponible 29 de oct en 0:00 - 1 de noven 23:55 Limite de tiempo 90 minutos Intentos permitidos 2 Instrucciones Apreciado estudiante, presenta tus eximenes como SERGIO EL ELEFANTE, quien con honestidad, usa su sabiduria para mejorar cada dia. Lee detenidamente las siguientes indicaciones y minimiza inconvenientes: vos para desarrolar ‘curry al segundo tun. problema secnolégica, sondiste uno. de los neonwenionte 8 Situ@ar misme y la set spuesta lo ates efificar la solucién de tu durante los 24 6. El tiempo maximo que tien resolver cada eveliacén es d inutos, 168 para 90 ;Confiamos en que sigas, paso a paso, en el camine hacia Ia excelencia académica! {Das tu palabra de que realizarés este actividad esumiendo de corazon nuestro PACTO DE HONOR? Historial de intentos hitpsipolinstructure.comicourses!49036/quzes/111716 1831/012, 18:11 Actividad de puntos evaluables-Escenaro 2: SEGUNDO BLOQUE-TEORICO - VIRTUAL/ANALISIS ¥ VERIFICACION DE A Intento Hora Puntaje MAS RECIENTE Intento 1 12 minutos 50 de 50 @ Las respuestas correctas estaran disponibles del 1 de nov en 23:55 al 2 de nov en 23:55, Puntaje para este intento: 50 de 50 Entregado el 31 de oct en 19:11 Este intento tuvo una duracién de 12 minutos Pregunta 1 10/10 pts De acuerdo al material del curso, la precondicién de un programa es: Una pregunta que debe hacerse al iniciar a programar. Una afirmacién 0 condicién que debe ser cierta antes de ejecutarse el programa Una condicién sin la cual no se pueden escribir programas correctos. Un programa que valida que las entradas de otro programa sean validas Un estado posterior a la ejecucién del programa Pregunta 2 10/10 pts Se dice que un programa es correcto de acuerdo a su especificacin si: hitpsipolinstructure.comicourses!49036/quzes/111718 26svtorz2, 19:11 ‘Aclividad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUALIANALISIS Y VERIFICACION DE A No tiene errores de sintaxis de acuerdo a la definicién del lenguaje de programacién utilizado Compila perfectamente de acuerdo a la plataforma escogida de desarrollo No tiene errores de sintaxis y compila perfectamente. Cumple la precondicién y la postcondicién durante todas las instrucciones del programa. Partiendo de cualquier estado de la precondicién, después de las instrucciénes, se cumple la postcondicién, Pregunta 3 10/10 pts Los siguientes programas tienen Unicamente asignaciones. Seleccione los que son correctos de acuerdo a su especificacién. En todos los. programas, las variables a, by c son enteras. A){a>0Ab> 0} B) {a0} cxatb {c > 0} D){a<0Ab>0} cxatb {c <0} F) {a> 0Ab<0} cxatb {c<0} hitpsipolinstructure.comicourses!49036/quzes/111718svtorz2, 19:11 ‘Aclividad de puntos evaluables - Escenaria 2: SEGUNDO BLOQUE-TEORICO - VIRTUALIANALISIS Y VERIFICACION DE A Pregunta 4 10/10 pts EI siguiente programa es incorrecto con respecto a su especificacién: {Pre Q:a>0 A b>0A.amod 2 =b mod 2} program ejercicio input: a, b: Z var: ¢: Z c:=0 cscta c:=c-b return c {Pos R: ¢ > 0 Ac mod 2 = 0} Usted debe mostrar que efectivamente el programa es incorrecto. 2 Qué valores elegiria para las variables de entrada? hitpsfipl instructure.com/courses(49036iquizzes/111716 46anrt0122, 19:11 ‘Aclividad de puntos evaluables - Escenaria 2: SEGUNDO BLOQUE-TEORICO - VIRTUALIANALISIS Y VERIFICACION DE A El programa es correcto! Se puede demostrar con la combinacién a = 4,b=2 Cualquier combinacién de valores en que b >= a. La combinacién a = 10, b= 8 Cualquier combinacién de valores en que b 2 a, y que uno de los dos sea impar y el otro par. Cualquier combinacién de valores en que b 2 a, y que a+b sea impar. Cualquier combinacién de valores en que a2 b, y que ambos sean pares 0 ambos impares. Pregunta 5 10/10 pts 2Es la siguiente tripla valida? {Pre Q:a=A/b=B} program mistery input: aR, b!R b:=10 return a, b {Pos R:a=12\A=12A\b=10/AB = 10} Falso Verdadero hitpsfot inst {cture.comicourses49036/quizzes!111716 516svtorz2, 19:11 ‘Aclvidad de puntos evaluables - Escenario 2: SEGUNDO BLOQUE-TEORICO - VIRTUALIANALISIS Y VERIFICACION DE A Puntaje del examen: 50 de 50 hitpsfipol instructure.com/courses(49036iquizzes/111716 ais