las máquinas que computan
TRANSCRIPT
Las máquinas que computan
Computer Science is no more about computers than astronomy is about telescopes—Edsger W. Dijkstra
Ivan Meza
¿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?
La revolución industrialProceso social y económico: 1760 - 1840Pasamos de la productos hechos a mano a hechos por máquinasLa labor hecha por humanos comenzó a ser hecha por las máquinasComienza la automatización
La máquina que restaNecesidad de tablas: logaritmos, trigonometría, funcionespolinomialesHechas por "Calculadores/Computadores" humanos, pero contienenerroresIdea 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
La máquina de analizaIdea una máquina general para cualquier cálculo
Hasta ahora trabajo de matemáticosTambién propuesta por Charles Babbage, 1837, nunca completada¿Fabricar una tela, una tabla logarítmica es lo mismo que calcularuna fórmula?Procesos mentales hechos por humanos comenzaron a ser hechospor máquinas
Máquina general200 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
¿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?
Un adelantoProblemas fáciles: Problemas no tan fáciles: Problemas complejos: ¿que suéter usar?Problemas bien difíciles: dado un conjunto de números, quesubconjunto suma Problemas sin solución: ...
a + ba ∗ b
C
Jerarquía de ChomskyLenguaje Gramática Máquina
Recursivamenteenumerable
Tipo 0 Máquina de Turing
Dependiente de contexto Tipo 1 Autómata con doblepila
Independiente de contexto Tipo 2 Autómata con pila
Regular Tipo 3 Autómata finito
Jerarquía de Chomsky
regular
independiente del contexto
dependiente del contexto
recursivamente enumerable
ResumenContexto histórico de dónde vienen las máquinas calculadoresComputadoras actuales y sus funcionesEjemplos de complejidad de problemasPresentación de terminología de la materiaPresentación de personajes celebres de la materiaPresentación de paradoja
[email protected] ivanvladimir.github.io ivanvladimir
Las máquinas que computan by is licensed undera .
Creado a partir de la obra en.
Ivan V. Meza RuizCreative Commons Reconocimiento 4.0 Internacional License
http://turing.iimas.unam.mx/~ivanvladimir/slides/lfya/intro.html