.. csd_appunti documentation master file, created by sphinx-quickstart on Thu Jan 3 18:08:12 2019. You can adapt this file completely to your liking, but it should at least contain the root `toctree` directive. .. meta:: :language: it :description language=it: indice degli appunti delle lezioni del corso Complex Systems Design tenuto dal prof. Flavio Corradini, a.a. 2018-2019, alla Università di Camerino :description language=en: contents of lectures about Complex Systems Design taught by prof. Flavio Corradini, AY 2018-2019, at Camerino University :keywords: Complex Systems Design, Flavio Corradini, Università di Camerino :author: Luciano De Falco Alfano Complex Systems Design, appunti ================================ Queste note sono gli appunti delle lezioni del corso `Complex systems design `_, tenuto dal prof. `Flavio Corradini `_, a.a. 2018-2019, alla `Scuola di Scienze e Tecnologia `_ della `Università di Camerino `_. La responsabiltà di eventuali errori di interpretazione e/o trascrizione sono esclusivamente dell'autore di questi appunti, che non garantisce la loro correttezza. Utilizzali *cum grano salis*, e a tuo rischio e pericolo. Alla data del 08 feb 2019 ho completato la prima bozza di questo lavoro. Non è detto che rispecchi tutte le lezioni tenute dal docente. L'appendice riguardante i concetti generali deve essere ancora completata. Ultimo aggiornamento il 19 marzo 2019. Main Contents -------------- .. toctree:: :maxdepth: 1 01_regular_expressions 03_bisimulation 04_ccs 05_pc 06_fifo 07_pipe 08_buff 09_model_checking Auxiliary chapters ----------------------- .. toctree:: :maxdepth: 1 CWB <96_cwb> CWB - New Century <95_cwbnc> 97_base_concepts 98_references 99_todo Avvertimento importante ------------------------ **Attenzione** al fatto che studiare solo questi appunti **non è sufficiente** per pensare di superare l'esame di *Complex systems design*. E\ ``'`` necessario anche eseguire un progetto e, sopratutto, avere capito bene i concetti. A lezione il professore non ha solo il compito di presentare la materia, è retribuito anche per risolvere i vostri dubbi! Il consiglio di chi scrive questi appunti é: "*partecipate attivamente alle lezioni*", perché ci quadagnano tutti gli attori in gioco: * chi studia, acquisisce una preparazione più robusta e flessibile; * chi insegna migliora il proprio modello di insegnamento osservando dubbi che originariamente non aveva previsto; * l'Università guadagna in prestigio (e di conseguenza in nuove iscrizioni) sfornando studenti più preparati e vantando professori più capaci. Notazioni ------------ Nel seguito si mettono in rilievo punti d'interesse utilizzando il **grassetto**, o il *corsivo*. L'uso di termini in inglese è usualmente in *corsivo*. Le espressioni algebriche sono in forma *matematica* (ad es. :math:`e \mapsto L`). Per economia di stesura, quando il contesto non è ambiguo, possiamo utilizzare il corsivo per fare riferimento nel discorso corrente ad elementi algebrici. Ad esempio, se vale :math:`e \in A = \{a, b, c\}`, potremmo riferirci all'elemento *e* usando il corsivo. Altre notizie ----------------- Questa documentazione è stata scritta utilizzando `reStructuredText `_ con `Sphinx `_. Il suo repository è in https://github.com/l-dfa/csd_notes. Cortesemente, comunicate richieste di correzione aprendo un bug in https://github.com/l-dfa/csd_notes/issues. Indices and tables ================== * :ref:`genindex` * :ref:`search`