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

minor typos: #118

Open DorusKeijzer opened 1 year ago

DorusKeijzer commented 1 year ago

in keep consistent with the rest of the notes, the title of 7.4 should be "Infinite Premise Sets and Compactness", as opposed to "Premiss sets"

exercise 5.6.3 should say "prove the laws..." as opposed to "proof the laws..."

jkorb commented 1 year ago

Good catch :)