option

test_parteI_MLP

INFORMACIÓN ESTADÍSTICAS RÉCORDS
REALIZAR TEST
Título del test:
test_parteI_MLP

Descripción:
test primer parcial mlp

Autor:
trex007
(Otros tests del mismo autor)

Fecha de Creación:
14/01/2021

Categoría:
Otros

Número preguntas: 32
Comparte el test:
Facebook
Twitter
Whatsapp
REALIZAR TEST
Últimos Comentarios
No hay ningún comentario sobre este test.
Temario:
¿Qué tipo de letra se utiliza para representar las variables que aparecen en los asertos de un programa que denotan en cada punto del mismo el último valor que se les haya asignado? minúsculas mayúsculas.
El dominio indica el conjunto de valores que permite tomar a cuantificadores variables ligadas.
¿Qué es un estado? Consiste en la expresión del comportamiento esperado Es la aplicación del conjunto de variables en el conjunto de sus posibles valores.
Cuál de los siguientes operaciones tiene mayor prioridad? Relacionales Aritméticas.
¿Cuándo es más útil un programa? Con una precondición débil Con una postcondición débil.
Teniendo en cuenta que tenemos demostrado {A1}P{A2} y A2=>A2', también se puede considerar {A1'}P{A2} {A1}P{A2'} {A1'}P{A2'}.
Precondición: aserrto que impone condiciones a los datos Cuanto más débil sea la precondición más útil será el programa. Cuanto más fuerte sea la precondición más útil será el programa.
Teniendo en cuenta que tenemos demostrado {A1}P{A2} y {B1}P{B2}, también se puede considerar {A1^B1}P{A2^B2} {A1 v B1}P{A2^B2}.
El elemento que se elige separar del dominio... pertenece no pertenece.
¿De qué otra forma se le llama a la validación estática? Verificación Corrección.
¿Cuál es el aserto más fuerte? X=falso X>-1.
¿Cuándo se pueden separar los elementos de un dominio? Cuando el dominio sea nulo Cuando el dominio sea infinito.
¿Con qué se realiza la especificación formal? Con la precondición Con la precondición y postcondición.
¿Cuál de los dos asertos es más fuerte? x > 2 x>10 ^ y = 8.
¿Se puede denotar mediante una expresión un valor de un tipo determinado? Si No.
¿Cuando el dominio de una expresión con cuantiicador está vacío, cuál es el resultado de dicha expresión? no hay resultado alguno el elemento neutro de la operación que se repite.
for x:mat; A1: x>=1 A2: x>1 A3 falso A3 es más fuerte uqe A2 y A2 más fuerte que A1 A3 esmás fuerte que A1 y A2 es más fuerte que A3.
Si A1 es más fuerte que A2 A1 => A2 A2 => A1.
Un aserto hace que el programa sea cierto Verdadero Falso.
¿Cuándo podemos decir que A1 es más fuerte que A2? Todo estado que cumple A1 debe cumplir A2 Todo estado que cumple A1 no debe cumplir A2.
¿Qué aserto es más fuerte? x=3 x<3.
Dado el aserto "cierto" y A1=x<3 es más débil que el aserto cierto? si no.
¿Qué es necesario conocer para poder derivar o verificar un programa? La especificación La corrección.
La mejor forma de verificar el funcionamiento de un programa es mediante la validación dinámica verdadero falso.
En un programa correcto, si los asertos se incorporan en los lugares adecuados,¿Cuál debería ser su valor lógico? Es indiferente (falso) Es cierto (verdadero).
Dados dos asertos A1 y A2 A1: x<2 A2: x<4 ¿Qué opción es correcta? A1 => A2 A2 => A1.
La corrección de un programa mediante pruebas se llama validación... Estática Dinámica.
¿Cómo se incorpora un aserto a un programa? ' ' { }.
¿En caso de minimización y maximización, ¿cuántos elementos debe tener como nínimo el dominio general? 1 2.
¿A qué es similar un aserto? Comentario Especificacion.
Suponiendo que B -> I es una instrucción protegida, señala la correcta I es la protección y B la instrucción B es la protección e I la instrucción.
Los asertos: Son expresiones inventados para su uso único en los lenguajes de programación No se ven limitados al plano booleano y por ello se pueden usar en operaciones de las que carecen los lenguajes de programación.
Denunciar test Condiciones de uso
INICIO
CREAR TEST
INFORMACIÓN
ESTADÍSTICAS
RÉCORDS
Otros tests del Autor