Tarea 4

http://prezi.com/alb_h4nzqn4p/programacion-dinamica/

Tarea 3

Tarea 3. Video de ejemplo de programacion entera, problema tipo mochila.

https://www.youtube.com/watch?v=aeep3sHavaY

GUION

	Imágenes a colocar	Texto a colocar	Narración	Segundos
Portada		Modelos de programación entera Integrantes: Chávez López Anel López García  Daniel	Modelos de programación entera	20
Introducción		Introducción: Elementos : Modelos: Resolución de problemas:	Introducción: Los modelos de programación lineal consideran que las variables de decisión son continuas pero en muchos casos una solución optima es inservible si presenta fracciones. Elementos: Un modelo de programación entera es un modelo que contiene que contiene restricciones y una función objetivo idénticas a las formuladas en la programación lineal. La única diferencia es que una o mas de la variables de decisión tienen que tomar un valor entero en la solución final Existen tres tipos de tipos de modelos: -pura -mixta -binaria Estos problemas se pueden resolver por medio de: Metodos de remificacion y acotamientos Métodos de gomory	50
Planteamiento		Una escuela está programando las clases para el próximo semestre académico y requiere buscar la mejor asignación posible de profesores a los distintos cursos que se deben dictar. Considere que existen 3 profesores: A, B, C 3 cursos (asignaturas): C1, C2, C3. Adicionalmente, los profesores han manifestado sus preferencias por dictar los distintos cursos en una escala de 1 a 10, donde 10 es la máxima puntuación y 1 la mínima puntuación o preferencia. Se asume que cada profesor es apto para dictar cualquier curso, independiente del puntaje de su preferencia. La siguiente tabla resume las puntuaciones que asigna cada profesor a cada curso: Profesores Cursos A B C C1 5 8 5 C2 7 2 3 C3 9 10 8 Se ha establecido como criterio que cada profesor debe dictar sólo un curso y a la vez que cada curso obviamente debe tener un profesor. En base a lo anterior se desea encontrar la asignación de profesores que maximice el total de las preferencias.	Una escuela está programando las clases para el próximo semestre académico y requiere buscar la mejor asignación posible de profesores a los distintos cursos que se deben dictar. Considere que existen 3 profesores: A, B, C 3 cursos (asignaturas): C1, C2, C3. Adicionalmente, los profesores han manifestado sus preferencias por dictar los distintos cursos en una escala de 1 a 10, donde 10 es la máxima puntuación y 1 la mínima puntuación o preferencia. Se asume que cada profesor es apto para dictar cualquier curso, independiente del puntaje de su preferencia. La siguiente tabla resume las puntuaciones que asigna cada profesor a cada curso: Profesores Cursos A B C C1 5 8 5 C2 7 2 3 C3 9 10 8 Se ha establecido como criterio que cada profesor debe dictar sólo un curso y a la vez que cada   curso obviamente debe tener un profesor. En base a lo anterior se desea encontrar la asignación de profesores que maximice el total de las preferencias.	90
Resolución				40
Resultados		Al profesor A se le asigna el curso c2 Al profesor B se le asigna el curso c1 Al profesor C se le asigna el curso c3	Al profesor A se le asigna el curso c2 Al profesor B se le asigna el curso c1 Al profesor C se le asigna el curso c3	40
Créditos de imágenes , voces música y produccion		Imágenes: ·         http://www.azofrap.org/metas22.jpg ·         https://encrypted-tbn1.gstatic.com/images?q=tbn:ANd9GcThsrwhP9rgnWp-5-4ha9gRhL8s4ie9KBFlK-Ib3HawgJswxFJy ·         https://encrypted-tbn2.gstatic.com/images?q=tbn:ANd9GcRmUPgv4nj2AWCQwxAoA-7wj3qlOZ526rm7Jl4kgD92gQOyASY6 ·         https://encrypted-tbn0.gstatic.com/images?q=tbn:ANd9GcT357PGscCEde031PrFTiaPGtsD36bhSBZUn-G0ERPcsHFlM7t1mA voces: Anel Chávez López Música The Beatles Golden Slumers Producción: Anel Chavez Lopez Daniel Lopez Garcia		10

