UNIVERSITA' DEGLI STUDI DI PISA

UNIVERSITÀ DEGLI STUDI DI PISA

Anno Accademico 2003-2004

FACOLTÀ DI SCIENZE MAT. FIS. E NAT.

Delibera n. 62

Seduta del 28.6.2004

VERBALE DELLA SEDUTA

DEL CONSIGLIO AGGREGATO

DEI CORSI DI STUDIO IN INFORMATICA

L’anno duemilaquattro il giorno ventotto del mese di giugno alle ore 15.30 presso il Dipartimento di Informatica, si è riunito per l’aggiornamento della seduta del 22 giugno 2004, il Consiglio Aggregato dei Corsi di Studio in Informatica della Facoltà di Scienze M.F.N. dell’Università di Pisa, nelle persone dei Professori:

Garanti

Ordinari: Albano, Attardi, Barbuti, Luccio, Maggiolo-Schettini, Starita, Turini, Vanneschi.

Associati: Bellia, Corradini, Ferrari, Levi F., Menchi, Pelagatti, Scutellà.

Ricercatori ed assistenti: Frangioni, Gadducci.

Coordinatore Didattico: Carboni.

Responsabile della Segreteria Didattica: Mongini.

Rappr. studenti: Benedetti, D’Antonio, Spagnolo.

Professori ufficiali dei corsi

Ordinari: Germano, Pedreschi, Romani.

Associati: Brogi , Cornolti, Mancarella.

Ricercatori ed assistenti: Bodei, Bozzo, Bruni, Chessa, Del Corso G., Gervasi, Gori (invitata), Ruggieri, Semini.

Sono assenti giustificati

Garanti

Ordinari: Boerger, Bonuccelli, Degano, Montanari, Montangero, Rossi.

Associati: Danelutto, Grossi, Guerrini, Masulli, Occhiuto.

Professori ufficiali dei corsi

Associati: Simi.

Ricercatori ed assistenti: Bigi, Ciuffoletti , Flick, Ghisi, Giuliano, Martelli, Tarsia.

Presiede il Prof. Roberto Barbuti

Esercita le funzioni di Segretario il Prof. Paolo Mancarella

Il Presidente, costatato legale il numero dei convenuti, dichiara aperta la seduta.

Il Consiglio Aggregato dei Corsi di Studio in Informatica passa quindi a discutere il seguente

ORDINE DEL GIORNO

4) Riesame corsi di laboratorio

6) Calendario lezioni ed esami a.a. 2004/2005

7) Pratiche studenti

Il Presidente propone la seguente variazione all’ordine del giorno che viene approvata all’unanimità:

1) Comunicazioni

4) Riesame corsi di laboratorio

6) Calendario lezioni ed esami a.a. 2004/2005

7) Pratiche studenti

8) Varie ed eventuali

Letto, approvato e sottoscritto seduta stante.

Il segretario

Il Presidente

UNIVERSITÀ DEGLI STUDI DI PISA

Anno Accademico 2003-2004

FACOLTÀ DI SCIENZE MAT. FIS. E NAT.

Delibera n. 63

Seduta del 28.6.2004

VERBALE DELLA SEDUTA

DEL CONSIGLIO

DEI CORSI DI STUDIO IN INFORMATICA

Ordine del giorno: 1
Argomento: Comunicazioni

O G G E T T O

Il Presidente comunica che la Facoltà di Scienze del 24/6/04 non ha approvato l’istituzione dei Percorsi di Eccellenza dei Corsi di Laurea in Informatica e Informatica Applicata. Rileva che la discussione in Facoltà non è entrata nel merito del regolamento approvato nel CCSI del 22/6/04, ma si è mantenuta a livello generale sulla istituzione dei Percorsi di Eccellenza.

Informa che l’area di Scienze della Terra, che aveva approvato anch’essa l’istituzione dei PE, ha ritirato, nella stessa seduta, la richiesta di approvazione da parte della Facoltà.

Letto, approvato e sottoscritto seduta stante.

Il segretario

Il Presidente

UNIVERSITÀ DEGLI STUDI DI PISA

Anno Accademico 2003-2004

FACOLTÀ DI SCIENZE MAT. FIS. E NAT.

Delibera n. 64

Seduta del 28.6.2004

Aggiornamento del 22.6.04

VERBALE DELLA SEDUTA

DEL CONSIGLIO

DEI CORSI DI STUDIO IN INFORMATICA

