Verificación Formal De Software Y ¿la Programación Es Un Arte? | E22 Érase Una Vez Un Algoritmo... podcast

Artwork

Ciencia Tecnología Camilo Chacón Sartori Computación Informática Programación Algoritmo Sistema Ingeniería En Informática Estructuras De Datos Sociedad Filosofía Lenguajes de Programación Ciencias de la Computación

Contenido proporcionado por Camilo Chacón Sartori. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Camilo Chacón Sartori o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.

Érase una vez un algoritmo... « »
Verificación formal de software y ¿la programación es un arte? | E22

4y ago 30:42

Compartir

MP3•Episodio en casa

Contenido proporcionado por Camilo Chacón Sartori. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Camilo Chacón Sartori o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.

Hoy trataremos el tema de la verificación formal de software desde la visión de Tony Hoare. Y posteriormente hablaremos del concepto de "arte" dentro de la programación según Donald Knuth.

Support the Show.

… continue reading

131 episodios

#Ciencia #Tecnología #Camilo Chacón Sartori #Computación #Informática #Programación #Algoritmo #Sistema #Ingeniería En Informática #Estructuras De Datos #Sociedad #Filosofía #Lenguajes de Programación #Ciencias de la Computación

Artwork

Verificación formal de software y ¿la programación es un arte? | E22

Érase una vez un algoritmo...

published 4y ago

Compartir

MP3•Episodio en casa

Contenido proporcionado por Camilo Chacón Sartori. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Camilo Chacón Sartori o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.

Hoy trataremos el tema de la verificación formal de software desde la visión de Tony Hoare. Y posteriormente hablaremos del concepto de "arte" dentro de la programación según Donald Knuth.

Support the Show.

… continue reading

131 episodios

#Ciencia #Tecnología #Camilo Chacón Sartori #Computación #Informática #Programación #Algoritmo #Sistema #Ingeniería En Informática #Estructuras De Datos #Sociedad #Filosofía #Lenguajes de Programación #Ciencias de la Computación

Todos los episodios

×

Bienvenido a Player FM!

Player FM está escaneando la web en busca de podcasts de alta calidad para que los disfrutes en este momento. Es la mejor aplicación de podcast y funciona en Android, iPhone y la web. Regístrate para sincronizar suscripciones a través de dispositivos.

Escucha más de 500 temas