Tarea 2

https://sites.google.com/site/redesdeoptimizacion25/home

Lester Randolph Ford

Lester R Ford estudió en la Escuela Normal del Estado de Missouri (donde se graduó Pd.B., es Licenciado en Pedagogía) y luego asistió a la Universidad Estatal de Missouri. Se graduó con una licenciatura en 1911, y luego continuó estudiando para su Maestría.

Fue galardonado con una maestría en el Departamento de Matemáticas de la Universidad de Missouri-Columbia en 1912 con una tesis sobre Point-sabios funciones discontinuas. Luego se realizó una investigación en Harvard con Maxime Bôcher como su consejero, y se graduó MA en 1913. A partir de 1914 dio clases en la Universidad de Edimburgo en Escocia, donde fue nombrado como Profesor Ayudante en matemáticas después de la muerte de John Urquhart.

Él publicó una introducción a la teoría de funciones automorfas como Tract Edinburgh Mathematical n º 6 en 1915.

Ford leyó un documento a la Sociedad Matemática de Edimburgo en una clase de fracciones continuas en la segunda reunión de la sesión 1916-17. Ford volvió a los Estados Unidos y terminó el trabajo de doctorado en la Universidad de Harvard. Obtuvo el doctorado en 1917 por su tesis en aproximaciones racionales para un número complejo irracional. Un papel importante en base a sus tesisaproximaciones racionales a los irracionales números complejos se publicó en los Transacciones de la American Mathematical Society en 1918. El documento, presentado en 1917, da la dirección de Ford como la Universidad de Edimburgo. En 1919 se publicó Matemáticas elementales para la artillería de campo que fue preparado y publicado por la dirección del Jefe de Artillería de Campo, Escuela de Oficiales de Artillería de Campaña Centroamericana de Capacitación, Camp Zachary Taylor, Kentucky.

Después de sus contribuciones al esfuerzo de la guerra, Ford se unió a la facultad en el Instituto Rice, Houston, Texas, y si bien hay que publicó documentos tales como la cercanía de enfoque de complejos fracciones racionales para un número complejo irracional (1925), la solución de ecuaciones por el método de aproximaciones sucesivas (1925), sobre las mociones que cumplan primera y segunda ley de Kepler (1927/28), y los puntos límite de un grupo (1929). Se casó con Marguerite Eleanor John (nacido el 26 de enero de 1890 a Robert A John y Margaret Morrow Houston) el 15 de junio de 1924; sus hijos son Lester Randolph Ford (nacido el 23 de septiembre de 1927 en Houston), Houston y Margaret Ford (nacido el 03 de septiembre 1930 ). Lester Randolph Ford, Jr. se convirtió en un destacado matemático que trabajó para la Corporación RAND.

Dos libros importantes publicados por Ford son funciones Automorphic (1929) y Ecuaciones Diferenciales (1933, segunda edición 1955).Además de su trabajo en el punto de sabios funciones discontinuas que hemos mencionado anteriormente, Ford es el más conocido para una "interpretación geométrica absolutamente maravillosa de la serie Farey". Esta interpretación geométrica vino de su introducción de los círculos de Ford. Él introdujo el concepto en un artículo de 1938 llamado "fracciones" [Ford, LR (1938) Fracciones. The American Mathematical Monthly. vol. 45, N ° 9, páginas 586-601].

A finales de 1930 Ford trasladado desde el Instituto Rice al Instituto Armour of Technology en Chicago, Illinois, donde fue nombrado Profesor y Presidente del Departamento de Matemáticas. En 1940 el Instituto de Tecnología de armadura se fusionó con el Instituto Lewis (que había sido fundada en 1896) para formar el Instituto de Tecnología de Illinois. Él había ganado la reputación de ser un excelente expositor y escribió artículos pendientes, así como contribuir muchos problemas matemáticos y soluciones.