Ordine del giorno: 4
Argomento: Riesame corsi di laboratorio

O G G E T T O

Il Presidente dà la parola al Prof. Corradini, Presidente della Commissione Riesame Corsi di Laboratorio.

Il Prof. Corradini informa che la commissione ha formulato una proposta che tiene conto anche della discussione avvenuta in Consiglio.

La proposta è la seguente

Indicazioni comuni per tutti i laboratori

Numero di ore per CFU: 10
Numero di ore per CFU per LIP: 12.5

Modalità di esame
Per tutti i laboratori fondamentali è prevista l'assegnazione di un progetto. La valutazione finale si baserà sul risultato della discussione del progetto, nonché sui risultati di eventuali prove in itinere o di altre informazioni raccolte durante il corso.

I docenti di corsi di laboratorio paralleli possono, di comune accordo, decidere di condizionare l'assegnazione del progetto al superamento di prove in itinere.

Obbligo di frequenza
La frequenza è obbligatoria per i corsi di LIP, LSD e LLS, secondo le modalità vigenti.

Allocazione corsi e CFU

Situazione attuale Semestre I Semestre II

Anno 1 LIP [4] LSD [4]

Anno 2 LPC [4] LPS [6]

Anno 3 LPR [6]

Proposta Semestre I Semestre II

Anno 1 LIP I modulo [3] LIP II modulo [3]

Anno 2 LSD [3] + LLS [3] LPCS [6]

Anno 3 LPR [6]

Descrizione dettagliata dei corsi

LIP - Laboratorio di Introduzione alla Programmazione

CFU: 6 [due moduli, 3 CFU ciascuno]. Ore: 75.

Ore per settimana: 4 (2 in aula [presentazione concetti, svolgimento e correzione di esercizi], + 2 in laboratorio [divisi in 2 gruppi])

Argomenti I semestre:

Introduzione a Linux + Windows. Shell (bash): comandi base, redirezione, pipe. IDE per Java (Eclipse), Java: frammento imperativo. Problem solving, Debugging, Documentazione del codice.

Argomenti II semestre

Classi e oggetti. I/O su file. Ereditarietà. Eccezioni [qui o a LSD]. Problem solving, Debugging. Struttura e documentazione di un buon progetto.

LSD - Laboratorio di Programmazione di Strutture Dati

CFU: 3. Ore: 30.

Ore per settimana: 3 (1 presentazione concetti + 2 laboratorio [2 gruppi])

Argomenti: [Java]. Eccezioni [qui o a LIP]. Interfacce. Collezioni. Strutture dati lineari (Pile, Code, Liste). Alberi Binari [di Ricerca]. Insiemi. Problem solving.

LLS - Laboratorio di Linguaggi di Sistema

CFU: 3. Ore: 30.

Ore per settimana: 3 (1 presentazione concetti + 2 laboratorio [2 gruppi])

Argomenti: [C]. gcc + C. make + debugger. librerie standard: stringhe, I/O, file system (file e directory).

LCS - Laboratorio di Programmazione Concorrente e di Sistema

CFU: 6 Ore 60

Ore per settimana: 6 (2 presentazione concetti + 4 laboratorio [eventualmente 2 gruppi])

Argomenti: Un linguaggio di scripting: PERL. Primitive di sistema Linux:. File system (implementazione delle librerie) e mmap. Processi (fork, exec). ipc (pipe, socket [?], segnali). Programmazione concorrente in C: pthreads. Pattern di programmazione concorrente in C e Java.

LPR - Laboratorio di Programmazione di Rete

CFU: 6, Ore: 60.

Ore per settimana: 6 (2 presentazione concetti + 4 laboratorio [eventualmente 2 gruppi])

Argomenti: Programmazione concorrente in Java: threads. Modello client/server. Socket con TCP. Accesso a servizi standard. Realizzazione di server. Indirizzi Inet. UDP. Accesso a servizi standard. Port scanning. Utilizzo di multicast. Implementazione di livelli diversi di affidabilità sopra UDP. RMI. Relazioni con CORBA/RPC. Utilizzo di RMI per la realizzazione di semplici servizi di rete.

Si apre una approfondita discussione dalla quale emergono i seguenti punti che richiedono di essere affrontati, nelle sedi e nei tempi opportuni, per una corretta implementazione della riorganizzazione dei corsi:

