Differenze

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

--- is-a:start [26/10/2010 alle 08:59 (14 anni fa)] – Carlo Montangero
+++ 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** [[|Da Unimap]]  In attesa che l'ateneo permetta la creazione dei registri per il corrente a.a., consultare gli avvisi qui sotto.
-  * [[.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** [[|Da Unimap]]  In attesa che l'ateneo permetta la creazione dei registri per il corrente a.a., consultare gli avvisi qui sotto.
-  * [[: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.
-==== Altro materiale didattico ====
+[[http://www.cs.rochester.edu/~nelson/courses/csc_173/fa/|Espressioni regolari]]
-== Esercitazione di analisi dei requisiti ==
-  * {{:is-b:avvisi_is-b:progettolpr.pdf|Testo del problema}}
-  * {{:is-b:avvisi_is-b:modello_di_documento_dei_requisiti.pdf|modello di SR}}
-  * {{:is-a:avvisi_is-a_e_is-ia:copsandrobbersv1.3.pdf|SR di CopsAndRobbers}}
-  * {{:is-a:avvisi_is-a_e_is-ia:progettoricciconevidenziatori0910.pdf|Estrazione 1}}
-  * {{:is-a:avvisi_is-a_e_is-ia:progettoriccievidenziatori0910secondaparte.pdf|Estrazione 2}}
-== Casi di Studio ==
-  * **Grande distribuzione**
-  * {{:is-a:testograndedistrib.pdf|Testo del problema}}
-  * {{:is-a:grandedistribuzionesol.pdf|soluzioni}}
-==== Verifiche e appelli ====
-=== Casi d'esame ===
-Caso 1:
-Caso 2:
-Copia del caso d'esame usato 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.}}