Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Las máquinas que computan

186 views

Published on

Introducción a LFyA

Published in: Education
  • Be the first to comment

  • Be the first to like this

Las máquinas que computan

  1. 1. Las máquinas que computan ComputerScienceisnomoreaboutcomputersthanastronomyisabouttelescopes— EdsgerW.Dijkstra Ivan Meza
  2. 2. Antes de comenzar un par de preguntas
  3. 3. ¿Qué parte de la computación les gusta? ¿Cúal es su trabajo ideal al terminar la carrera? ¿En veinte años como crean que sea la computación? ¿En cincueta años?
  4. 4. Una mirada al pasado
  5. 5. La revolución industrial Proceso social y económico: 1760 - 1840 Pasamos de la productos hechos a mano a hechos por máquinas La labor hecha por humanos comenzó a ser hecha por las máquinas Comienza la automatización
  6. 6. Mientras tanto en la futura entidad de la Ciudad de México
  7. 7. 1810
  8. 8. 1821
  9. 9. Regresando a Gran Bretaña
  10. 10. La máquina que resta Necesidad de tablas: logaritmos, trigonometría, funciones polinomiales Hechas por "Calculadores/Computadores" humanos, pero contienen errores Idea que máquinas que calculen estos valores ¿Fabricar una tela es lo mismo que hacer una tabla logarítmica? Charles Babbage, propuesta 1822, finalizada 1849
  11. 11. La máquina diferencial
  12. 12. La máquina de analiza Idea una máquina general para cualquier cálculo Hasta ahora trabajo de matemáticos También propuesta por Charles Babbage, 1837, nunca completada ¿Fabricar una tela, una tabla logarítmica es lo mismo que calcular una fórmula? Procesos mentales hechos por humanos comenzaron a ser hechos por máquinas
  13. 13. La máquina analítica
  14. 14. Los héroes Charles Babbage y Ada Lovelace
  15. 15. Regresando al presente
  16. 16. Máquina general 200 años después ¿Dónde quedó esa máquina general? De hecho, es mucho mejor que general, es universal Se trata de la computadora
  17. 17. Como futuros ingenieros en computación ¿Qué es una computadora?
  18. 18. i see computers
  19. 19. ¿Qué es una computadora? (discutir)
  20. 20. ¿Qué hace una computadora?
  21. 21. ¿Qué hace una computadora? (discutir)
  22. 22. ¿Cuales son los límites de la computadora?
  23. 23. ¿Puede? ¿Contar las aes en un texto? ¿Contar las aes en todas las páginas web? ¿Multiplicar dos números primos? ¿Encontrar todos los números primos? ¿Subir las escaleras? ¿Cargarle instrucciones ejecutarlas? ¿Verificar que las instrucciones sean correctas? ¿Verificar que las instrucciones se terminen de ejecutar?
  24. 24. Un adelanto Problemas fáciles: Problemas no tan fáciles: Problemas complejos: ¿que suéter usar? Problemas bien difíciles: dado un conjunto de números, que subconjunto suma Problemas sin solución: ... a + b a ∗ b C
  25. 25. Las respuestas Lenguajes Formales y Autómatas
  26. 26. LFyA Una marco teórico matemático-computacional
  27. 27. Lenguajes
  28. 28. Gramática
  29. 29. Máquinas
  30. 30. Jerarquía de Chomsky Lenguaje Gramática Máquina Recursivamente enumerable Tipo 0 Máquina de Turing Dependiente de contexto Tipo 1 Autómata con doble pila Independiente de contexto Tipo 2 Autómata con pila Regular Tipo 3 Autómata finito
  31. 31. Jerarquía de Chomsky regular independiente del  contexto dependiente del  contexto recursivamente enumerable
  32. 32. Héroes
  33. 33. Noam Chomsky
  34. 34. Alan M. Turing
  35. 35. Stephen C. Kleene
  36. 36. Alonzo Church
  37. 37. ¿Qué es lo que no hace una computadora?
  38. 38. Paradoja de Rusell
  39. 39. Resumen Contexto histórico de dónde vienen las máquinas calculadores Computadoras actuales y sus funciones Ejemplos de complejidad de problemas Presentación de terminología de la materia Presentación de personajes celebres de la materia Presentación de paradoja
  40. 40. ivanvladimir@gmail.com ivanvladimir.github.io ivanvladimir Las máquinas que computan by is licensed under a . Creado a partir de la obra en . Ivan V. Meza Ruiz Creative Commons Reconocimiento 4.0 Internacional License http://turing.iimas.unam.mx/~ivanvladimir/slides/lfya/intro.html

×