Om mallen Computer science assignment
Detta dokument ger en strukturerad layout för datavetenskapsuppgifter, inklusive rubriker för gruppinformation, medlemsnamn och matrikkelnummer. Exemplet på fyra sidor visar hur man använder paketet minted för kod och formell logisk notation, såsom exempel på Hoare-Kalkül-verifiering. Du ersätter exempeltexten med dina egna uppgifter och lösningar.
- Rubrik för grupp- och medlemsuppgifter
- Stöd för kodlistor med minted
- Stöd för notation för formell verifiering
- Struktur för uppgift på fyra sidor
Så använder du den
- 1Öppna den i Texeno som ditt eget projekt, med alla filer på plats.
- 2Skriv i webbläsaren. Den kompilerar med pdfLaTeX medan du skriver och förklarar fel i klartext.
