◐ learning · kind concept · level 2 · 0h
- Requiere: Discrete Mathematics
Lógica proposicional y de primer orden; teoremas de incompletitud/completitud de Gödel y correspondencia Curry-Howard. Marco para evaluar si un modelo razona o solo replica estadística.
Enlaces
- Requiere: Discrete Mathematics