Las máquinas que computan

Computer Science is no more about computers than astronomy is about telescopes—Edsger W. Dijkstra

Ivan Meza

Antes de comenzar un par depreguntas

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

Una mirada alpasado

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

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

1810

1821

Regresando a Gran Bretaña

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 diferencial

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

La máquina analítica

Los héroes

Charles Babbage y Ada Lovelace

Regresando alpresente

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

Como futuros ingenieros en computación

¿Qué es una computadora?

i see computers

¿Qué es una computadora?(discutir)

¿Qué hace una computadora?

¿Qué hace una computadora?(discutir)

¿Cuales son los límites de lacomputadora?

¿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

Las respuestas

Lenguajes Formales yAutómatas

LFyA

Una marco teórico matemático-computacional

Lenguajes

Gramática

Máquinas

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

Héroes

Noam Chomsky

Alan M. Turing

Stephen C. Kleene

Alonzo Church

¿Qué es lo que no hace unacomputadora?

Paradoja de Rusell

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

ivanvladimir@gmail.com 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