UNIVERSITÀ DEGLI STUDI DI PISA

Anno Accademico 2000-2001

FACOLTÀ DI SCIENZE MAT. FIS. E NAT.

Delibera n. 70

Seduta del 7.6.2001

VERBALE DELLA SEDUTA

DEL CONSIGLIO

DEI CORSI DI STUDIO IN INFORMATICA

L’anno duemilauno il giorno sette del mese di giugno alle ore 15.00 presso il Dipartimento di Informatica, si è riunito in seduta straordinaria il Consiglio di Corso di Laurea in Scienze dell'Informazione, in Informatica e Diploma Universitario in Informatica della Facoltà di Scienze M.F.N. dell’Università di Pisa, nelle persone dei Professori:

Ordinari : Albano, Attardi, Barbuti, Boerger, Bonuccelli, Degano, Gallo, Germano, Levi G., Luccio, Maggiolo, Montangero, Pallottino, Pedreschi, Romani, Turini, Vanneschi .

Associati: Baiardi, Brogi , Grossi, Leoni, Menchi, Rossi P., Scutellà, Starita.

Ricercatori ed assistenti: Bernasconi, Bozzo, Cappelli, Chessa, Del Corso G., Frangioni, Gadducci, Levi F., Occhiuto, Pelagatti, Ricci, Ruggieri, Scozzari, Semini.

Rappr. studenti: Nannelli, Mugnaini, Ugolini.

Rappr. non docenti: Carpentras, Mongini.
 

Sono assenti giustificati

Ordinari: Colombini, Georghiev, Murthy.

Associati: Barcaro, Dario, Ferragina, Ghelli.

Ricercatori e assistenti: Bergamasco, Bigi, Bodei, Ciuffoletti , Di Giandomenico, Di Pascoli, Favati, Flagella, Laforenza, Latella, Lijtmaer, Magazzù, Mogorovich, Paterno', Pellegrini, Piram, Tarabella, Tarsia.

Rappr. studenti:

Rappr. non docenti:

 

 

Presiede il Prof. Roberto Barbuti

 
Esercita le funzioni di Segretario il Prof. Gualtiero Leoni 


 

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

Il Consiglio di Corso di Laurea in Scienze dell’Informazione, in Informatica e Diploma Universitario in Informatica passa quindi a discutere il seguente

 

ORDINE DEL GIORNO

 

1)               Comunicazioni

2)               Perfezionamento Programmazione Didattica a.a. 2001/2002

3)               Regolamento Didattico della nuova Laurea in Informatica

4)               Varie ed eventuali

 

 

Letto, approvato e sottoscritto seduta stante.

 

Il segretario   

Il Presidente

 

 

 

 

 

 

 


UNIVERSITÀ DEGLI STUDI DI PISA

Anno Accademico 2000-2001

FACOLTÀ DI SCIENZE MAT. FIS. E NAT.

Delibera n. 71

Seduta del 7.6.2001

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:

 

-          il Senato Accademico nella seduta del 5 giugno u.s., ha approvato l’Ordinamento Didattico della Laurea Triennale in Informatica Applicata a La Spezia;

-          il Comitato di Presidenza della Facoltà di Scienze m.f.n., nella seduta del 30 maggio u.s., ha approvato le proposte del nostro Consiglio sugli Ordinamenti Didattici delle Lauree Specialistiche in Informatica e Tecnologie Informatiche.

Letto, approvato e sottoscritto seduta stante.

 

Il segretario   

Il Presidente

 

 

 

 

 

 

 

 

 


UNIVERSITÀ DEGLI STUDI DI PISA

Anno Accademico 2000-2001

FACOLTÀ DI SCIENZE MAT. FIS. E NAT.

Delibera n. 72

Seduta del 7.6.2001

VERBALE DELLA SEDUTA

DEL CONSIGLIO

DEI CORSI DI STUDIO IN INFORMATICA

Ordine del giorno: 2
Argomento: Perfezionamento programmazione Didattica a.a. 2001/2002

 

O G G E T T O

 

Elenco degli insegnamenti complementari con i loro contenuti.

 

          Il Presidente illustra una proposta di esami complementari per la Laurea di Primo Livello in Informatica. La lista dei complementari comprende gli insegnamenti fondamentali delle due lauree Specialistiche in Informatica e Tecnologie Informatiche e alcuni insegnamenti proposti dalla Commissione Complementari istituita appositamente