Coordinamento tra i corsi del primo anno. In particolare, è necessario valutare quali cambi sia opportuno apportare ai contenuti dei corsi di FP per sincronizzarli in modo ottimale con LIP.

Inserimento di nozioni relative alle strutture dati nel corso di MP, perché propedeutiche per AE.

Vanneschi deve verificare con gli altri docenti di AE la possibilità di introdurre un modello di processi comunicanti in AE.

I docenti di LPCS, nel dettagliare il programma del corso, dovranno tener presente le proposte di contenuti elaborate dai docenti attuali di LPS, in particolare in riferimento all'uso, a livello concettuale, del modello di processi comunicanti introdotto ad AE.

La riorganizzazione dei laboratori avverrà a partire dall'anno accademico 2004/05 per i Corsi di Laurea in Informatica e Informatica Applicata. L’applicazione riguardera il primo anno di corso e verrà estesa agli anni successivi in modo graduale.

Al termine della discussione il CCSI unanime approva la proposta con l’invito ai docenti a valutare attentamente il rilievi del CCSI per una revisione dei programmi dei corsi di insegnamento.

Il prof. Romani propone che per l’a.a. 2004/05 per il corso di Laurea in Informatica venga attivato un corso di Laboratorio di Strutture dati da 4 cfu per gli studenti che non erano riusciti a superarlo negli anni accademici precedenti.

Il Consiglio unanime approva.

Letto, approvato e sottoscritto seduta stante.

Il segretario

Il Presidente

UNIVERSITÀ DEGLI STUDI DI PISA

Anno Accademico 2003-2004

FACOLTÀ DI SCIENZE MAT. FIS. E NAT.

Delibera n. 65

Seduta del 28.6.2004

Aggiornamento del 22.6.04

VERBALE DELLA SEDUTA

DEL CONSIGLIO

DEI CORSI DI STUDIO IN INFORMATICA

Ordine del giorno: 6
Argomento: Calendario lezioni ed esami a.a. 2004/2005

O G G E T T O

Il Presidente, ad integrazione della delibera n. 38 del 15/4/04 relativa al calendario delle attività didattiche per l’anno accademico 2004/05, illustra la seguente proposta di calendario per le sessioni di Laurea.

La proposta tiene conto di quanto stabilito per il corso di Laurea in Informatica Applicata e cioè che le sedute di laurea di La Spezia vengano effettuate direttamente al Polo Marconi a La Spezia e inoltre che le sedute, fatta eccezione per quella di aprile 2005, si svolgano il lunedi successivo alla sessione di Pisa.

Corso di Laurea in Informatica (vecchi e nuovi ordinamenti)

Sessione straordinaria 2003/2004

I appello: 18/02/2005

II appello: 21/04/2005

Sessione estiva 2004/2005

I appello: 10/06/2005

II appello: 22/07/2005

Sessione autunnale 2004/2005

I appello: 14/10/2005

II appello: 09/12/2005

Corso di Laurea in Informatica Applicata

Sessione straordinaria 2003/2004

I appello: 21/02/2005

II appello: 22/04/2005

Sessione estiva 2004/2005

I appello: 13/06/2005

II appello: 25/07/2005

Sessione autunnale 2004/2005

I appello: 17/10/2005

II appello: 12/12/2005

Dopo breve discussione la proposta viene approvata all’unanimità.

Letto, approvato e sottoscritto seduta stante.

Il segretario

Il Presidente

UNIVERSITÀ DEGLI STUDI DI PISA

Anno Accademico 2003-2004

FACOLTÀ DI SCIENZE MAT. FIS. E NAT.

Delibera n. 66

Seduta del 28.6.2004

Aggiornamento del 22.6.04

VERBALE DELLA SEDUTA

DEL CONSIGLIO

DEI CORSI DI STUDIO IN INFORMATICA

Ordine del giorno: 7
Argomento: Pratiche studenti

O G G E T T O

PASSAGGI ALLA LAUREA TRIENNALE: SOSTITUZIONE ESAMI

Stefano Dipierro, passato dal vecchio al nuovo ordinamento nel 2002, chiede che l’esame di Calcolo delle Probabilite Statistica venga sostituito da Calcolo Numerico. Il motivo della richiesta è che al momento del passaggio il Sig. Dipierro ebbe la possibilità di “scegliere” tra Calcolo delle Probabilite Statistica e Calcolo Numerico, come materie da inserire nel suo piano di studi, e optò per la prima. Essendogli data, a suo tempo, questa possibilità, il Sig. Dipierro chiede di poterla esercitare ancora. Il CCSI, sulla base del fatto che le modalità di passaggio attuate nel 2002 non sono più in vigore, ma anzi sono radicalmente cambiate, ritiene che la possibilità di scelta data nel 2002 non possa essere riattuata. Respinge quindi all’unanimità la richiesta.

