Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

Teorema de Bohm-jacopini

No description
by

Ranselmo Santana

on 27 September 2012

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Teorema de Bohm-jacopini

Teorema de Bohm-jacopini El principio de todo aquello, que culminó con la programación estructurada que nos ha llegado hasta hoy empezó con la publicación en 1966 del conocido como teorema de la estructura o de Böhm-Jacopini en honor de Corrado Böhm y Giuseppe Jacopini. Básicamente, este teorema nos dice que: "Todo algoritmo propio puede ser expresado en términos de sólo tres tipos de estructura: secuencial, condicional y repetitiva. Un algoritmo propio -Tiene un único punto de entrada y un único punto de salida.

-Todas las sentencias son alcanzables, es decir, no contiene código muerto, que no se ejecutará nunca.

-No hay bucles infinitos. Todos los bucles terminan en un número finito de pasos.

-No hay ambigüedades: cada sentencia tiene una única interpretación.
-
Todos los posibles caminos llevan desde el punto de entrada al de salida.

-El algoritmo acaba tras un número finito de pasos.

-El algoritmo debe producir al menos una salida o un efecto.

-Todas las sentencias del algoritmo deben poder realizarse de manera precisa en un tiempo finito. Si un algoritmo cumple esas condiciones, entonces puede expresarse utilizando sólo estros tres tipos de estructura:

-Secuencial: Un bloque de sentencias que se ejecutan una tras otra. Ejemplo... el bloque {...} de C y Java, o el bloque begin...end de Pascal y Delphi.

-Condicional: Un bloque de sentencias que se ejecutan sólo si se cumple una condición: el if-else y el switch.
-Repetitiva: Un bloque que se ejecute varias veces en función de una condición: bucles, como while, do-while, repeat-until, for y foreach. Secuencia
Condicional
Repetitiva 4to A de Informática Frantz Saint Germain -Yan Carlos Cohn

-Ranselmo Santana

-Elitza Lopez

-Bianca Suriel

-José Manuel The mutineers Gracias por su atención
Full transcript