Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Mp ecrit informatique MP CONCOURS COMMUN INP RAPPORT DE L ? ÉPREUVE ÉCRITE D ? INFORMATIQUE PRÉSENTATION DU SUJET L ? épreuve est constituée de trois parties indépendantes La première porte sur l ? étude des partitions non croisées L ? objectif est de vér

MP CONCOURS COMMUN INP RAPPORT DE L ? ÉPREUVE ÉCRITE D ? INFORMATIQUE PRÉSENTATION DU SUJET L ? épreuve est constituée de trois parties indépendantes La première porte sur l ? étude des partitions non croisées L ? objectif est de véri ?er l ? assimilation des notions de base de programmation boucles instructions conditionnelles etc et une certaine ma? trise du langage Python Elle couvre une partie du programme de l ? Informatique Pour Tous ? La deuxième s ? intéresse au problème de satis ?abilité des formules de Horn Le thème de ce problème correspond donc au chapitre Logique La dernière partie consiste à caractériser l ? ensemble de mots donnant le même arbre binaire de recherche après insertion dans l ? arbre vide Elle permet d ? aborder di ?érentes notions Récursivité Listes Arbres REMARQUES GÉNÉRALES Le sujet semble avoir été d ? une longueur et d ? un niveau de di ?culté parfaitement adapté permettant une bonne sélection des candidats tant sur les aspects preuve que programmation impérative et fonctionnelle La moyenne de l ? épreuve est de et l ? écart type est de Le sujet a donc bien permis de classer les di ?érents candidats De façon générale les erreurs proviennent régulièrement des points suivants - lecture un peu trop rapide et non complète de certaines questions exemple on demande une fonction récursive et la fonction écrite ne l ? est pas un manque de rigueur et de précision dans la rédaction de certaines preuves exemple conclusion manquante hypothèse de récurrence non précisée numéro d ? une question précédente non mentionnée une confusion de syntaxe entre le Python et le OCaml exemple entre le en OCaml et le and en Python C REMARQUES SPÉCIFIQUES PARTIE I La partie est globalement bien traitée et ne comporte pas de di ?culté majeure Q Q Q Q pas de problème particulier Q La syntaxe For L in P ? est peu utilisée Q Très peu d ? étudiants ont pensé à utiliser A ? Q Les preuves sont souvent incomplètes Q Quelques oublis de justi ?cations élémentaires souvent le caractère disjoint plus rarement produit cartésien Q Beaucoup d ? erreurs sur la gestion des indices de liste Python des fonctions récursives ine ?caces au lieu de la programmation dynamique non sanctionné PARTIE II Le point qui a pu poser problème est l ? algorithme de propagation unitaire Q Des rédactions parfois trop lourdes exemple utilisation de tables de vérité Q Q Pas de problème particulier Q Q Les preuves données pouvaient être longues tout en manquant de rigueur et de précision Q Aucun problème Q Q Q Plutôt bien traitées PARTIE III Q Q Q Q Q pas de problème particulier Q Beaucoup de récurrences mal rédigées Q La ré exivité est souvent omise pas de problème pour les autres axiomes Q Les démonstrations ont souvent été incomplètes exemple des cas non traités Q Pas de problème ? ? CQ a La question était simple mais certaines