.png)
Érase una vez un algoritmo...
Mi bitácora de reflexiones concernientes a la informática desde una visión técnica, científica y filosófica.
Érase una vez un algoritmo...
Semántica computacional | S2-E19
•
Camilo Chacón Sartori
•
Season 2
•
Episode 19
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