De 1942 a 1946 Ford fue editor de la American Mathematical Monthly. Cuando cumplió cinco años de servicio que escribió Retrospect (Amer. Matemáticas. Monthly 53 (10) (1946), 582-585) en el que describía la experiencia.Ford fue el de Presidente de la Asociación Matemática de América desde 1947 hasta 1948. Después de haber jugado un papel tan importante, no es sorprendente que muchos deseaban marcar es septuagésimo aniversario con un homenaje matemática. El vino con la siguiente dedicatoria: -

Tal fue su contribución a las matemáticas que el Premio Lester R Ford se estableció en 1964 para reconocer a los autores de artículos de excelencia expositiva publicados en The American Mathematical Monthly o Revista Matemática. A partir de 1975 un premio independiente fue creada para los artículos que aparecen en la Revista Matemática por lo que desde entonces sobre el Premio Lester R Ford aplica sólo a artículos que aparecen en el American Mathematical Monthly. Los premios son de $ 500 y un máximo de cinco se otorgan cada año en la Reunión de Verano de la Asociación Matemática de América . La siguiente descripción del fondo se publicó algún tiempo después de su creación.

L R Ford, Retrospect, Amer. Math. Monthly
Lester R Ford., M.A., Lecturer in Mathematics, University of Edinburgh, The Gambolier VII
Biographical Index of Staff and Alumni (University of Edinburgh).

Robert W. Floyd

Robert W (Bob) Floyd (8 junio 1936 a 25 septiembre 2001) fue un eminente científico de la computación. Sus contribuciones incluyen el diseño del algoritmo de Floyd-Warshall (independientemente de Stephen Warshall), que de manera eficiente busca todos los caminos más cortos en un gráfico , el ciclo de Investigación Floyd algoritmo para la detección de ciclos en una secuencia, y su trabajo en el análisis. En un artículo aislado introdujo el concepto importante de difusión de errores para las imágenes que prestan, también llamado Floyd-Steinberg (aunque él distingue tramado de difusión). Un logro significativo fue pionero en el campo de la verificación de programas utilizando aserciones lógicas con los 1967 Significados de papel asignando a los programas. Esta fue una importante contribución a lo que más tarde se convirtió en la lógica de Hoare. 

 profesor emérito y ex presidente del Departamento de Ciencias de la Computación, murió el 25 de septiembre después de una larga enfermedad. Tenía 65 años.

.Una beca le permitió estudiar en la Universidad de Chicago, donde obtuvo una licenciatura en artes liberales en 1953 a los 17 años. Después de que él mismo apoyó y obtuvo otra licenciatura en física en 1958.

Aunque él nunca fue a través de los trámites de obtención de un doctorado, antes de su nombramiento como profesor asociado de ciencias informáticas en Stanford en 1968, había escrito por lo menos una docena de documentos considerados superiores a cualquier tesis doctoral en ciencias de la computación en el momento. Su investigación incluyó el diseño y análisis de algoritmos para la búsqueda de los caminos más cortos en una red, el análisis (descomposición) lenguajes de programación, cálculo de cuantiles, la impresión de tonos de gris en una impresora de puntos, la clasificación de la información y la selección de las permutaciones y combinaciones aleatorias.

Su logro científico más importante, sin embargo, fue pionero de métodos sistemáticos de verificación del programa. Su papel seminal 1967 "Significados asignando a los programas", abrió la esfera de la verificación del programa. Su idea básica era unir las llamadas "etiquetas" en la forma de aserciones lógicas a las declaraciones individuales del programa o ramas que se definen los efectos del programa sobre la base de una definición formal semántica del lenguaje de programación. Muchos investigadores en métodos formales de computación en todo el mundo adoptaron este método. Una de las influencias más importantes fue el CAR Hoare, quien en 1969, a partir del trabajo de Floyd, desarrolló su cálculo de la semántica pre y postcondición para los programas de ordenador.