PASSAGGI ALLA LAUREA TRIENNALE: correzione di delibera

Pulzonetti Silvia, proveniente da Informatica, Università di Roma.

Ad integrazioni delle precedenti delibere, si riconosce l’esame di “Laboratorio di Basi di Dati I” come 3 crediti a scelta in tutti i settori.

La studentessa viene quindi ammessa al 2° anno del Corso di laurea triennale di primo livelloin Informatica per un totale di crediti 60.

Approvato all’unanimità.

PASSAGGI ALLA LAUREA TRIENNALE

Giusfredi Massimiliano 252570 proveniente da Ingegneria delle Telecomunicazioni N.O.

Si ammette al 1 anno di Informatica Triennale convalidando i seguenti esami per un totale di crediti 16:

Matematica I per Analisi Matematica crediti 8;

Fondamenti di informatica I per Laboratorio di introduzione alla programmazione crediti 4 + Laboratorio di programmazione di strutture dati crediti 4.

Angileri Filippo Francesco 271095 proveniente da Ingegneria Informatica N.O.

Si ammette al 1 anno di Informatica Triennale convalidando i seguenti esami per un totale di crediti 3:

Colloquio Lingua inglese per Conoscenza Lingua Inglese 3 crediti.

Brandi Paolo 254549 proveniente da Ingegneria Aerospaziale N.O.

Si ammette al 1 anno di Informatica Triennale convalidando i seguenti esami per un totale di crediti 8:

Analisi Matematica I per Analisi Matematica crediti 8.

Lazzeri Namal Filippo 253585 proveniente da Ingegneria Aerospaziale N.O.

Si ammette al 1 anno di Informatica Triennale convalidando i seguenti esami per un totale di crediti 9:

Chimica e Materiali CC102 per idem da utilizzare in complementari in tutti i settori crediti 9

Approvati all’unanimità.

RICONOSCIMENTO CREDITI

Altomari Natalino, si riconoscono 3 crediti per l’esame di Conoscenza della lingua inglese con il giudizio di idoneo.

Approvato all’unanimità.

ABBREVIAZIONI DI CARRIERA ALLA LAUREA TRIENNALE

A Emiliano Masini, con Laurea in Scienze dell’Informazione, conseguita a Pisa, si riconoscono i 180 crediti necessari per il conseguimento della Laurea Triennale in Informatica.

Zamparella Vittorio con Laurea in Ingegneria Informatica al Politecnico di Milano, si ammette al III anno del corso di Laurea triennale di Informatica.

Si riconoscono le seguenti attività formative (per un totale di crediti 147):

Linguaggi e metodi della matematica, crediti 6;

Analisi I, crediti 8;

Algebra, crediti 6;

Calcolo delle probabilità e statistica, crediti 6;

Ricerca Operativa, crediti 6;

Fisica, crediti 6;

Architettura degli elaboratori, crediti 10;

Sistemi Operativi, crediti 6;

Basi di dati, crediti 6;

Ingegneria del software, crediti 6;

Due seminari per crediti 3 + 3;

Teoria dell'Informazione, crediti 6;

Reti di calcolatori, per crediti 6;

Cinque laboratori per crediti 24;

Metodologie di programmazione, crediti 6;

Logistica, crediti 6;

Modelli della Fisica, crediti 6

Fondamenti di Programmazione, crediti 9;

Complementari a scelta in tutti i settori, crediti 9;

Conoscenza Lingua Straniera, crediti 3.

Approvato all’unanimità.

APPROVAZIONI PIANI DI STUDIO A.A. 2003/2004-VECCHIO ORDINAMENTO

Corso di laurea quinquennale in Informatica

Ad integrazione della delibera n. 23 del 23/01/04, si approvano i piani di studio per l'a.a. 2003/04 dei sottoelencati studenti:

Indirizzo Libero

TRANI Tommaso

Approvato all’unanimità.

RETTIFICA TRASFERIMENTO DATI SESI

VENTURINI Rossano, matr. 216376 si richiede al SESI di modificare la pratica di passaggio come segue

