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 typo #123

Open DorusKeijzer opened 11 months ago

DorusKeijzer commented 11 months ago

3.10.5 says that we use the "principal of mathmatical induction", this should of course be the principle.

jkorb commented 11 months ago

Thansk, @DorusKeijzer . It shall be fixed :)