Desde el principio, Knuth y Floyd habían encontrado sus intercambios académicos tan productiva que decidieron que tenía que estar en la misma institución, y ambos llegaron a Stanford. Los dos estaban en constante comunicación cuando Knuth estaba trabajando en su libro The Art of Computer Programming (originalmente la intención de ser un volumen), que debía reunir a todos los algoritmos interesantes que la informática tenía que ofrecer. Pero Knuth no pudo terminar su libro. A medida que escribía, que constantemente tenía que hacer frente a nuevos algoritmos y elegantes que necesitaba para acomodar. Floyd, el libro de mayor publicación previa revisor y la persona citada más que nadie en el libro, fue el principal "culpable". The Art of Computer Programming eventualmente se transformó en una serie de siete volúmenes y sigue siendo un trabajo en progreso.

Floyd pudo haber sido el primer defensor de refactorización - la reescritura de los programas de trabajo a partir de cero, volver a usar sólo las ideas esenciales. Refactoring es una práctica habitual entre los programadores de computadoras. Por continuamente buscando formas más simples de hacer lo mismo, Floyd tuvo como objetivo mejorar no sólo los programas sino también las habilidades de los programadores y la comprensión.

En Stanford, fue profesor de cursos de algoritmos, incluyendo "Ordenación y búsqueda". Con su ex estudiante graduado de Richard Beigel, escribió un libro titulado El lenguaje de las máquinas: Introducción a la computabilidad y Lenguajes Formales (Computer Science Press, 1994).

Floyd fue director del Departamento de Ciencias de la Computación de 1973 a 1975, un período de crecimiento departamental grande cuando Informática pasado de Forsythe Hall para más céntrico Salón Margaret Jacks. Floyd fue capaz de utilizar el prestigio de su cargo junto con Amnistía Internacional y un cuadro internacional de científicos de sistemas para ayudar a salvar el ex ministro de Educación chileno Fernando Flores, quien fue relegado por el gobierno de Pinochet a uno de los campamentos de Chile peores prisiones. Sobre la base de una invitación para estudiar en Stanford, publicado por Floyd, Flores se le permitió abandonar el país con su familia, que finalmente terminó sus estudios en Berkeley y co-autor de un libro de ciencias de la computación de Stanford Profesor Terry Winograd.

En 1978, Floyd ganó la Association for Computing Machinery (ACM) Premio Turing - el más alto honor en ciencias de la computación - "para tener una clara influencia sobre las metodologías para la creación de software eficiente y confiable, y para ayudar a fundar el siguiente importante sub-campos de la informática.: la teoría del análisis, la semántica de los lenguajes de programación, verificación automática de programas, síntesis automática de programas y análisis de algoritmos "

En 1991, el Instituto de Ingenieros Eléctricos y Electrónicos (IEEE) Computer Society otorgó su Premio Floyd Pioneer Computer por su trabajo en los primeros compiladores. (Un compilador es el software que traduce un programa de ordenador como un todo en código de máquina que se guarda para su posterior ejecución en un momento deseado.)

Floyd, quien se retiró de Stanford en 1994, fue miembro de la Academia Americana de las Artes y las Ciencias, la Asociación Americana para el Avance de la Ciencia y la ACM.

Stanford News Service

Edsger Wybe Dijkstra

Sus padres fueron Douwe Dijkstra Wybe y Brechtje Cornelia Kruyper, era el tercero de sus cuatro hijos. Su padre era profesor de química en la escuela secundaria en Rotterdam, mientras que su madre se formó como matemático, aunque nunca tuvo un puesto oficial. Dijkstra escribió más tarde de influencia matemática de su madre en él .