Crediti totali 80 e non 84.

Approvato all’unanimità.

PROGETTO SOCRATES

PROCEDURA CONVERSIONE VOTI SISTEMA AMERICANO (CARNAGIE MELLON) - SISTEMA ITALIANO (UNIVERSITA' DI PISA)

Sulla base del sistema di valutazione degli esami alla Carnegie Mellon University, le convalide degli esami avverranno secondo la seguente tabella:

- A equivale a 30

- B equivale a 27

- C equivale a 24

- D equivale a 20

- Approvato all’unanimità.

AUTORIZZAZIONI

Matteo GOLFARINI è autorizzato a sostenere i seguenti esami presso la Universidad de Alcalá (ALCALA'DE HENARES01):

"Algebra" per "Algebra".

Andrea MARIANI è autorizzato a sostenere i seguenti esami presso la Aarhus University (AARHUS01):

"Corso di Lingua danese" per "Corso a scelta"(ZY180 6 CFU).

Giuseppe LO BRUTTO è autorizzato a sostenere i seguenti esami presso la Helsinki University (HELSINKI01):

"Artificial intelligence" per "Sistemi Intelligenti 1";

"Computer graphics" per "Costruzione di interfacce";

"Software engineering" per "Ingegneria del software";

"Algorithms for Ad-hoc networking" piu' colloquio integrativo per "Reti Mobili".

Daniele POLINI è autorizzato a sostenere i seguenti esami presso la Universitade de Coimbra (COIMBRA01):

"Interacao como Utilizador" per "Progettazione di interfacce e valutazione dell'usabilita'";

"Multimedia" per "Elementi di Multimedia technologies"(6 CFU);

"Tecnologias da Internet" per "Laboratorio di applicazioni internet";

"Bases de Dados II" per "Basi di dati: strutture e algoritmi";

"Lingua portoguesa I" per "Lingua e traduzione – lingua portoghese 1"(LL172 7 CFU).

Fabiano PALLONETTO è autorizzato a sostenere i seguenti esami presso la Carnegie Mellon University:

"Technology Consulting in the Community"(15391) per "Elementi di Computer Aspects in Production Companies";

"Operating System Practicum"(15412) per "Elementi di programming Languages";

"Probability Theory and Random Processes"(36217) per "Calcolo della probabilita' e statistica";

"Interface and Interaction Design"(05650) per "Progettazione di Interfacce e Valutazione dell'Usabilita'".

CONVALIDE ESAMI

Fabiano PALLONETTO in base alla documentazione (allegato), e alla delibera n. 62 del CCL del 24.06.94, si riconoscono i seguenti voti, riportati presso la Carnegie Mellon University riconosciuti equipollenti con la presente delibera:

"Technology Consulting in the Community"(15391) per "Elementi di Computer Aspects in Production Companies": 30/30 in data 18/05/2004;

"Operating System Practicum"(15412) per "Elementi di programming Languages": 27/30 in data 18/05/2004;

"Probability Theory and Random Processes"(36217) per "Calcolo della probabilita' e statistica": 30/30 in data 18/05/2004;

"Interface and Interaction Design"(05650) per "Progettazione di Interfacce e Valutazione dell'Usabilita'": 30/30 in data 18/05/2004.

Antonio SCHININA' in base alla documentazione (allegato), e alla delibera n. 62 del CCL del 24.06.94, si riconoscono i seguenti voti, riportati presso la Universisad de Alcala' de Henares (ALCALA DE HENARES01)riconosciuti equipollenti con delibera n. 6 del 17/01/2003:

"Bases de datos" per "Basi di dati e sistemi informativi": 19/30 in data 16/06/2004.

PROSECUZIONE VERSO LA LAUREA SPECIALISTICA IN TECNOLOGIE INFORMATICHE: correzione di delibera

A rettifica della delibera n° 68 del 25/9/2003 con cui si ratificava il provvedimento di urgenza n° 15 del 5 settembre 2003, si delibera quanto segue:

Ai 249 CFU riconosciuti allo studente NIDITO FRANCESCO matr. 222176 ammesso alla laurea specialistica in Tecnologie Informatiche, vanno aggiunti 12 CFU relative all'esame di LOA sostenuto il 30 Giugno 2003 con il prof. Attardi e non inserito nell'elenco degli esami sostenuti.

Approvato all’unanimità.

Letto, approvato e sottoscritto seduta stante.

Il segretario

Il Presidente