N.B.: De cursus is UITSLUITEND toegankelijk voor studenten van de opleiding KI, LAS-ers, TCS-ers, minorstudenten KI en premaster-AI studenten. Dit wordt gecontroleerd na de inschrijving.

Wanneer is een inferentie logisch? Het antwoord dat een logicus zou geven is dat een inferentie logisch geldig is dan en slechts dan als de inferentie waarheid bewaart: als je assumpties waar zijn, dan is ook je conclusie waar. Het doel van de logica is een systematische theorie van geldige inferenties te ontwikkelen.
 
In deze cursus maak je kennis met de fundamentele concepten, methoden, en resultaten van de moderne logica met het oog op KI-toepassingen. Omdat moderne logica op een wiskundige manier op een wiskundige manier geformuleerd is, bevat de cursus verder nog een introductie tot wiskunde op universitair niveau.
 
Dit is een cursus op instapniveau. Je hebt dus geen voorkennis nodig behalve een klein beetje wiskunde uit de middelbare school en een beetje nieuwsgierigheid. De logica en wiskunde die je in deze cursus gaat leren bereidt je voor op de cursussen in ons KI-programma hier in Utrecht en vooral op symbolische KI, die een speciale plaats in ons programma inneemt.