Carlos
Miguel
Soto

Jornada Lorel 2024

Completitud Computacional de una Semántica Lineal para una Lógica Lineal (slides)

Referencias:

TC Argentina 2023

Geometría (slides)

Problemas de práctica:

TC Medellín 2023

Árboles (slides)

Problemas de práctica:

Combinatoria (slides)

Problemas de práctica:

Álgebra Lineal (slides)

Problemas de práctica:

Geometría (slides)

Problemas de práctica: