Mathématiques pour l'informatique - Université catholique de Louvain
Raisonnement logique et mathématique. -- ... Eu égard au référentiel AA du
programme « Bachelier en sciences informatiques », ce cours contribue au
développement, à l'acquisition et à ... Appliquer les différentes techniques de
preuve de manière convaincante en sélectionnant la plus adaptée au problème
posé. --.
Un extrait du document