-
Se servir aisément des bases de la logique pour valider ou réfuter un raisonnement.
-
Rédiger de manière synthétique et rigoureuse des preuves.
-
Être familiarisé avec les concepts fondamentaux de complexité et calculabilité.
-
Utiliser les concepts fondamentaux de l'informatique (langages formels, logique, et graphes) pour la programmation et la modélisation.
-
Évaluer la complexité et la correction d’une solution algorithmique.
-
Concevoir le traitement informatisé d’informations de différentes natures, telles que du texte, des images et des nombres.
