Semántica computacional | S2-E19

15/02/2021 18 min Temporada 2 Episodio 19
Semántica computacional | S2-E19

Escuchar "Semántica computacional | S2-E19"

Síntesis del Episodio

¡Enviáme un mensaje!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.pdfSupport the show