Fondamenti Matematici per l'Informatica

Appunti di Matematica Discreta, corso Fondamenti Matematici per l'Informatica (Università degli Studi di Trento).

Accedere e contribuire

"Non mi dispiace sporcarmi le mani"

Il progetto è completamente libero. Data la miriade di ambienti di sviluppo, tools e tutorial attualmente disponibili, non verranno mostrate qui le modalità per metter mano al codice in locale (d'altronde chi fosse già in grado non starebbe leggendo questo paragrafo).

"Voglio solo il .pdf di questi appunti"

Per coloro che intendono solamente visionare la dispensa, è possibile trovare il file .pdf aggiornato sotto il percorso src/.

Segnalazioni e contributi mirati al miglioramento degli appunti (ma anche della repository) sono accolte a braccia aperte. Considerando lo stato attuale della dispensa, le Issues sono lo strumento di partenza migliore per cominciare a segnalare qui su GitHub.

Cosa uso per sviluppare questo progetto

Se desideri un breve riassunto di cosa utilizzo per creare tutto questo, ecco l'hardware e il software a mia disposizione:

1. Un umile Lenovo IdeaPad 5 15IIL05 con Ubuntu (in alternativa WSL 2 in Windows)
2. Google Drawings
3. VSCode con l'estensione LaTeX Workshop
4. make
5. latexmk e altri pacchetti installabili da command line per compilare correttamente i file LaTeX

Si tratta di un modo di lavorare molto spartano, essenziale e dotato di supporto minimo da parte di interfacce grafiche. Se qualcuno avesse intenzione di imboccare questa strada, probabilmente il punto 5 è tra tutti il più tedioso.

Avrebbe poco senso mostrare tutta la procedura in questo file. Esistono tuttavia centinaia di forum e tutorial in rete per effettuare installazioni, eventuali troubleshooting e molti altri aiuti.

Make

Il progetto potrebbe contenere il Makefile impiegato per compilare il documento e mantenere le direcotry del progetto pulite. Se stai utilizzando il metodo di lavoro mostrato precedentemente, ecco come il Makefile può aiutarti dalla command line:

• make: compila il progetto, trasferendo i prodotti della compilazione nella cartella junk. Il file pdf sarà nominato output.pdf come opzione predefinita, che può essere cambiata se si lancia il comando sovrascrivendo la variabile TITLE. Ad esempio, per ottenere gli appunti con il nome fisica.pdf, sarà necessario lanciare make TITLE=fisica (senza l'estensione).

• make clear: elimina i file accessori prodotti durante la compilazione. In altri termini, elimina la cartella junk del punto precedente.

• make purge: pulisce completamente la cartella src/, incluso l'output pdf.