Episodio 10: Lógica computacional
from Garnacha Científica Hosted by La Garnacha Científica
Te has preguntado porque los coches son más seguros cada día, tomar un avión ahora solo depende de un clic en internet, ir al doctor o al laboratorio para obtener un diagnostico de rayos-x y todo con la certeza de que el coche, el autobús no va a fallar, los frenos, la transmisión todo va funcionar, que el programa de vuelo y las rutas y el aterrizaje es seguro. Esto parecería que esta atado y funcionando gracias a los códigos, algoritmos y sistemas que controlan esos componentes, y si si es así, pero te has preguntado quien controla o da esa certeza que las lineas de código no fallen, colapsen o que actúen debidamente. Es por eso que hoy les platicaremos de la lógica computacional, y si estamos hablando de la lógica de Aristóteles, de la rama de la filosofía; y veremos como que es que aplica en el campo de las ciencias de computación. Preparen su garnacha preferida y los invito a que se pongan cómodos para el siguiente episodio.
Embed this episode
No transcript yet.