Informatique

Cet espace est uniquement destiné à organiser l'examen de session 2 du cours Logique et Preuve de Licence 3 d'Informatique et de Mathématiques-Informatique.

L'examen aura lieu mercredi 17 juin, de 14h à 16h (16h40 en cas de tiers-temps). Le sujet sera disponible à partir de 14h sous la forme d'un fichier PDF. Il sera attendu, en guise de "copie", un fichier PDF unique qui contiendra les réponses aux questions posées. Le plus simple est sans doute de rédiger ses réponses sur papier libre, et, en fin d'examen, de scanner ou photographier les pages avant de convertir les différentes photos en un unique fichier PDF. Le temps nécessaire à réaliser cette opération est inclus dans le temps du devoir. Le sujet est calibré à peu près comme celui de session 1, où l'examen durait 1h30: la demie-heure supplémentaire devrait être largement suffisante pour la conversion.

Si vous disposez d'un smartphone sous Android ou iOS, une application gratuite qui permet de réaliser cette conversion est [b]Genius Scan[/b]; vous pouvez bien évidemment utiliser l'outil de votre choix. Il est de votre responsabilité d'avoir à votre disposition un outil adéquat, et d'en connaître le fonctionnement, [b]avant[/b] la date de l'examen.

Evaluation pour L3 Miage