Había una vez un algoritmo...

Semántica computacional | S2-E19

February 15, 2021 Camilo Chacón Sartori Season 2 Episode 19
Había una vez un algoritmo...
Semántica computacional | S2-E19
Chapters
Había una vez un algoritmo...
Semántica computacional | S2-E19
Feb 15, 2021 Season 2 Episode 19
Camilo Chacón Sartori

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


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