Per ogni corso sono indicati i crediti formativi. Quando i crediti sono indicati come somma di più numeri, significa che il corso può essere diviso in moduli. Lo studente può scegliere, in questo caso, un singolo modulo o più. Nel caso in cui lo studente scelga più moduli l’esame sarà in ogni caso unico.

 

Costruzione di interfacce                                (CFU: 9)

-         Sistemi grafici

-         Fondamenti di grafica

-         Rendering

-         Modellazione geometrica

-         Progetto di interfacce grafiche

-         Librerie e framework per la grafica

-         Programmazione di interfacce grafiche

 

Sistemi Intelligenti I                                               (CFU: 6)

-         Introduzione all'Intelligenza Artificiale e agli agenti intelligenti

-         Risoluzione dei problemi come ricerca

-         Rappresentazione della conoscenza e ragionamento

-         Pianificazione

-         Apprendimento automatico

 

Programmazione Avanzata                                 (CFU: 12)

-         Analisi sintattica: scanner, parser, grammatiche LL(1) e LR(k)

-         Ambienti run-time: modello di esecuzione, loading/linking, librerie statiche/dinamiche, thread e thread safety

-         Design pattern, framework, skeleton

-         Programmazione a componenti: COM, CORBA, .NET

-         Programmazione generica: generative programming, template programming, reflection

-         Modelli di calcolo per il Web computing

-         Programmazione di rete: middleware, client/server, messaging and transaction server

-         Web services; interoperabilità; RPC

-         Scripting

 

Architetture di Sistemi di Elaborazione                  (CFU: 9)

-         Sistemi hardware-software ad alte prestazioni, con enfasi sui sistemi commerciali superscalari, multiprocessor e network computer

-         Meccanismi di coordinamento di sistemi paralleli e distribuiti

-         Metodologie di integrazione di strumenti e servizi

