Palabra Clave

Método de Inspección


 Link de la presentación en voki

Presentación en Voki

Comentarios

Publicar un comentario

Entradas más populares de este blog

Lester Randolph Ford

Imagen
Nació el 23 de Septiembre de 1927 en Houston, e s un americano matemático especializado en el flujo de la red los problemas.  Él es el hijo del matemático Lester R. Ford, Sr El papel de Ford con DR Fulkerson en el problema de flujo máximo y el algoritmo de Ford-Fulkerson para resolverlo, publicado como un informe técnico en 1954 y en una revista en 1956, estableció el flujo max min-cut teorema .Con Richard Bellman , Ford también ha desarrollado el algoritmo de Bellman-Ford para encontrar los caminos más cortos en los gráficos que tienen bordes negativamente ponderados. Fue redactor de American Mathematical Monthly, de 1942-1946, y el presidente de Mathematical Association of America, 1947-1948. Ford Sr. y Ford Jr. son co-autores de Automorphic Functions cuál fue publicado cerca por McGraw-Hill en 1963. Es uno de los pioneros en el campo de la programación de flujos en grafos.   L. R. Ford Sr es elogiado por su ejemplar trabajo en matemáticas al in...
Leer más

Robert W. Floyd

Imagen
Nacido en  Nueva York , Floyd culminó el bachillerato a los 14 años. Se graduó en la Universidad de Chicago en 1953 a los 17 años y como Físico en 1958. Operador de computadoras en los años 60, publicó sus primeros artículos los cuales fueron de gran influencia y fue nombrado profesor asociado en la Universidad de Carnegie Mellon. Seis años más tarde fue nombrado profesor en la Universidad de Stanford. Entre sus contribuciones se encuentran el diseño y análisis de algoritmos eficientes para encontrar el camino más corto en un grafoy para el problema de reconocimiento de frases, pero probablemente su logro más importante fue el ser pionero, con su artículo de 1967  «Assigning Meanings to Programs» , en el área de verificación de programas utilizando aserciones lógicas, donde aparece la importante noción de invariante, esencial para demostrar propiedades de programas iterativos. Floyd recibió el Premio T...
Leer más