search

jkorb / KI1V13001-Inleiding-Logica

This is the source material for the course "Inleiding Logica" (KI1V13001) as taught at Utrecht University for the BSc "Kunstmatige Intelligentie"
Creative Commons Attribution 4.0 International
3 stars 16 forks source link

mathcal error #63

Closed sebastiaanvantil closed 3 years ago

sebastiaanvantil commented 4 years ago

in het appendix van h11 op line 537 moet er een \ voor de "mathcal"

op line 552 in dezelfde file moet de eerste y in yR(x, y) weg (denk ik)

jkorb commented 3 years ago

Great spots! Sorry for getting back to it only now :)