Edición de «Práctica 3: Cuantificadores (Algoritmos I)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 74: | Línea 74: | ||
1. ''capicua'', que determina si una secuencia es capicúa. (Por ejemplo, [0,2,1,2,0] es capicúa y [0,2,1,4,0] no). | 1. ''capicua'', que determina si una secuencia es capicúa. (Por ejemplo, [0,2,1,2,0] es capicúa y [0,2,1,4,0] no). | ||
''capicua''(x: [T]): Bool = (<math>\forall</math>i <math> \leftarrow</math> [0..|x| | ''capicua''(x: [T]): Bool = (<math>\forall</math>i <math> \leftarrow</math> [0..|x|/2]) <math>x_{i-1}==x_{|x|-i}</math> | ||
Línea 150: | Línea 150: | ||
''enTresPartesPrima''(x: [<math>\mathbb{Z}]</math>): Bool = ( estaOrdenada(x) <math> \land (\forall</math> a <math>\leftarrow</math> x) <math> (0 \geq a \ \land \ a \leq 2 </math> ) ) | ''enTresPartesPrima''(x: [<math>\mathbb{Z}]</math>): Bool = ( estaOrdenada(x) <math> \land (\forall</math> a <math>\leftarrow</math> x) <math> (0 \geq a \ \land \ a \leq 2 </math> ) ) | ||
===Ejercicio 4=== | ===Ejercicio 4=== |