Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- is-a:start [07/07/2010 alle 10:14 (15 anni fa)] – Laura Semini
+++ is-a:start [01/03/2018 alle 15:36 (7 anni fa)] (versione attuale) – [Ingegneria del Software] Laura Semini
@@ Linea 1: / Linea 1: @@
 ====== Ingegneria del Software ======
-====Corso A - Pisa====
-  * **Docente**: [[http://www.di.unipi.it/~monta|Carlo Montangero]]
-  * **Orario di ricevimento**[[http://compass2.di.unipi.it/didattica/inf/share/persone/docenti.asp|Dal sito della segreteria]]
-  * **Orario delle lezioni** [[http://www.di.unipi.it/~paolo/Orario/corsi/IS-A.html| Dal sito della segreteria]]
-  * **Registro delle lezioni** [[http://unimap.unipi.it/registri/dettregistriNEW.php?re=29544::::&ri=5691|Da Unimap]]  N.B. Per la chiave dei riferimenti ai testi vedi la [[http://compass2.di.unipi.it/didattica/inf/share/corsi/corso.asp?id=3072&cds=INF&anno=2009| bibliografia]].
-  *[[.Avvisi IS A:|Avvisi solo per IS-A]]
-====Corso B - Pisa====
-  * **Docente**: [[http://www.di.unipi.it/~semini|Laura Semini]]
-  * **Orario di ricevimento**[[http://compass2.di.unipi.it/didattica/inf/share/persone/docenti.asp|Dal sito della segreteria]]
-  * **Orario delle lezioni** [[http://www.di.unipi.it/~paolo/Orario/corsi/IS-B.html| Dal sito della segreteria]]
-  * **Registro delle lezioni** [[http://unimap.unipi.it/registri/dettregistriNEW.php?re=29592::::&ri=3944|Da Unimap]]  N.B. Per la chiave dei riferimenti ai testi vedi la [[http://compass2.di.unipi.it/didattica/inf/share/corsi/corso.asp?id=3072&cds=INF&anno=2009| bibliografia]].
-  *[[:is-b:avvisi_is-b:|Avvisi solo per IS-B]]
-====Corso IA - La Spezia====
+[[http://didawiki.cli.di.unipi.it/doku.php/informatica/is-a/start|Vedere questa pagina]]
-  * **Docente**: [[http://www.di.unipi.it/~monta|Carlo Montangero]]
-  * **Orario di ricevimento**: al termine della lezione del mercoledì.
-  * **Orario delle lezioni** [[http://www.di.unipi.it/~paolo/Orario/corsi/IS.html| Dal sito della segreteria]]
-  * **Attenzione! Recupero: venerdì 27/11/09 ore 14, aula 1.**
-  * **Registro delle lezioni** [[http://unimap.unipi.it/registri/dettregistriNEW.php?re=29546::::&ri=5691|Da Unimap]]  N.B. Per la chiave dei riferimenti ai testi vedi la [[http://compass2.di.unipi.it/didattica/inf/share/corsi/corso.asp?id=3072&cds=INF&anno=2009| bibliografia]].
-  *[[:is-ia:avvisi_is-ia:|Avvisi solo per IS-IA]]
-==== Programma e testi ====
-[[http://compass2.di.unipi.it/didattica/inf/share/corsi/corso.asp?id=3072&cds=INF&anno=2009|Dal sito della segreteria]]
-{{:is-a:avvisi_is-a_is-b_e_is-ia:dispensaesercizi0910.pdf|Dispensa di esercizi}}. (possibili problemi a scaricarla).
+====== Pagina estemporanea per Calcolabilità e Complessità ======
-{{:is-a:architetture.pdf|Dispensa di architettura}}.
+===== Grammatiche e automi =====
-{{:is-a:dispensatestingconv.pdf|Dispensa sulla verifica}}.
+=== Riferimenti ===
-Tutte sono anche disponibili al SEU.
+{{:is-a:hopcroft-2-5.pdf|Capitoli 2-5}}
-Caso di Studio: Grande distribuzione, {{:is-a:testograndedistrib.pdf|testo del problema}} e {{:is-a:grandedistribuzionesol.pdf|soluzioni}}.
+[[http://www.cs.rochester.edu/~nelson/courses/csc_173/fa/|Espressioni regolari]]
-==== Verifiche e appelli ====
-=== Casi di studio ===
-Caso di studio 1: {{:is-a:manutenzionea360gradi.pdf|ManutenzioneA360gradi}}
-Caso di studio 2: {{:is-a:poliambulatorio.pdf|Poliambulatorio}}
-Copia della descrizione usata nei singoli compiti verra' consegnata all'inizio del compito, e restituita ai docenti, per risparmiare carta.
-=== Testi di verifica e d'esame e soluzioni ===
-  *Prima verifica: {{:is-a:testoitinere1_2009_11_03.pdf|testo}} e {{:is-a:soluzioneitinere1_2009_11_03.pdf|soluzione}}.
-  *Seconda verifica: :!: {{:is-a:testoitinere2_2009_12_17a.pdf|testo}} e {{:is-a:soluzioneitinere2_2009_12_17.pdf|soluzione}}.
-  *Primo appello: {{:is-a:testoappello1.pdf|testo}} e {{:is-a:soluzioneappello1_2010_01_14a.pdf|soluzione}}.
-  *Secondo appello: {{:is-a:testoappello2_2010_02_03.pdf|testo}} e {{:is-a:soluzioneappello2_2010_02_03.pdf|soluzione}}.
-  *Terzo appello: {{:is-a:testoappello3_2010_06_09.pdf|testo}} e {{:is-a:soluzioneappello3_2010_06_09.pdf|soluzione}}.
-  *Quarto appello: {{:is-a:testoappello_2010_07_05.pdf|testo}} e soluzione.
-  *Quinto appello: {{|testo}} e {{|soluzione}}.
-  *Sesto appello: {{|testo}} e {{|soluzione}}.
-==== Avvisi comuni a più corsi ====
-  *[[.Avvisi IS-A IS-B e IS-IA:|Per A, B e IA]]
-  *[[.Avvisi IS-A e IS-B:|Per A e B]]
-  *[[.Avvisi IS-A e IS-IA:|Per A e IA]]
+{{:is-a:elementi_di_sintassi.pdf|Pumping lemma etc.}}