Él atendió a la High School secundaria en Rotterdam y en sus últimos años en el colegio, decidió que quería estudiar derecho. Su ambición era representar a los Países Bajos ante las Naciones Unidas y consideró que un grado de la ley fue el primer paso en esta dirección. Él tomó sus exámenes finales en 1948, anotando las calificaciones más altas posibles en las matemáticas, la física, la química y la biología.En este punto, sus padres y sus maestros, todos trataron de persuadirlo de seguir una carrera en la ciencia, dado su excelente rendimiento en las asignaturas de ciencias. Entonces decidió estudiar física teórica y como un primer paso hacia esto, se fue a la Universidad de Leyden a tomar cursos de matemáticas y física. Su intención era, después de recibir una buena formación en estos temas, que se movería hacia la física teórica.

En 1951 el padre de Dijkstra vi un anuncio de un curso de tres semanas en la programación de computadoras que se dará en la Universidad de Cambridge en Inglaterra en septiembre de ese año. Sintiendo que la posibilidad de programar una computadora era una buena habilidad para un físico teórico para tener así se inscribió en el curso

Aad van Wijngaarden, que era el director del Departamento de Computación del Centro de Matemática en Amsterdam, había tomado el mismo curso en Cambridge en el año anterior, y cuando se enteró de que lo habían terminado Dijkstra, le ofreció un puesto como programador de la Centro de Matemática. Dijkstra aceptó el cargo desde marzo de 1952, pero sólo como un empleo de medio tiempo ya que estaba registrado todavía como estudiante de física teórica en la Universidad de Leyden. 

Después de haber tomado la decisión, Dijkstra completó sus estudios de física teórica en la universidad, donde se graduó en 1956. También en 1956 el Centro de Matemática compitieron construyendo un equipo nuevo y quería hacer una demostración pública 

En 1957 se había casado con María Debets C, tuvieron dos hijos y una hija. Sin embargo, tuvo un problema en su boda por el Juez de Paz no aceptaría 'programador' como profesión para los registros, por lo que tenía que dar "el físico teórico" en el formulario.

El lenguaje de programación ALGOL-60 fue diseñado por un equipo internacional que comenzó a funcionar en diciembre de 1958. Dijkstra, quien fue miembro del equipo, hizo varias contribuciones importantes: gracias a él fue la introducción explícita de la recursividad y en el manejo de la recursividad, introdujo la noción de una 'pila', una palabra por Dijkstra, que es ahora totalmente terminología estándar. Dijkstra, junto con uno de sus colegas en el Centro de Matemáticas, escribió el primer compilador de ALGOL-60, que se completó en agosto de 1960. Dijkstra, en retrospectiva, considerado ALGOL-60

En 1972 ganó el ACM Turing Award, que es considerado el galardón más prestigioso en Informática. Al aceptar el premio que le dio la dirección de El programador humilde que contiene una notable colección de reflexiones sobre el futuro de la asignatura que ahora, con la ventaja de la retrospectiva, podemos ver ahora eran absolutamente correcto. En agosto de 1973 se unió a Dijkstra Burroughs Corporation como Investigador y Profesor Extraordinario se realizó en Eindhoven 

Otros premios y honores a Dijkstra incluyen su elección a la Real Academia Holandesa de Artes y Ciencias (1971) y miembro electo distinguido de la British Computer Society (1971), recibió el AFIPS Harry Goode Memorial Award (1974), nombrado miembro honorario de Relaciones Exteriores de la Academia Americana de las Artes y las Ciencias (1975), galardonado con un Doctorado Honoris Causa en Ciencias por la Universidad Queen de Belfast (1976), galardonado con el Premio Pionero de la Computación de la IEEE Computer Society (1982), galardonado con el Premio ACM / SIGCSE por sus sobresalientes contribuciones a la computadora de la educación científica (1989), elegido ACM Fellow (1994), doctor honoris causa por la Universidad de Atenas, Grecia (2001), galardonado con el Premio ACM papel influyente por su papel auto-estabilizado a pesar de los sistemas de control distribuido (2002) . Su laudo definitivo fue en 2002 de la Fundación C & C de Japón:

history.mcs.st-and.ac.uk/Biographies/Dijkstra