Érase una vez un algoritmo...

Semántica computacional | S2-E19

February 15, 2021 Camilo Chacón Sartori Season 2 Episode 19
Érase una vez un algoritmo...
Semántica computacional | S2-E19
Show Notes

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


Support the show