Especificación de Algoritmos y Lógica

<p>Los usuarios del algoritmo. (A)</p> Signup and view all the answers

<p>Confundir la especificación con la implementación. (D)</p> Signup and view all the answers

<p>Las acciones que debe realizar para usar el algoritmo correctamente. (D)</p> Signup and view all the answers

<p>La manera en que se implementa. (B)</p> Signup and view all the answers

<p>Simplificar los predicados de manera comprensible. (A)</p> Signup and view all the answers

<p>El algoritmo puede tener un comportamiento inesperado. (A)</p> Signup and view all the answers

<p>Define la relación entre el estado inicial y el final. (A)</p> Signup and view all the answers

<p>Si P es un predicado, ¬P también lo es. (C)</p> Signup and view all the answers

<p>∀w : Q(w) : P(w) (D)</p> Signup and view all the answers

<p>El semiplano arriba de la diagonal principal. (C)</p> Signup and view all the answers

<p>Representa todos los estados posibles. (D)</p> Signup and view all the answers

<p>P &amp; Q (A)</p> Signup and view all the answers

<p>Que el usuario haya cumplido sus obligaciones. (B)</p> Signup and view all the answers

<p>La descripción abstracta y precisa de una sucesión de instrucciones que permiten llevar a cabo un trabajo en un número finito de pasos. (B)</p> Signup and view all the answers

<p>Se refiere a detallar claramente el problema que quiere resolver el algoritmo. (B)</p> Signup and view all the answers

<p>La especificación describe qué hace el algoritmo sin indicar cómo, mientras que la implementación detalla cómo resolver el problema. (C)</p> Signup and view all the answers

<p>Describir el problema a resolver. (A)</p> Signup and view all the answers

<p>C++ (D)</p> Signup and view all the answers

<p>Debe ser clara y precisa, respondiendo sobre el uso del algoritmo. (A)</p> Signup and view all the answers

<p>¿Qué hace el algoritmo? (A)</p> Signup and view all the answers

<p>La implementación se ocupa de describir el problema a resolver. (D)</p> Signup and view all the answers

<p>Indica que las variables pueden tomar cualquier valor y siempre se cumple. (A)</p> Signup and view all the answers

<p>Que el programa no termina. (A)</p> Signup and view all the answers

<p>Si hay al menos un caso donde se cumple la condición. (C)</p> Signup and view all the answers

<p>Si existe un índice que no cumple P(i). (C)</p> Signup and view all the answers

<ol start="0"> <li>(A)</li> </ol> Signup and view all the answers

<ol> <li>(C)</li> </ol> Signup and view all the answers

<p>El predicado se considera indefinido para operaciones como max o min. (D)</p> Signup and view all the answers

<p>Ayuda en la formulación de mejores postcondiciones y precondiciones. (D)</p> Signup and view all the answers

<p>La suma total debe ser igual a cero. (A)</p> Signup and view all the answers

<p>El subvector no puede ser definido. (A)</p> Signup and view all the answers

<p>El vector b debe ser una combinación de los elementos de a. (B)</p> Signup and view all the answers

<p>No debe haber duplicados en sus valores. (C)</p> Signup and view all the answers

<p>Todos los valores de a son números cero. (C)</p> Signup and view all the answers

<p>La función debe devolver un vector vacío. (D)</p> Signup and view all the answers

<p>El valor que más aparece repetido. (B)</p> Signup and view all the answers

<p>n debe ser mayor que 0. (C)</p> Signup and view all the answers

<p>Que m efectivamente pertenece al vector a. (D)</p> Signup and view all the answers

<p>Devolver cualquier primo mayor o igual que n. (B)</p> Signup and view all the answers

<p>Comprueba que x no es divisible por ningún número menor que x. (A)</p> Signup and view all the answers

<p>Es incorrecto si n es mayor que 2. (C)</p> Signup and view all the answers

<p>Deben ser naturales que cumplen con la relación matemática indicada. (D)</p> Signup and view all the answers

<p>Solo es satisfecha por algoritmos que no terminan. (B)</p> Signup and view all the answers

<p>Que existan funciones auxiliares como primo(x) para verificación. (D)</p> Signup and view all the answers

Una descripción abstracta y precisa de una secuencia de instrucciones que permite realizar una tarea en un número finito de pasos.

Una codificación en un lenguaje de programación concreto de un algoritmo.

Detallar cuidadosamente el problema que se quiere resolver. Contesta a la pregunta ¿Qué hace el algoritmo?, sin dar ningún detalle de cómo se hace.

Decir cómo se resuelve el problema. Es programar el algoritmo en un lenguaje concreto.

Una especificación debe ser tanto clara como precisa.

La especificación debe responder a cualquier pregunta sobre el uso del algoritmo sin tener que acudir a la implementación.

Describe la situación inicial del algoritmo.

Describe el estado final del algoritmo.

El predicado "true" se cumple para todos los valores de las variables. Indica que no hay restricciones en los valores de las variables.

El predicado "false" no se cumple para ningún valor de las variables. Representa el conjunto vacío.

El cuantificador universal (∀) indica que una propiedad debe cumplirse para todos los valores de una variable dentro de un rango determinado.

El cuantificador existencial (∃) indica que una propiedad debe cumplirse para al menos un valor de una variable dentro de un rango determinado.

Si el rango de valores sobre el que se aplica un cuantificador es vacío, el resultado del cuantificador depende de su tipo.

En los predicados, un predicado más débil en comparación con otro, permite más posibilidades.

En los predicados, un predicado más fuerte en comparación con otro, limita más las posibilidades.

Definir cómo un algoritmo resuelve un problema sin detallar cómo se implementa.

Decidir cómo se construye la solución, incluyendo la elección de herramientas y técnicas.

Relación entre la entrada, el comportamiento y la salida del algoritmo.

Conjunto de reglas que especifican el comportamiento del algoritmo.

Conjunto de predicados más simples que representan los pasos del algoritmo.

Es una expresión booleana que puede ser evaluada como verdadera o falsa. Se utiliza para describir las condiciones del algoritmo.

En una especificación de algoritmo, una postcondición demasiado débil puede permitir que el algoritmo tenga varias soluciones posibles, lo que puede dificultar la implementación y probar el algoritmo. Es más probable que el algoritmo se comporte de manera inesperada o no funcione correctamente.

Una postcondición demasiado fuerte puede dificultar la implementación del algoritmo. Puede exigir condiciones que sean difíciles o imposibles de cumplir.

Representa la relación entre dos predicados. Se utiliza el símbolo " ) " para denotar la implicación lógica, donde P ) Q significa "Si P, entonces Q".

Es un predicado lógico que, para un valor dado de x, es verdadero si x es mayor que cero, y falso en caso contrario.

Es un predicado lógico que, para un valor dado de x e y, es verdadero si tanto x como y son mayores que cero, y falso en caso contrario.

Es un predicado lógico que, para un valor dado de x e y, es verdadero si al menos uno de ellos es mayor que cero, y falso en caso contrario.

Es un predicado lógico que, para un valor dado de y, es verdadero si y es menor o igual a cero, y falso en caso contrario.

Es un predicado lógico que, para un valor dado de x e y, es verdadero si x es menor o igual a cero e y es mayor o igual a cero, y falso en caso contrario.

Dos predicados, P y Q, son incomparables si ni P implica Q (P 6) Q) ni Q implica P (Q 6) P). Esto significa que no existe una relación de implicación lógica entre ellos.

Formaliza la condición de que las entradas del vector a están ordenadas de manera creciente. Es importante que este predicado se verifique para todos los índices validos del vector, es decir, de 0 hasta n-1.