programa pascal urgente
Publicado por joju010 (10 intervenciones) el 05/04/2013 12:43:34
1. Factorial
El factorial de un número n entero positivo se define recursivamente
n = 0: n! = 1
n = 1: n! = 1
n > 1: n x (n — 1)!
Diseña un algoritmo con un solo bucle que resuelva el siguiente problema
n, fact: entero
{Pre = n = N ^ N > 0}
factorial
{Post = fact = N!}
Siendo el invariante del bucle el predicado siguiente
Inv = fact =( (i-1)! n! )/ j! ^ 0 < i < j - 1 ^ n = N
El número de iteraciones del bucle no debe superar n div 2 + 1.
Da una función de cota.
El factorial de un número n entero positivo se define recursivamente
n = 0: n! = 1
n = 1: n! = 1
n > 1: n x (n — 1)!
Diseña un algoritmo con un solo bucle que resuelva el siguiente problema
n, fact: entero
{Pre = n = N ^ N > 0}
factorial
{Post = fact = N!}
Siendo el invariante del bucle el predicado siguiente
Inv = fact =( (i-1)! n! )/ j! ^ 0 < i < j - 1 ^ n = N
El número de iteraciones del bucle no debe superar n div 2 + 1.
Da una función de cota.
Valora esta pregunta


0