Differenze

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

--- is-a:start [22/10/2010 alle 08:40 (14 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]]  (In attesa che l'ateneo permetta la creazione dei registri per il corrente AA, consultare gli avvisi).
-  *[[: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ì, prima di quella del giovedì (meglio se preceduto da una mail).
-  * **Orario delle lezioni** [[http://www.di.unipi.it/~paolo/Orario/corsi/IS.html| Dal sito della segreteria]]
-  * **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]]
-==== 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]]
-==== Programma e testi ====
+====== Pagina estemporanea per Calcolabilità e Complessità ======
-[[http://compass2.di.unipi.it/didattica/inf31/share/corsi/corso.asp?id=3213&cds=inf31&anno=2010|Dal sito della segreteria]]
-{{:is-a:avvisi_is-a_is-b_e_is-ia:dispensaesercizi0910.pdf|Dispensa di esercizi}}.
+===== Grammatiche e automi =====
-{{:is-a:architetture.pdf|Dispensa di architettura}}.
+=== Riferimenti ===
-{{:is-a:dispensatesting2010.pdf|Dispensa sulla verifica}}.
+{{:is-a:hopcroft-2-5.pdf|Capitoli 2-5}}
-Tutte sono anche disponibili al SEU.
-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:
-Caso di studio 2:
-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 ===
-  *Primo appello:   testo e soluzione.
-  *Secondo appello:  testo e soluzione.
-  *Terzo appello: testo e soluzione.
-  *Quarto appello: testo e soluzione.
-  *Quinto appello:  testo e soluzione.
-  *Sesto appello:  testo e soluzione.
+{{:is-a:elementi_di_sintassi.pdf|Pumping lemma etc.}}