-         Meccanismi di base per la sicurezza (autenticazione, controllo dei

-         diritti, dell'integrità)

-         Politiche di sicurezza per applicazioni di rete (crittografia, autenticazione, firewalling)

-         Amministrazione di sistemi e di servizi di rete

 

Linguaggi e calcolabilità                                        (CFU: 6)

-         Calcolabilità: funzioni ricorsive, totalità e diagonalizzazione, problemi insolubili

-         Elementi di semantica

-         Sistemi di tipi

-         Ambiente, scoping, parametri, moduli, classi, gestione della memoria

-         Analisi statica

 

Tecniche di specifica e dimostrazione                         (CFU:  6)

-         Tecniche di dimostrazione per induzione e coinduzione.

-         Specifica e dimostrazione di proprietà computazionali.

-         Semantica operazionale strutturata.

-         Sviluppo di specifiche mediante raffinamento.

 

Calcolabilità e complessità                                     (CFU: 9)

-         Macchine di Turing standard e non (deterministiche e non, a piu' nastri, I/O)

-         Linguaggi calcolabili,  MdT universale

-         Funzioni ricorsive e linguaggi di programmazione, Totalità e diagonalizzazione

-         Riducibilità, problemi insolubili

-         Funzioni di misura di tempo e spazio

-         Classi (tempo/spazio) deterministiche e non. P- e NP-completezza

-         Altre classi (co-NP, caso, approssimazione, parallelismo)

 

Compilatori                                                           (CFU: 6)

-         Linguaggi, macchine astratte e macchine virtuali.

-         Analisi lessicale e sintattica: linguaggi regolari, automi a stati finiti. linguaggi context-free, automi a pila LL e LR.

-         Analisi statica e generazione di codice: codici intermedi, bytecode, codici a tre indirizi. Attribute grammars.

-         Realizzazione di driver e generatori.

-         Ottimizzazione: principi, analisi dataflow

 

Linguaggi                                                    (CFU: 6)

-         Elementi di Semantica

-         Sistemi di tipi

-         Controllo di sequenza, procedure, ricorsione

-         Ambiente, scoping, parametri, moduli, classi, gestione della memoria

-         Analisi statica

-         Relazione tra traduzione e strutture a run time

 

Simulazione e logistica                                        (CFU: 6 + 6)

-         Sistemi logistici, loro struttura e loro funzionamento: la catena  logistica. Sistema logistico e sistema informativo aziendale.

-         Uso di  Internet nella catena logistica.

-         Analisi e previsione della domanda.

-         Progetto della struttura logistica di un'impresa e problemi di  localizzazione.

-         Progettazione e gestione dei Centri di distribuzione.

-         Gestione delle scorte.

-         Distribuzione e trasporto.

-         Modelli di simulazione e loro uso nella logistica.

-         Realizzazione ed uso dei modelli di simulazione.

-         Strumenti statistici per l'analisi degli input e per l'analisi e la validazione dei risultati. 

-         Esemplificazioni attraverso semplici 'case studies'.

 

Basi di dati: strutture, algoritmi e laboratorio          (CFU: 6+6)

-         I moduli funzionali di un sistema per basi di dati.

-         Le strutture di memorizzazione. La gestione delle transazioni e della concorrenza

-         Ottimizzazione delle interrogazioni

-         La progettazione di applicazioni per basi di dati

-         Un sistema commerciale. Strumenti per la realizzazione di applicazioni su WEB

-         Realizzazione di un'applicazione

 

Sistemi intelligenti II                                             (CFU: 6)

(Può diventare 12 CFU con Sistemi intelligenti I)

-         Apprendimento.

-         Reti neurali.

-         Pattern recognition.

-         Algoritmi genetici.

-         Robotica.

-         Grafica.

 

Matematica computazionale e laboratorio          (CFU: 6+6)

-         Algoritmi numerici per l’algebra lineare: risoluzione di sistemi di equazioni lineari e calcolo di autovalori.

-         Studio della complessità di algoritmi numerici per la trasformata discreta di Fourier, l’approssimazione e la risoluzione di equazioni differenziali.

 

Ingegneria del software: laboratorio di progettazione.     (CFU:  6)

-         Analisi, progettazione e realizzazione di sistemi software secondo un approccio orientato agli oggetti.

-         Progettazione mediante UML.

-         Realizzazione mediante il linguaggio Java.

-         Uso di ambienti e strumenti di sviluppo.

 

Ottimizzazione combinatoria                                   (CFU: 6)

-         Introduzione

-         Ottimalità ed algoritmi

-         Algoritmi euristici

-         Tecniche di rilassamento

-         Algoritmi enumerativi

 

Sicurezza nelle Reti Informatiche                           (CFU: 12)

-         Iindividuazione, sia durante l'analisi di sistemi esistenti che durante la progettazione di nuovi sistemi, dei possibili punti di attacco

-         Studio di strumenti (hardware e software) da utilizzare per proteggere il sistema e permettere agli utenti di interagire con esso in maniera sicura

-         Tecniche necessarie a riportare il sistema ad un corretto funzionamento, a individuare i dati che sono stati violati e a identificare i pirati informatici.

 

Algoritmi per Internet e Web                                (CFU: 6+3+3)

-         Routing e gestione di pagine Web

-         Crittografia

-         Indicizzazione di testi

-         Compressione di testi

 

Modelli della Fisica                                        (CFU: 6)

-         Oscillatore armonico, con varianti.

-         Sistemi deterministici lineari: proprieta' generali. Spazio delle fasi.

-         Equilibrio e stabilita' dei sistemi lineari.

-         Esempi di sistemi non lineari  in natura.

-         Sistemi deterministci non lineari. Equilibrio e stabilita'

-         Fenomeni periodici in natura.

-         Sistemi non lineari e cicli limite: alcuni esempi.

 

Sistemi Operativi Distribuiti e laboratorio          (CFU: 6+6)

-         Meccanismi e strumenti per la programmazione concorrente/distribuita

-         (con riferimento ad architetture POSIX)

-         Strutturazione di sistemi distribuiti

-         Algoritmi per la coordinazione distribuita

-         File system distribuiti

-         Fault tollerance

-         Laboratorio:

-         Richiami di programmazione di sistema POSIX

-         Processi e thread POSIX

-         Meccanisimi di sincronizzazione e condivisione

-         Socket

-         RPC

 

Teoria dell’informazione                               (CFU: 6)

-         Concetti Generali di Teoria dell'Informazione.

-         La funzione entropia.

-         Sorgenti d'informazione discreta.

-         Codifica in assenza di rumore (codifica della sorgente).

-         I canali discreti senza memoria.

-         Codifica in presenza di rumore (codifica del canale).

-         I codici correttori a blocchi.

-         I Codici ciclici.

 

Annualmente, le strutture didattiche, previo parere della Commissione didattica paritetica di Facoltà, potranno attivare nuovi insegnamenti complementari.

 

          Il Presidente mette in votazione la proposta che viene approvata all’unanimità.

         

 

PROGRAMMAZIONE DIDATTICA A.A. 2001/2001: ATTIVAZIONI e COPERTURE

 

Il Presidente invita quindi il prof. Leoni, vice-presidente del Consiglio, ad illustrare la proposta di programmazione didattica per l’anno accademico 2001/2002, le cui tabelle riepilogative sono allegate al presente verbale.

 

ATTIVAZIONE CORSI – Laurea quinquennale in Informatica

A correzione della delibera n. 49 della seduta di CCSI del 6 aprile u.s.,il Consiglio, approva l’attivazione dei seguenti corsi, per il Corso di Laurea quinquennale in Informatica. Per alcuni di questi corsi, si riserva di comunicare in seguito la copertura:

 

Analisi Matematica II – secondo anno

Fisica Generale I – secondo anno

Sistemi Operativi I – secondo anno

Analisi Numerica – fondamentale terzo anno

 

DISATTIVAZIONE CORSI – Laurea quinquennale in Informatica

 

          A correzione della delibera n. 49 della seduta di CCSI del 6 aprile u.s., il Consiglio unanime approva la disattivazione dei seguenti corsi per il Corso di Laurea quinquennale in Informatica:

 

Ingegneria del Software I – A

Teoria dell’Informazione – B

Fondamenti dell’informatica: semantica della concorrenza

Ingegneria del software: metodi di specifica

Fondamenti dell’informatica: semantica II

Ingegneria del software: controllo di qualità

Ingegneria del software: modelli di processo software

Linguaggi di programmazione: linguaggi logici

Matematica computazionale: laboratorio

Programmazione: laboratorio di programmazione funzionale

Programmazione: laboratorio di tecniche di raffinamento

Teoria dei sistemi

Algoritmi e strutture dati: internet e web

 

ATTRIBUZIONI DI COMPITI ISTITUZIONALI – Laurea quinquennale in Informatica

Il Consiglio, conosciuta la disponibilità degli interessati, approva le seguenti attribuzioni per il Corso di Laurea quinquennale in Informatica:

 

Corso

Docente

Fisica Generale I

Paolo Rossi (ordinario)

Analisi Numerica

Milvio Capovani (ordinario)

Ingegneria del Software I

Egon Boerger (ordinario)

Basi di Dati e Sistemi Informativi II

Antonio Albano (ordinario)

Ingegneria del Software: laboratorio di progettazione

Vincenzo Ambriola (associato)

Intelligenza Artificiale I

Maria Simi (associato)

Linguaggi di programmazione: paradigmi e macchine astratte

Giorgio Levi (ordinario)

Apprendimento Automatico

Alessandro Sperduti (associato)

Basi di Dati e Sistemi Informativi: basi di dati distribuite e parallele

Gualtiero Leoni (associato)

Basi di Dati e Sistemi Informativi: basi di dati deduttive

Franco Turini (ordinario)

Economia dei Sistemi Industriali

Dionisia Cazzaniga (associato)

Fondamenti dell’Informatica: linguaggi formali e automi

Vincenzo Manca (associato)

Fondamenti dell’Informatica: modelli e  specifiche per a concorrenza

Andrea Maggiolo (ordinario)

Informatica Teorica: metodi algebrici

Giorgio Germano (ordinario)

Intelligenza Artificiale: laboratorio

Maria Simi (associato)

Linguaggi di programmazione: Linguaggi funzionali

Marco Bellia (associato)

Organizzazione della produzione e dei sistemi logistici

Dionisia Cazzaniga

Programmazione: laboratorio di programmazione logica

Roberto Barbuti (ordinario)

Programmazione: laboratorio di programmazione concorrente e orientato all’oggetti

Gianluigi Ferrari (associato)

Reti Neurali I

Antonina Starita (associato)

Ricerca Operativa: reti di comunicazione

Stefano Pallottino (ordinario)

 

AFFIDAMENTI DIDATTICI AGGIUNTIVI – Laurea quinquennale in Informatica

 

Il Presidente, conosciuta la disponibilità degli interessati, che hanno accettato di svolgere il corso in aggiunta ai propri compiti istituzionali assegnati dalla Facoltà, relativi all’impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico, propone i seguenti affidamenti didattici aggiuntivi, per il Corso di Laurea quinquennale in Informatica:

 

Corso

Docente

Architettura degli Elaboratori III

Fabrizio Baiardi (associato)

Algoritmi e strutture dati: algoritmi paralleli e distribuiti

Roberto Grossi (associato)

Sistemi Operativi II

Marco Danelutto (associato)

Architettura degli Elaboratori: sistemi a parallelismo massiccio

Laura Ricci (ricercatore)

Architettura degli Elaboratori: laboratorio di sistemi a parallelismo massiccio

Laura Ricci (ricercatore)

Informatica Generale: didattica e informatica

Maria Rita Laganà (assistente)

Ingegneria della Conoscenza e sistemi Esperti

Antonina Starita (associato)

Ottimizzazione combinatoria: laboratorio

Gianfranco Bigi (ricercatore)

Programmazione: metodi formali

Salvatore Ruggieri (ricercatore)

Reti neurali II

Antonina Starita (associato)

Reti neurali: laboratorio di sistemi ibridi

Alessandro Sperduti (associato)

Sistemi per l’elaborazione dell’informazione: reti di calcolatori

Augusto Ciuffoletti (ricercatori)

Informatica Applicata: tecnologie per l’economia

Ippolito Spadafora (assistente)

Informatica Applicata: informatica per enti pubblici

Francesco Molè (assistente)

Fondamenti dell’informatica: quantum computing

Alessandra Di Pierro (ricercatore)

 

ATTIVAZIONE NUOVI CORSI – Laurea quinquennale in Informatica

Su richiesta dell’interessato, il presidente illustra la seguente proposta di attivazione di esame complementare per la Laurea quinquennale di Informatica, dal titolo:

Teoria dei segnali II (1 u.d.)

 

Si apre una breve discussione al termine della quale il Consiglio unanime approva l’attivazione del corso.

Il Consiglio si riserva di comunicare in seguito la copertura di detto corso.

 

VARIAZIONE NOME CORSO – Laurea quinquennale in Informatica

          A richiesta degli interessati il Consiglio delibera la variazione dei nomi dei seguenti corsi complementari:

Informatica generale: didattica dell’informatica

diventa

Informatica generale: didattica e informatica

 

Informatica applicata: impatto economico delle tecnologie informatiche

diventa

Informatica applicata: tecnologie per l’economia

 

CORSI RIMASTI VACANTI – Laurea quinquennale in Informatica

 

Per i seguenti corsi del Corso di Laurea quinquennale in Informatica, già attivati con delibere n. 49 (seduta del CCSI del 6/4/01) e n. 65 (seduta del CCSI del 24/5/01) Consiglio si riserva di comunicare in seguito l’eventuale copertura o l’eventuale disattivazione o mutuazione:

 

Sistemi di elaborazione dell’informazione: reti di calcolatori

Algoritmi e strutture dati: bioinformatica

Basi di dati e sistemi informativi: tecniche di data mining per l’analisi dei dati

Basi di dati e sistemi informativi: recupero di documenti

Elettronica

Informatica grafica: laboratorio di realtà virtuale

Laboratorio di informatica: informatica musicale

Linguaggi di programmazione: laboratorio di compilatori

Linguaggi di programmazione: programmazione concorrente

Matematica computazionale: calcolo parallelo

Matematica computazionale: geometria computazionale

Percezione Robotica

Sistemi di elaborazione dell’informazione: applicazioni parallele

Sistemi di elaborazione dell’informazione: sistemi affidabili

Teoria dei segnali

Ingegneria del software: laboratorio di applicazioni internet

Interazione uomo-macchina: progettazione e valutazione dell’usabilità

Intelligenza artificiale: il trattamento automatico del linguaggio naturale

Sistemi per l’elaborazione dell’informazione: livello fisico delle reti di calcolatori

 

ATTIVAZIONE CORSI – Laurea triennale in Informatica

 

Ad integrazione della delibera n. 49/05 della seduta di CCSI del 6 aprile u.s.,il Consiglio, approva l’attivazione dei seguenti corsi, per il Corso di Laurea triennale in Informatica. Per alcuni di questi corsi, si riserva di comunicare in seguito la copertura:

 

FISICA – secondo anno (per quegli studenti che avranno ottenuto il passaggio dai vecchi corsi di studio in Informatica).

 

I corsi seguenti fanno parte dei corsi di “Cultura di contesto”.

COMUNICAZIONE

ORGANIZZAZIONE DELLE IMPRESE

TECNOLOGIA DELL’INFORMAZIONE E DELLE COMUNICAZIONI NELLE ORGANIZZAZIONI

ASPETTI GIURIDICI E PROFESSIONALI DELL’INFORMATICA

ASPETTI ETICI E SOCIALI DELL’INFORMATICA

INTRODUZIONE ALL’AUDIO DIGITALE

 

ATTRIBUZIONI DI COMPITI ISTITUZIONALI – Laurea triennale in Informatica

Il Consiglio, conosciuta la disponibilità degli interessati, approva le seguenti attribuzioni per il Corso di Laurea triennale in Informatica:

 

Corso

Docente

Fondamenti di Programmazione

R. Barbuti (ordinario)

 

Fondamenti di Programmazione

P. Mancarella (associato)

 

Fondamenti di Programmazione

D. Pedreschi (ordinario)

 

Fondamenti di Programmazione

F. Turini (ordinario)

 

Linguaggio e metodi della matematica

P. Mancarella (associato)

 

Algoritmica

P. Ferragina (associato)

 

Algoritmica

R. Grossi (associato)

 

Algoritmica

F. Luccio (ordinario)

 

Algoritmica

L. Pagli (ordinario)

 

Fisica

F. Cornolti (associato)

 

Laboratorio di programmazione di strutture dati

C. Montangero (ordinario)

 

Laboratorio di programmazione di strutture dati

F. Romani (ordinario)

 

Architettura degli elaboratori

F. Baiardi (associato)

 

Architettura degli elaboratori

M. Vanneschi (ordinario)

 

Calcolo numerico

R. Bevilacqua (associato)

 

Calcolo numerico

O. Menchi (associato)

 

Sistemi operativi

P. Maestrini (ordinario)

 

Laboratorio di programmazione di sistema

A. Sperduti (associato)

 

Metodologie di programmazione

G. Levi (ordinario)

 

Metodologie di programmazione

A. Maggiolo (ordinario)

 

Metodologie di programmazione

U. Montanari (ordinario)

 

Ricerca operativa

G. Gallo (ordinario)

 

Ricerca operativa

S. Pallottino (ordinario)

 

Ricerca operativa

M. G. Scutellà (associato)

 

Basi di dati

A. Albano (ordinario)

 

Basi di dati

G. Ghelli (associato)

 

Basi di dati

G. Leoni (associato)

 

Ingegneria del software

V. Ambriola (associato)

 

Ingegneria del software

C. Montangero (ordinario)

 

Laboratorio di programmazione di rete

A. Brogi (associato)

 

Laboratorio di programmazione di rete

M. Danelutto (associato)

 

Laboratorio di programmazione di rete

G. Ferrari (associato)

 

Reti di calcolatori

A. Brogi (associato)

 

Reti di calcolatori

M. Danelutto (associato)

 

Reti di calcolatori

G. Ferrari (associato)

 

Algoritmi per Internet e Web (1° modulo)

P. Ferragina (associato)

 

Algoritmi per Internet e Web (2° modulo)

R. Grossi (associato)

 

Algoritmi per Internet e Web (3° modulo)

F. Luccio (ordinario)

 

Algoritmi per Internet e Web (4° modulo)

L. Pagli (ordinario)

 

Calcolabilità e Complessità

P. Degano (ordinario)

 

Compilatori

M. Bellia (associato)

 

Linguaggi e Calcolabilità

E. Boerger (ordinario)

 

Programmazione Avanzata

G. Attardi (ordinario)

 

Simulazione

G. Gallo (ordinario)

 

Logistica

M. G. Scutellà (associato)

 

Sistemi Intelligenti II

A. Starita (associato)

 

Tecniche di Specifica e Dimostrazione

U. Montanari (ordinario)

 

Basi di Dati: Laboratorio

G. Ghelli (associato)

 

Fisica generale: modelli della fisica

F. Cornolti (associato)

 

Teoria dell’informazione

F. Romani (ordinario)

 

 

AFFIDAMENTI DIDATTICI AGGIUNTIVI – Laurea triennale in Informatica

 

Il Presidente, conosciuta la disponibilità degli interessati, che hanno accettato di svolgere il corso in aggiunta ai propri compiti istituzionali assegnati dalla Facoltà, relativi all’impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico, propone i seguenti affidamenti didattici aggiuntivi, per il Corso di Laurea triennale in Informatica:

 

 

Corso

Docente

Laboratorio di introduzione alla programmazione

A. Bernasconi

Laboratorio di introduzione alla programmazione

A. Corradini

Laboratorio di introduzione alla programmazione

A. Di Pierro

Fisica

M. Lucchesi

Fisica

M. M. Massai

Fisica

P. Rossi

Laboratorio di programmazione di strutture dati

F. Gadducci

Laboratorio di programmazione di strutture dati

F. Levi

Architettura degli elaboratori

L. Ricci

Calcolo numerico

E. Bozzo

Laboratorio di programmazione concorrente

C. Bodei

Laboratorio di programmazione concorrente

S. Chessa

Fisica (per studenti con passaggio)

M. Lucchesi

Fisica (per studenti con passaggio)

M. M. Massai

Sistemi operativi

S. Pelagatti

Laboratorio di programmazione di sistema

S. Ruggieri

Laboratorio di programmazione di sistema

F. Scozzari

Ingegneria del software

L. Semini

Organizzazione delle imprese

G. Gallo

Introduzione all’audio digitale

F. Romani

Matematica Computazionale

M. Capovani

Matematica Computazionale: Laboratorio

G. Del Corso

Ottimizzazione Combinatoria

A. Frangioni

Sicurezza delle Reti Informatiche

F. Baiardi

 

 

 

 

CORSI RIMASTI VACANTI – Laurea triennale in Informatica

 

Per i seguenti corsi del Corso di Laurea triennale in Informatica Consiglio si riserva di comunicare in seguito l’eventuale copertura o l’eventuale disattivazione o mutuazione:

Analisi Matematica (4 versioni)

Laboratorio di introduzione alla programmazione

Linguaggi e metodi della matematica (3 versioni)

Algebra (4 versioni)

Calcolo delle probabilità e statistica (3 versioni)

Laboratorio di programmazione concorrente

Sistemi operativi

Comunicazione

Tecnologia dell’informazione e delle comunicazioni nelle organizzazioni

Aspetti giuridici e professionali dell’informatica

Aspetti etici e sociali dell’informatica

Architettura dei sistemi di elaborazione

Costruzione di interfacce

Basi di dati: strutture e algoritmi

Ingegneria del software: laboratorio di progettazione

Linguaggi

Sistemi intelligenti I

Sistemi Operativi e programmazione di rete

 

Letto, approvato e sottoscritto seduta stante.

 

Il segretario   

Il Presidente

 

 

 

 

 

 

 

 


UNIVERSITÀ DEGLI STUDI DI PISA

Anno Accademico 2000-2001

FACOLTÀ DI SCIENZE MAT. FIS. E NAT.

Delibera n. 73

Seduta del 7.6.2001

VERBALE DELLA SEDUTA

DEL CONSIGLIO

DEI CORSI DI STUDIO IN INFORMATICA

Ordine del giorno: 3
Argomento: Regolamento Didattico della nuova Laurea in Informatica

 

O G G E T T O

 

          Il presidente fa notare che il Regolamento Didattico approvato con delibera del CCSI il 24 maggio u.s., e contenente il riconoscimento dei crediti pregressi approvato con delibera del CCSI del 6 aprile u.s., non è conforme alla seconda nota di indirizzo approvata dal Senato Accademico nella seduta dell'8/5/01. Infatti la nota di indirizzo in questione recita:

 

"... Si reitera la forte raccomandazione di prevedere meccanismi di trasferimento ai nuovi corsi il più possibile flessibili, ...

La procedura consiste di due fasi distinte:

1. riformulare in crediti gli ordinamenti didattici dei corsi di studio vecchi (lauree e diplomi universitari) e le carriere degli studenti già iscritti;

2. trasferire i crediti maturati dagli studenti nei vecchi corsi alle nuove lauree e lauree specialistiche.

Per quanto riguarda la fase 1, l'indicazione è quella di pesare in crediti i singoli insegnamenti, in modo che la somma dei crediti degli insegnamenti (esclusa la tesi) previsti per l'intero corso di studio attuale divisa per il numero di anni della durata legale dia un valore compreso tra 55 e 65. In questo modo si vuole, da un lato, tener conto pienamente della carriera pregressa dello studente sia nei corsi di laurea che di diploma; dall'altro si vuole tener conto, seppure in parte, dello sbilanciamento fra durata reale e durata legale dei corsi di studio vigenti..."

 

Riconoscendo una unità didattica per 6 crediti (come deciso nel CCSI del 6 aprile scorso) e dividendo il totale degli esami per il numero degli anni si ottiene un numero minore di 55.

Infatti sommando i crediti riconosciuti e dividendoli per la durata legale dei corsi di studio, si ottiene:

 

Laurea in Scienze dell’Informazione: 32 u.d. per 6 CFU = 192 CFU / 4 anni = 48

Laurea in Informatica = 44 u.d. per 6 CFU = 264 CFU / 5 anni = 52.8

Diploma Universitario in Informatica = 26 u.d. per 6 CFU = 156 CFU / 3 anni = 52

 

I crediti che mancano per arrivare al fatidico numero di 55 per anno sono:

 

 11 per la laurea in Informatica quinquennale

 9 per il Diploma

 28 per Scienze dell'Informazione

 

Il Presidente propone quindi che

-          le unità didattiche della Laurea in Scienze dell’Informazione siano considerate come 7 crediti. Quindi la somma dei crediti degli insegnamenti previsti per l’intero corso di studio (con durata legale di 4 anni) è di 224,

-          le unità didattiche del Diploma Universitario in Informatica siano considerate come 6 crediti escluse quelle relative agli esami di Programmazione I (2 unità didattiche), Analisi matematica I (2 unità didattiche), Algoritmi e strutture dati (2 unità didattiche), Matematica discreta (2 unità didattiche), Calcolo numerico (1 unità didattica), Calcolo delle Probabilità e Statistica Matematica (1 unità didattica), Ricerca Operativa (1 unità didattica), che sono considerate come 7. Quindi la somma dei crediti degli insegnamenti previsti per l’intero corso di studio (con durata legale di 3 anni) è di 167,

-          le unità didattiche della Laurea quinquennale in Informatica siano considerate come 6 crediti escluse quelle relative agli esami di Programmazione I (2 unità didattiche), Analisi matematica I (2 unità didattiche), Algoritmi e strutture dati (2 unità didattiche), Matematica discreta (2 unità didattiche), Analisi Matematica II (1 unità didattica), Fisica Generale I (2 unità didattiche), Logica Matematica (1 unità didattica), Programmazione Matematica I (1 unità didattica), che sono considerate come 7. Quindi la somma dei crediti degli insegnamenti previstiper l’intero corso di studio (con durata legale di 5 anni) è di 277.

 

Con questa riformulazione in crediti della carriera pregressa, il Regolamento Didattico sarebbe in accordo con quanto stabilito con la seconda nota di indirizzo. Il Presidente mette quindi in votazione la proposta che viene approvata all’unanimità.

 

Il Presidente informa che la Commissione Didattica Paritetica di Facoltà ha proposto per tutta la facoltà, per il prossimo anno accademico, un calendario lezioni ed esami che prevede l’inizio del primo semestre al 4 ottobre con 11 settimane di attività didattica prima delle vacanze di Natale. Per rendere il Regolamento Didattico più flessibile nel recepire future proposte della Facoltà, il Presidente propone di modificare il punto:

 

Didattica su semestri.

Ogni anno di corso è articolato su due semestri, ciascuno comprendente almeno 12  settimane di attività didattica.

In:

Didattica su semestri.

Ogni anno di corso è articolato su due semestri.

 

          Il Consiglio approva con 2 contrari e 4 astenuti.

 

Si allega il Regolamento Didattico così modificato.

Letto, approvato e sottoscritto seduta stante.

 

Il segretario   

Il Presidente

 


UNIVERSITÀ DEGLI STUDI DI PISA

Anno Accademico 2000-2001

FACOLTÀ DI SCIENZE MAT. FIS. E NAT.

Delibera n. 74

Seduta del 7.6.2001

VERBALE DELLA SEDUTA

DEL CONSIGLIO

DEI CORSI DI STUDIO IN INFORMATICA

Ordine del giorno: 4
Argomento: Varie ed eventuali

 

O G G E T T O

 

AUTORIZZAZIONI STUDENTI IN MOBILITA'

A seguito della lettera del Dr. F.M. Hartveld Cordinatore Erasmus per l'area Informatica della Vrije Universiteit di Amsterdam, si autorizza lo studente Roberto DE PASCALIS a prolungare la sua permanenza presso la suddetta Università sino 1 luglio per poter terminare il programma di studi e sostenere gli esami finali.

 

PROGETTO SOCRATES - Modifiche al piano di studi

Simone PIVA è autorizzato a modificare come segue il piano di studi presentato al momento della presentazione della candidatura Socrates:

"Interazione uomo-macchina: Programmazione di Interfacce Grafiche" (4I052) al posto di "Interazione uomo-Macchina: Aspetti Ergonomici e Psicologici" (6 crediti ECTS).

 

PROGETTO SOCRATES – Correzione delibera n. 48 del CCSI del 6/4/01

A correzione delle delibere n. 48/02 e n. 48/03 della seduta del 6 aprile u.s., gli esami convalidati agli studenti Simone PIVA, Francesca CUBEDDU e Maurizio ATZORI, devono intendersi sostenuti nell’anno solare 2001 e non 2000, come erroneamente è stato deliberato.

Letto, approvato e sottoscritto seduta stante.

 

Il segretario   

Il Presidente