Differenze

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

--- is-a:start [18/10/2010 alle 12:22 (15 anni fa)] – Laura Semini
+++ is-a:start [01/03/2018 alle 15:36 (8 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/inf31/share/corsi/corso.asp?id=3213&cds=inf31&anno=2010| 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/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}}.
+====== 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:
-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.
-==== 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.}}