Pendant la première demi-heure du cours INF 424 de vendredi prochain (28 avril),
donc de 14h20 à 14h50, vous passerez une interrogation écrite qui servira pour
la note de contrôle continu, et qui portera sur la logique du premier ordre et les
logiques de description.

Le sujet de l'interrogation sera rédigé en anglais mais je donnerai la traduction
des termes sensiblement différents (la plupart des termes sont ostensiblement
proches dans les deux langues : logique = logic, prédicat = predicate,
fonction = function, résolution = resolution, résolvant = resolvent, etc.),
et je serai là pour répondre à toute question.

Ne soyez pas en retard vendredi…