Introducción a LFyA

1. Las máquinas que computan
ComputerScienceisnomoreaboutcomputersthanastronomyisabouttelescopes—
EdsgerW.Dijkstra
Ivan Meza

2. Antes de comenzar un par de
preguntas

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. Una mirada al
pasado

7. 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

9. Mientras tanto en la futura entidad de la Ciudad de México

10. 1810

11. 1821

12. Regresando a Gran Bretaña

13. 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

14. La máquina diferencial

15. 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

16. La máquina analítica

17. Los héroes
Charles Babbage y Ada Lovelace

18. Regresando al
presente

19. 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

20. Como futuros ingenieros en computación
¿Qué es una computadora?

21. i see computers

22. ¿Qué es una computadora?
(discutir)

23. ¿Qué hace una computadora?

24. ¿Qué hace una computadora?
(discutir)

25. ¿Cuales son los límites de la
computadora?

26. ¿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?

27. 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

28. Las respuestas
Lenguajes Formales y
Autómatas

29. LFyA
Una marco teórico matemático-computacional

30. Lenguajes

31. Gramática

32. Máquinas

33. 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

34. Jerarquía de Chomsky
regular
independiente del
contexto
dependiente del
contexto
recursivamente enumerable

35. Héroes

36. Noam Chomsky

37. Alan M. Turing

38. Stephen C. Kleene

39. Alonzo Church

40. ¿Qué es lo que no hace una
computadora?

41. Paradoja de Rusell

42. 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

43. 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