37 min de escucha
Semántica computacional | S2-E19
Semántica computacional | S2-E19
valoraciones:
Longitud:
19 minutos
Publicado:
15 feb 2021
Formato:
Episodio de podcast
Descripción
Trataremos dos formas de semántica: formal (operacional y denotacional; el significado de los programas) y filosófica (referencia y sentido de los términos que usamos).Artículo recomendado para la semántica formal: http://people.cs.ksu.edu/~schmidt/705a/Lectures/chapter.pdf
Publicado:
15 feb 2021
Formato:
Episodio de podcast
Títulos en esta serie (100)
¿Qué es la filosofía de la ciencia de la computación? | E19 de Érase una vez un algoritmo...