|
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
-
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.
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).
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 |