DiscoverÉrase una vez un algoritmo...Semántica computacional | S2-E19
Semántica computacional | S2-E19

Semántica computacional | S2-E19

Update: 2021-02-15
Share

Description

¡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.pdf


Support the show

Comments 
00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

Semántica computacional | S2-E19

Semántica computacional | S2-E19

Camilo Chacón Sartori