À propos du modèle Devoir d'informatique
Ce document fournit une mise en page structurée pour les devoirs d'informatique, incluant des en-têtes pour les informations de groupe, les noms des membres et les numéros d'immatriculation. L'exemple de quatre pages démontre l'utilisation du package minted pour le code et la notation de logique formelle, comme des exemples de vérification Hoare-Kalkül. Les utilisateurs remplacent le texte de l'exemple par leurs propres problèmes et solutions.
- En-tête pour les détails du groupe et des membres
- Prise en charge des listings de code avec minted
- Prise en charge de la notation de vérification formelle
- Structure de devoir de quatre pages
Comment l’utiliser
- 1Ouvrez-le dans Texeno comme votre propre projet, avec tous les fichiers en place.
