Sobre la plantilla Tarea de informática
Este documento ofrece un diseño estructurado para tareas de informática, incluyendo encabezados para información de grupo, nombres de los miembros y números de matrícula. El ejemplo de cuatro páginas demuestra el uso del paquete minted para código y notación de lógica formal, como ejemplos de verificación de Hoare-Kalkül. Los usuarios reemplazan el texto de ejemplo con sus propios problemas y soluciones de tarea.
- Encabezado para detalles de grupo y miembros
- Soporte para listados de código con minted
- Soporte para notación de verificación formal
- Estructura de tarea de cuatro páginas
Cómo usarla
- 1Ábrela en Texeno como tu propio proyecto, con todos los archivos en su sitio.
- 2
