Appunti-LFC

Appunti-LFC copied to clipboard

filippodaniotti

Refactoring di TUTTI gli pseudocodici.

filippodaniotti

Questo ha bisogno di un po' di TiKz + Automata. 

filippodaniotti

Alcune tabelle sarebbero molto più chiare se aggiungessimo delle vertical rules, come ad esempio le seguenti, riguardanti gli esercizi sulla subset construction.  

filippodaniotti

Banalmente, bisognerebbe aggiungere al readme una sezione in cui indichiamo le convenzioni che abbiamo seguito per mantenere il progetto consistente. - [ ] Convenzioni - [ ] Troubleshooting

filippodaniotti

Vorrei stabilire delle convevnzioni abbastanza forti sui nomi dei file degli assets. Al momento non ho ancora idee precise, se non che vorrei utilizzare solamente lettere minuscole, dashes e underscores.

filippodaniotti

L'idea è di utilizzare convenzioni molto forti sulla definizione e uso delle labels. In particolare, vorrei che le labels fossero assegnate a: - ogni asset importato nel documento; - tutte...

filippodaniotti

Dobbiamo decidere una prassi comune per l'utilizzo del comande \emph{} e in base a tale decisione ristrutturare l'intera dispensa. Al momento l'utilizzo di tale comando è abbastanza randomico.

Samaretas

Alcune definizioni nel capitolo 3 sono state scritte fuori dagli ambienti matematici; non sono molte, ma sarebbe comunque bene riscriverle in tale maniera.

filippodaniotti