UNIVERSITA' DEGLI STUDI DI PISA
Delibera n. 38Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
L'anno millenovecentonovantasei il giorno venticinque del mese di marzo alle ore 16.00 presso il Dipartimento di Informatica, si è riunito in seduta ordinaria 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 : Bonuccelli, Capovani, Degano, Gallo, Levi, Luccio, Maggiolo, Montanari, Pagli, Romani, Turini.
Associati: Ambriola, Baiardi, Barbuti, Ghelli, Leoni, Manca, Mancarella, Menchi, Pedreschi, Schiaffino, Simi, Starita.
Ricercatori ed assistenti: Brogi, Corradini, Danelutto, Gabbrielli, Giacobazzi, Ferrari, Masini, Occhiuto, Pelagatti, Ricci, Rossi, Sassone, Scutellà.
Rappr. studenti: Azzi, Basile, Bove, Brodo, Moscariello, Rapisarda, Reho, Testaferrata.
Rappr. non docenti: Mongini
Sono assenti giustificati
Ordinari: Colombini, Galbiati, Modica, Montangero.
Associati: Acqustapace, Amoroso, Antonelli, Attardi, Bevilacqua, Caroti-Ghelli, Cazzaniga, Cornolti, Fidecaro, Passaseo, Rolla, Zanzotto.
Ricercatori e assistenti: Ciuffoletti, Gemignani, Laganà, Leoncini, Molè, Piram, Sperduti.
Rappr. studenti: Mannini
Rappr. non docenti: Orsi
Presiede il Prof. G. Levi
Esercita le funzioni di Segretario il Prof. M.A. Bonuccelli
cont. Del. n. 38/1 del 25.03.96
Il Presidente, constatato 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) Orientamenti
3) Programmazione Didattica a.a. 1996/97
4) Pratiche studenti
5) Programma Erasmus
6) Statistiche sugli esami
7) Giudizi sull'attività didattica di ricercatori
8) Varie ed eventuali
* 9) Trasferimento di titolarietà
* Partecipano i soli professori di ordinari e straordinari.
Il Presidente propone la seguente variazione all'ordine del giorno che viene approvata all'unanimità:
1) Comunicazioni
2) Orientamenti
3) Programmazione Didattica a.a. 1996/97
4) Variazione calendario delle lezioni
5) Pratiche studenti
6 Programma Erasmus
7) Statistiche sugli esami
8) Giudizi sull'attività didattica di ricercatori
9) Congedi e missioni
10) Varie ed eventuali
11) Discussione preliminare sul punto asteriscato
* 12) Trasferimento di titolarietà
* Partecipano i soli professori di ordinari e straordinari.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 39
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 1
Argomento: Comunicazioni
O G G E T T O
Il Presidente comunica quanto segue:
• il Senato Accademico ha approvato la messa a statuto dei Corsi di Laurea in Scienze dei Materiali e in Scienze Ambientali e dei Diplomi in Biologia, Chimica e Metodologie Fisiche;
• ci è stato richiesto di indicare una copertura (per affidamento didattico aggiuntivo) per quei corsi del futuro Corso di Laurea in Scienze Ambientali che afferiscono al nostro Dipartimento (1 corso del settore "Informatica" e 2 corsi del settore "Ricerca Operativa").
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 40
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 2
Argomento: Orientamenti
O G G E T T O
Il Presidente illustra la proposta della Commissione Didattica caratterizzata da un'articolazione che prevede per ogni studente la scelta tra due "major" e un'ulteriore scelta di uno tra un certo numero di "minor" da definirsi.
I "major" sono costituiti ciascuno da 4 UD, in aggiunta alle 6 comuni per tutti nel triennio. Essi sono i seguenti:
Software:
Linguaggi di Programmazione: paradigmi e macchine astratte
Intelligenza artificiale I
Ingegneria del Software II
Basi di Dati e sistemi Informativi II
Sistemi:
Architettura degli Elaboratori III
Sistemi Operativi II
Sistemi di Elaborazione dell'Informazione: reti di calcolatori
Algoritmi e Strutture Dati: algoritmi paralleli e distribuiti
I "minor" sono caratterizzati da al più 4 UD, che possono essere articolate anche in maniera meno rigida rispetto ai "major" (ad es.: 3 UD da scegliere in un gruppo di 6). E' comunque lasciata facoltà agli studenti di presentare un piano di studi senza minor, che verrà discusso dal CCL. Un possibile elenco di "minor" è il seguente:
Algoritmi
Architetture Distribuite
Basi di Dati
Didattica dell'Informatica
Ingegneria del Software
Intelligenza Artificiale
Matematica Computazionale
Ricerca Operativa
Sistemi Operativi
cont. Del. n. 40/1 del 25.03.96
Allo studente restano quindi, come minimo, altre 4 UD da scegliere liberamente, con il vincolo che almeno 3 UD (tra le dodici non comuni del triennio) devono essere di Laboratorio.
I "major" andrebbero implementati come orientamenti nello statuto, mentre i "minor" potrebbero essere articolazioni interne al corso di laurea.
Il Presidente propone di approvare gli orientamenti, rimandando ad un Consiglio successivo l'identificazione dei minors.
I rappresentanti degli studenti propongono in alternativa, di non avere alcuno orientamento, per lasciare maggiore libertà di scelta gli studenti.
Dopo una breve discussione, il Presidente mette in votazione le due proposte in alternativa:
1. Vengono istituiti due orientamenti articolati come segue:
Software:
Linguaggi di Programmazione: paradigmi e macchine astratte
Intelligenza artificiale I
Ingegneria del Software II
Basi di Dati e sistemi Informativi II
Sistemi:
Architetture III
Sistemi Operativi II
Sistemi di elaborazione: reti di calcolatori
Algoritmi e Strutture Dati: algoritmi paralleli e distribuiti
2. Non viene istituito alcun orientamento.
Viene approvata a larghissima maggioranza la proposta numero 1.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 41
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 3
Argomento: Programmazione didattica a.a. 1996/97
O G G E T T O
Il Presidente illustra la proposta di Programmazione Didattica, con le coperture per titolarietà e affidamento sostitutivo, proponendo di discutere in un Consiglio successivo l'allocazione dei corsi sui semestri, le equipollenze e i riconoscimenti per i passaggi.
A - DISATTIVAZIONE CORSI
Il Consiglio delibera all'unanimità di disattivare per l'a.a. 1996/97 i seguenti corsi di Scienze dell'Informazione, in base alle norme transitorie contenute nel nuovo statuto (approvato con delibera n. 36 CCL del 19.03.93):
LINGUAGGI FORMALI E COMPILATORI - A/B
DOCUMENTAZIONE AUTOMATICA
PROGETTO DI SISTEMI NUMERICI -A/B
TEORIA DELL'INFORMAZIONE E TRASMISSIONE
METODI DI APPROSSIMAZIONE
ANALISI NUMERICA
TEORIA E METODI DELL'OTTIMIZZAZIONE
ECONOMIA INDUSTRIALE
SIMULAZIONE
STATISTICA
TEORIA DEI MODELLI
TEORIA DEI SISTEMI
TECNICHE NUMERICHE E ANALOGICHE
BIOELETTRONICA
CIBERNETICA E TEORIA DELL'INFORMAZIONE
COMUNICAZIONI ELETTRICHE
ELETTRONICA
ELETTRONICA APPLICATA
LINGUAGGI SPECIALI DI PROGRAMMAZIONE
TRATTAMENTO DELL'INFORMAZIONE NELL'IMPRESA
TECNICHE DI PROGETTAZIONE AUTOMATICA
TEORIA DEGLI AUTOMI
cont. Del. n. 41/1 del 25.03.96
DIPLOMA UNIVERSITARIO IN INFORMATICA
A - DISATTIVAZIONE CORSI
Il Consiglio delibera all'unanimità di disattivare per l'a.a. 1996/97 i seguenti corsi del Diploma Universitario in Informatica:
LABORATORIO DI INFORMATICA I
LABORATORIO DI INFORMATICA II
FISICA GENERALE
BASI DI DATI E SISTEMI INFORMATIVI
PROGRAMMAZIONE II
INTELLIGENZA ARTIFICIALE
INGEGNERIA DEL SOFTWARE
INTERAZIONE UOMO-MACCHINA: INTERFACCE GRAFICHE
A - ATTIVAZIONE CORSI
In base alle recenti modiche approvate nei Consigli del 25.10.95 e del 06.03.96, al nuovo "Statuto di Diploma in Informatica" (approvato con delibera n. 36 del Consiglio di Corso di Laurea in Scienze dell'Informazione in data 19 marzo 1993) il Consiglio delibera all'unanimità l'attivazione per il Diploma Universitario in Informatica, dei seguenti insegnamenti:
LABORATORIO DI INFORMATICA I - (1 u.d.)
LABORATORIO DI INFORMATICA II - (1 u.d.)
LABORATORIO DI INFORMATICA III - (1 u.d.)
LABORATORIO DI INFORMATICA IV - (1 u.d.)
RICERCA OPERATIVA (1 u.d.)
RICERCA OPERATIVA: organizzazione e gestione aziendale (1 u.d.)
BASI DI DATI E SISTEMI INFORMATIVI (1 u.d.)
INFORMATICA GENERALE: aspetti sociali, etici e professionali (1 u.d.)
INGEGNERIA DEL SOFTWARE (1 u.d.)
SISTEMI DI ELABORAZIONI E DELL'INFORMAZIONE: reti di calcolatori (1 u.d.)
LINGUAGGI DI PROGRAMMAZIONE: classificazione e macchine astratte (1 u.d.)
B - ATTRIBUZIONI DI COMPITI DIDATTICI A TITOLARI DI INSEGNAMENTO
Corso Docente
Programmazione I R. Barbuti (associato)
Sistemi Operativi I M. Bonuccelli (ordinario)
Calcolo Numerico O. Menchi (associato)
Basi di Dati e Sistemi Informativi G. Leoni (associato)
Architettura degli Elaboratori I F. Baiardi (associato)
cont. Del. n. 41/2 del 25.03.96
C - INSEGNAMENTI NON COPERTI PER ASSENZA O PER MANCANZA DEL TITOLARE
Analisi Matematica I
Matematica Discreta
Calcolo delle Prob. e Statistica Matematica
Algoritmi e Strutture Dati I
Laboratorio di Informatica I
Laboratorio di Informatica II
Laboratorio di Informatica III
Laboratorio di Informatica IV
Ricerca Operativa
Ricerca Operativa: organizzazione e gestione aziendale
Informatica Generale: aspetti sociali, etici e professionali
Ingegneria del Software
Linguaggi di Programmazione: classificazione e macchine astratte
Sistemi di Elaborazione e dell'Informazione: reti di calcolatori
MUTUAZIONI
Il corso di "Ingegneria del Software" viene mutuato dal corso di "Ingegneria del Software I - A" del Corso di Laurea in Informatica.
CORSI RIMASTI VACANTI
Per tali corsi il Consiglio unanime chiede la loro pubblicizzazione affinché vengano attribuiti per affidamento didattico aggiuntivo:
Analisi Matematica I
Matematica Discreta
Calcolo delle Prob. e Statistica Matematica
Algoritmi e Strutture Dati I
Laboratorio di Informatica I
Laboratorio di Informatica II
Laboratorio di Informatica III
Laboratorio di Informatica IV
Ricerca Operativa
Ricerca Operativa: organizzazione e gestione aziendale
Informatica Generale: aspetti sociali, etici e professionali
Linguaggi di Programmazione: classificazione e macchine astratte
Sistemi di Elaborazione e dell'Informazione: reti di calcolatori
CORSO DI LAUREA IN INFORMATICA
A - DISATTIVAZIONE CORSI
Il Consiglio delibera inoltre all'unanimità di disattivare per l'a.a. 1996/97 i seguenti corsi del Corso di Laurea in Informatica
cont. Del. n. 41/3 del 25.03.96
LABORATORIO DI INFORMATICA I - A/B
LABORATORIO DI INFORMATICA II - A/B
ALGORITMI E STRUTTURE DATI II - A/B
METODI FORMALI DELL'INFORMATICA - A/B
A - ATTIVAZIONE CORSI
In base alle recenti modiche approvate nei Consigli del 25.10.95 e del 06.03.96, al nuovo "Statuto del Corso di Laurea in Informatica" (approvato con delibera n. 36 del Consiglio di Corso di Laurea in Scienze dell'Informazione in data 19 marzo 1993) il Consiglio delibera all'unanimità l'attivazione per il Corso di Laurea in Informatica, dei seguenti insegnamenti:
ALGEBRA COMPUTAZIONALE (1.u.d.)
ALGORITMI E STRUTTURE DATI: algoritmi paralleli e distribuiti (1 u.d.)
APPRENDIMENTO AUTOMATICO (1 u.d.)
ARCHITETTURA DEGLI ELABORATORI II: architetture parallele e distribuite - A/B (1 u.d.)
ARCHITETTURA DEGLI ELABORATORI III (1 u.d.)
BASI DI DATI E SISTEMI INFORMATIVI I - A/B (1 u.d.)
BASI DI DATI E SISTEMI INFORMATIVI: laboratorio(1 u.d.)
BASI DI DATI E SISTEMI INFORMATIVI: basi di dati distribuite e parallele(1 u.d.)
BASI DI DATI E SISTEMI INFORMATIVI II (1 u.d.)
ECONOMIA DEI SISTEMI INDUSTRIALI (1 u.d.)
ELETTRONICA(1 u.d.)
ELETTRONICA dei SISTEMI DIGITALI (1 u.d.)
FISICA GENERALE: modelli della fisica (1 u.d.)
FONDAMENTI DELL'INFORMATICA: calcolabilità e complessità - A/B (1 u.d.)
FONDAMENTI DELL'INFORMATICA: linguaggi formali e automi (1 u.d.)
FONDAMENTI DELL'INFORMATICA: semantica - A/B (1 u.d.)
FONDAMENTI DELL'INFORMATICA: semantica della concorrenza (1 u.d.)
INFORMATICA GENERALE: aspetti sociali, etici e professionali (1 u.d.)
INFORMATICA GENERALE: didattica dell'informatica (1 u.d.)
INFORMATICA GRAFICA: laboratorio di realtà virtuale(1 u.d.)
INFORMATICA TEORICA: calcolabilità (1 u.d.)
INFORMATICA TEORICA: metodi algebrici (1 u.d.)
INGEGNERIA DEL SOFTWARE I - A/B (1 u.d.)
INGEGNERIA DEL SOFTWARE: laboratorio di progettazione (1 u.d.)
INGEGNERIA DEL SOFTWARE: metodi di specifica (1 u.d.)
INGEGNERIA DELLA CONOSCENZA E SISTEMI ESPERTI (1 u.d.)
INTELLIGENZA ARTIFICIALE (1 u.d.)
INTELLIGENZA ARTIFICIALE: laboratorio (1 u.d.)
interazione uomo-macchina: fondamenti di computer graphics (1 u.d.)
interazione uomo-macchina: laboratorio di interfacce grafiche (1 u.d.)
ISTITUZIONI DI ALGEBRA SUPERIORE: codici (1 u.d.)
LABORATORIO DI INFORMATICA I - A/B (1 u.d.)
LABORATORIO DI INFORMATICA II - A/B (1 u.d.)
LABORATORIO DI INFORMATICA III - A/B (1 u.d.)
LABORATORIO DI INFORMATICA IV - A/B (1 u.d.)
cont. Del. n. 41/4 del 25.03.96
LINGUAGGI DI PROGRAMMAZIONE: paradigmi e macchine astratte (1 u.d.)
LINGUAGGI DI PROGRAMMAZIONE: linguaggi formali e compilatori A/B (1 u.d.)
LINGUAGGI DI PROGRAMMAZIONE: linguaggi funzionali (1 u.d.)
LINGUAGGI DI PROGRAMMAZIONE: linguaggi logici (1 u.d.)
LOGICA MATEMATICA (1 u.d.)
MATEMATICA COMPUTAZIONALE (1 u.d.)
MATEMATICA COMPUTAZIONALE: calcolo parallelo (1 u.d.)
MATEMATICA COMPUTAZIONALE: geometria computazionale (1 u.d.)
MATEMATICA COMPUTAZIONALE: laboratorio (1 u.d.)
MATEMATICA COMPUTAZIONALE: problemi differenziali (1 u.d.)
ORGANIZZAZIONE DELLA PRODUZIONE E DEI SISTEMI LOGISTICI (1 u.d.)
OTTIMIZZAZIONE COMBINATORIA (1 u.d.)
PROGRAMMAZIONE: laboratorio di programmazione logica (1 u.d.)
PROGRAMMAZIONE: metodi formali (1 u.d.)
PROGRAMMAZIONE MATEMATICA II (1 u.d.)
RETI NEURALI (1 u.d.)
RETI NEURALI: laboratorio di sistemi ibridi (1 u.d.)
RICERCA OPERATIVA: tecniche di simulazione (1 u.d.)
SISTEMI DI ELABORAZIONE DELL'INFORMAZIONE: reti di calcolatori (1 u.d.)
SISTEMI DI ELABORAZIONE DELL'INFORMAZIONE: sistemi a parallelismo massiccio (1 u.d.)
SISTEMI DI ELABORAZIONE DELL'INFORMAZIONE: laboratorio di sistemi a parallelismo massiccio (1 u.d.)
STATISTICA MATEMATICA (1 u.d.)
TEORIA DEI SEGNALI (1 u.d.)
TEORIA DEI SISTEMI (1 u.d.)
B - ATTRIBUZIONI DI COMPITI DIDATTICI A TITOLARI DI INSEGNAMENTO
Corso Docente
Analisi Matematica I - A L. Modica (ordinario)
Analisi Matematica I - B F. Colombini (ordinario)
Analisi Matematica II - A D. Passaseo (associato)
Analisi Matematica II - B P. Acquistapace (associato)
Matematica Discreta - A F. Amoroso (associato)
Programmazione I - A P Mancarella (associato)
Programmazione I - B D. Pedreschi (associato)
Algoritmi e Strutture Dati I - A F. Luccio (ordinario)
Algoritmi e Strutture Dati I - B L. Pagli (ordinario)
Architettura degli Elaboratori I - A S. Antonelli (associato)
Architettura degli Elaboratori I - B M. Vanneschi (ordinario)
Sistemi Operativi I - A P. Maestrini (ordinario)
Sistemi Operativi I - B E. Morreale (associato)
Analisi Numerica - B R. Bevilacqua (associato)
Programmazione Matematica - A G. Gallo (ordinario)
Fisica Generale I - A F. Fidecaro (associato)
Fisica Generale I - B C. Bradaschia (associato)
Fisica Generale II - A F. Cornolti (associato)
cont. Del. n. 41/5 del 25.03.96
Calcolo delle Probabilità - A P. A. Zanzotto (associato)
Basi di Dati e Sistemi Informativi I - A A. Albano (ordinario)
Basi di Dati e Sistemi Informativi I - B G. Ghelli (associato)
Ingegneria del Software I - A V. Ambriola (associato)
Linguaggi di Programmazione :
linguaggi formali e compilatori - A M. Bellia (associato)
Linguaggi di Programmazione :
linguaggi formali e compilatori - B A. Maggiolo (ordinario)
Intelligenza Artificiale I M. Simi (associato)
Linguaggi di programmazione: paradigmi e
macchine astratte G. Levi (ordinario)
Interazione uomo-macchina: fondamenti
di computer graphics G. Attardi (associato)
Matematica Computazionale I M. Capovani (ordinario)
Reti Neurali A. Starita (associato)
Elettronica dei Sistemi Digitali M. Schiaffino (associato)
C - INSEGNAMENTI NON COPERTI PER ASSENZA O PER MANCANZA DEL TITOLARE
Algebra Computazionale
Algoritmi e Strutture Dati: algoritmi paralleli e distribuiti
Analisi Numerica - A
Apprendimento Automatico
Architettura degli Elaboratori III
Architettura degli Elaboratori II: parallele e distribuite - A/B
Basi di Dati e Sistemi Informativi II
Basi di Dati e Sistemi Informativi: laboratorio
Basi di Dati e Sistemi Informativi: basi di dati distribuite e parallele
Calcolo delle Probabilità - B
Economia dei Sistemi Industriali
Elettronica
Fisica Generale II -B
Fisica Generale: modelli della Fisica
Fondamenti dell' Informatica: calcolabiltà e complessità - A/B
Fondamenti dell' Informatica: semantica - A/B
Fondamenti dell'Informatica: linguaggi formali e automi
Fondamenti dell'Informatica: semantica della concorrenza
Informatica Generale: aspetti sociali, etici e professionali
Informatica Generale: didattica dell'informatica
Informatica Grafica: laboratorio di realtà virtuale
Informatica Teorica: calcolabilità
Informatica Teorica: metodi algebrici
Ingegneria del Software I - B
Ingegneria del Software: laboratorio di progettazione
Ingegneria del Software: metodi d specifica
Ingegneria della Conoscenza e Sistemi Esperti
Intelligenza Artificiale: laboratorio
cont. Del. n. 41/6 del 25.03.96
Interazione uomo-macchina: laboratorio di interfacce grafiche
Istituzioni di Algebra Superiore: codici
Laboratorio di Informatica I - A/B
Laboratorio di Informatica II - A/B
Laboratorio di Informatica III - A/B
Laboratorio di Informatica IV - A/B
Linguaggi di Programmazione: linguaggi logici
Logica Matematica
Logica Matematica - A/B
Matematica Discreta - B
Matematica Computazionale: calcolo parallelo
Matematica Computazionale: geometria computazionale
Matematica Computazionale: laboratorio
Matematica Computazionale: problemi differenziali
Organizzazione della Produzione e dei Sistemi Logistici
Ottimizzazione Combinatoria
Programmazione: laboratorio di programmazione logica
Programmazione: metodi formali
Programmazione Matematica II
Programmazione Matematica - B
Reti Neurali: laboratorio di sistemi ibridi
Ricerca Operativa: tecniche di simulazione
Sistemi di Elaborazione dell'Informazione: reti di calcolatori
Sistemi di Elaborazione dell'Informazione: sistemi a parallelismo massiccio
Sistemi di Elaborazione dell'Informazione: laboratorio di sistemi a parallelismo massiccio
Statistica Matematica
Teoria dei Segnali
Teoria dei Sistemi
Teoria dell'Informazione - A/B
D - AFFIDAMENTI DIDATTICI SOSTITUTIVI
Logica Matematica -A
Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo del corso A di questo insegnamento, al Prof. V. Manca, professore associato di Algoritmi e Strutture Dati.
Si propone di dichiarare il settore della Logica Matematica affine a quello di Informatica in quanto tali settori hanno molti intersezioni culturali.
Fondamenti dell'Informatica: semantica - A
Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo del corso A di questo insegnamento, al Prof. Pierpaolo Degano, professore ordinario di Linguaggi di Programmazione.
Fondamenti dell'Informatica: semantica - B
Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo del corso B di questo insegnamento, al Prof. Franco Turini, professore ordinario di Metodi Formali dell'Informatica.
cont. Del. n. 41/7 del 25.03.96
Ingegneria del Software I - B
Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo del corso B di questo insegnamento, al Prof. Egon Boerger professore ordinario di Metodi Formali dell'Informatica.
Teoria dell'Informazione -A
Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo del corso A di questo insegnamento, al Prof. F. Romani, professore ordinario di Algoritmi e Strutture Dati.
Si propone di dichiarare il settore della Cibernetica affine a quello di Informatica in quanto tali settori hanno molti intersezioni culturali.
Economia dei Sistemi Industriali
Il Consiglio, conosciuta la disponibilità dell'interessata, approva l'affidamento didattico sostitutivo di questo insegnamento, alla Prof. D. Cazzaniga, professore associato di Economia Industriale.
Si propone di dichiarare il settore della Ingegneria Economica e Gestionale affine a quello di Economia dei Settori Produttivi in quanto tali settori hanno molti intersezioni culturali.
Informatica Teorica: metodi algebrici
Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. G. Germano professore ordinario di Algortimi e Strutture Dati.
Statistica Matematica
Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. F. Caroti-Ghelli professore associato di Statistica.
MUTUAZIONI
Il corso di "Algebra Computazionale" viene mutuato dal corso di "Algebra Superiore" del Corso di Laurea di Matematica.
Il corso di "Matematica Computazionale: problemi differenziali" viene mutuato dal corso di "Calcolo Numerico" del Corso di Laurea di Matematica.
Il corso di "Istituzioni di Algebra Superiore: codici" viene mutuato dal corso di "Istituzioni di Algebra Superiore - 2 modulo" del Corso di Laurea di Matematica.
Il corso di "Logica Matematica" viene mutuato dal corso di "Logica Matematica" del Corso di Laurea di Matematica.
Il corso di "Informatica Generale: aspetti sociali, etici e professionali" viene mutuato dal corso di "Informatica Generale: aspetti sociali, etici e professionali" del Diploma Universitario in Informatica.
cont. Del. n. 41/8 del 25.03.96
Il corso di "Sistemi di Elaborazione dell'Informazione: reti di calcolatori" viene mutuato dal corso di "Sistemi di Elaborazione dell'Informazione: reti di calcolatori" del Diploma Universitario in Informatica.
E - CORSI RIMASTI VACANTI
Per tali corsi il Consiglio unanime chiede la loro pubblicizzazione affinché vengano attribuiti per affidamento didattico aggiuntivo:
Algoritmi e Strutture Dati: algoritmi paralleli e distribuiti
Analisi Numerica - A
Apprendimento Automatico
Architettura degli Elaboratori III
Architettura dgli Elaboratori II: architetture parallele e distribuite - A/B
Basi di Dati e Sistemi Informativi II
Basi di Dati e Sistemi Informativi: laboratorio
Basi di Dati e Sistemi Informativi: basi di dati distribuite e parallele
Calcolo delle Probabilità - B
Elettronica
Fisica Generale II -B
Fisica Generale: modelli della Fisica
Fondamenti dell' Informatica: calcolabiltà e complessità - A/B
Fondamenti dell'Informatica: linguaggi formali e automi
Fondamenti dell'Informatica: semantica della concorrenza
Informatica Generale: didattica dell'informatica
Informatica Grafica: laboratorio di realtà virtuale
Informatica Teorica: calcolabilità
Ingegneria del Software: laboratorio di progettazione
Ingegneria del Software: metodi d specifica
Ingegneria della Conoscenza e Sistemi Esperti
Intelligenza Artificiale: laboratorio
Interazione uomo-macchina: laboratorio di interfacce grafiche
Laboratorio di Informatica I - A/B
Laboratorio di Informatica II - A/B
Laboratorio di Informatica III - A/B
Laboratorio di Informatica IV - A/B
Linguaggi di Programmazione: linguaggi logici
Logica Matematica - B
Matematica Discreta - B
Matematica Computazionale: calcolo parallelo
Matematica Computazionale: geometria computazionale
Matematica Computazionale: laboratorio
Organizzazione della Produzione e dei Sistemi Logistici
Ottimizzazione Combinatoria
Programmazione: laboratorio di programmazione logica
Programmazione: metodi formali
Programmazione Matematica II
Programmazione Matematica - B
Reti Neurali: laboratorio di sistemi ibridi
cont. Del. n. 41/9 del 25.03.96
Ricerca Operativa: tecniche di simulazione
Sistemi di Elaborazione dell'Informazione: sistemi a parallelismo massiccio
Sistemi di Elaborazione dell'Informazione: laboratorio di sistemi a parallelismo massiccio
Teoria dei Segnali
Teoria dei Sistemi
Teoria dell'Informazione - B
La proposta viene messa in votazione ed approvata con 4 astenuti.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 42
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 4
Argomento: Variazione calendario delle lezioni
O G G E T T O
Il Presidente rimette in votazione la variazione al calendario accademico dovuta alle prossime elezioni politiche. Tale richiesta è dovuta alla mozione presentata dai rappresentanti degli studenti, per la quale sono state raccolte 764 firme, di sospendere l'attività didattica dal 4 fino al 22 aprile senza alcuna interruzione.
La proposta degli studenti viene quindi messa in votazione ed approvata con 8 astenuti.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 43
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 5
Argomento: Pratiche studenti
O G G E T T O
PROGETTO ERASMUS: sostituzione di corsi
Luciano LALLI è autorizzato a sostenere presso la Chalmers University di Goterborg (Svezia):
"Numerical Analysis" per "Calcolo Numerico".
Approvato all'unanimità.
RETTIFICA DELIBERE
Risca Filippo - proveniente da Scienze dell'Informazione (Pisa).
Si rettficano le delibere n. 4/3 del 18.12.95 e 33 del 26.02.96.
Si ammette al 3° anno sotto condizione del Corso di Laurea in Informatica.
Approvato all'unanimità.
Degl'Innocenti Giacomo - proveniente da Ingegneria Aereonutica (Pisa).
Si rettifica la delibera n. 19/2 del 26.01.96.
Si ammette al 2° anno del Corso di Laurea in Informatica.
Approvato all'unanimità.
APPROVAZIONE ESAMI COMPLEMENTARI
Errante MariaAntonietta - si approva l'inserimento degli esami di "Documentazione Automatica" e "Teoria dei Modelli" nel piano di studi a statuto. Successivamente dovrà essere presentato u piano di studi personale.
ABBREVIAZIONI
Barbaranelli Walter - da Accademia Militare di Modena e Scuola di Applicazione Militare di Torino.
Si ammette al 3° anno del corso di Laurea in Informatica sotto condizione.
Si convalidano "Analisi matematica I" per idem, "Geometria" e "Algebra" per "Matematica Discreta", "Fisica I" per "Fisica Generale I", "Analisi Matematica II" per idem (1 UD), "Fisica II" per "Fisica Generale II (1 UD)", "Teoria ed Applicazione delle Macchine Calcolatrici" per "Programmazione I" previo colloquio, "Calcolo delle
cont. Del. n. 43/1 del 25.03.96
Probabilità e Statistica" per "Calcolo delle Probabilità (1 UD)", "Sistemi per l'Elaborazione dell'informazione I" per "Architettura degli Elaboratori I" previo colloquio, "Ricerca operativa e gestione aziendale" per "Programmazione Matematica (1 UD)", "Sistemi per l'Elaborazione dell'informazione II" per "Sistemi Operativi e Laboratorio di Informatica II" previo colloquio e previo superamento della prova di laboratorio, "Calcolo Numerico" per "Analisi Numerica", previo colloquio integrativo, "Teoria dell’Informazione e della Trasmissione" per "Teoria dell’Informazione (1UD)".
Gli esami di Fisica Generale II, Calcolo delle Probabilità, Programmazione Matematica, Analisi Numerica, Teoria dell’Informazione, potranno essere registrati solo dopo che lo studente avrà ottenuto l’iscrizione al 3° anno.
Per un’eventuale riconoscimento degli esami di Elettronica e Comunicazioni Elettriche si deve attendere l’attivazione di un corso corrispondente nel corso di Laurea in Informatica.
Sarti Leonardo - da Accademia Militare di Modena e Scuola di Applicazione Militare di Torino.
Si ammette al 3° anno del corso di Laurea in Informatica sotto condizione.
Si convalidano "Analisi matematica I" per idem, "Geometria" e "Algebra" per "Matematica Discreta", "Fisica I" per "Fisica Generale I", "Analisi Matematica II" per idem (1 UD), "Fisica II" per "Fisica Generale II (1 UD)", "Teoria ed Applicazione delle Macchine Calcolatrici" per "Programmazione I" previo colloquio, "Calcolo delle Probabilità e Statistica" per "Calcolo delle Probabilità (1 UD)", "Sistemi per l'Elaborazione dell'informazione I" per "Architettura degli Elaboratori I" previo colloquio, "Ricerca operativa e gestione aziendale" per "Programmazione Matematica (1 UD)", "Sistemi per l'Elaborazione dell'informazione II" per "Sistemi Operativi e Laboratorio di Informatica II" previo colloquio e previo superamento della prova di laboratorio, "Calcolo Numerico" per "Analisi Numerica", previo colloquio integrativo, "Teoria dell’Informazione e della Trasmissione" per "Teoria dell’Informazione (1UD)".
Gli esami di Fisica Generale II, Calcolo delle Probabilità, Programmazione Matematica, Analisi Numerica, Teoria dell’Informazione, potranno essere registrati solo dopo che lo studente avrà ottenuto l’iscrizione al 3° anno.
Per un’eventuale riconoscimento degli esami di Elettronica e Comunicazioni Elettriche si deve attendere l’attivazione di un corso corrispondente nel corso di Laurea in Informatica.
PASSAGGI
Grasso Natalina - proveniente da Matematica (Pisa).
Si ammette al 2
o anno del Corso di Laurea in Informatica. Si convalida "Analisi Matematica I" per idem.EQUIPOLLENZE
Il Consiglio unanime approva l'equipollenza fra l'esame di "Trattamento dell'Informazione nell'Impresa" e l'esame di "Complementi di Gestione Aziendale"del corso di laurea in Scienze dell'Informazione.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 44
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 6
Argomento: Programma Erasmus
O G G E T T O
Il Consiglio ritiene opportuno dal prossimo anno accademico estendere agli studenti del corso di Laurea in Informatica la possibilità di usufruire di borse di studio Erasmus e di conseguenza propone di rivedere come segue i criteri di partecipazione, già definiti nella precedente delibera n. 18 del 28.01.94:
"Nel mese di Marzo si terrà una riunione degli interessati, cui verranno fornite le informazioni disponibili sulle sedi estere, e illustrate le regole seguenti.
Le domande dovranno essere presentate entro trenta giorni dal bando, che verrà emesso subito dopo la riunione informativa. Potranno partecipare gli studenti del Corso di Laurea in Scienze dell'Informazione iscritti al terzo o quarto anno o primo o secondo fuori corso e gli studenti del Corso di Laurea in Informatica iscritti al terzo, quarto, quinto anno o primo o secondo fuori corso che abbiano superato i due terzi degli esami previsti dal piano di studi per l'anno cui sono iscritti.
In base alle domande verrà stabilita una graduatoria di chiamata, tenendo conto della media e del numero di esami superati, e della conoscenza della lingua del paese preferito. Questa graduatoria sarà utilizzata per verificare la possibilità di trovare una sede soddisfacente, rispetto al riconoscimento dei corsi da seguire, fino ad esaurimento dei posti a disposizione. La graduatoria riguarderà sia le borse del PIC di Informatica che quelle dei PIC di Matematica, qualora vi siano posti disponibili, che eventuali borse non utilizzate in altri PIC."
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 45
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 7
Argomento: Statistiche sugli esami
O G G E T T O
Il Presidente introduce il problema delle modalità di rilevamento degli "esami non conclusi" e della utilizzazione dei dati relativi.
In alcuni interventi si sostiene che dati cosi ottenuti non sono significativi. I rappresentanti degli studenti sostengono invece che disporre di queste informazioni possa essere utile. Luccio propone di superare il problema con un questionario relativo agli esami.
Si apre una discussione sull'opportunità di tenere tale questionario separato da quello di valutazione del corso. Si verifica un generale consenso su questa posizione.
Il Presidente chiede comunque al Consiglio di esprimersi sulla possibilità di raccogliere ed elaborare i dati relativi agli "esami non conclusi".
La proposta viene approvata a larga maggioranza con 3 astenuti e 6 contrari.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 46
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 8
Argomento: Giudizi sull'attività didattica dei Ricercatori
O G G E T T O
FRANCESCA ROSSI
A richiesta dell'interessata il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Francesca Rossi ricercatrice confermata presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1992/1996 presso il Corso di Laurea in Scienze dell'Informazione. Nel corso di tale periodo ha svolto:
- Esercitazioni dei corsi di "Sistemi di Elaborazione dell'Informazione I" corsi B e C per gli anni accademici 1992-93 e 1993-94;
- Esercitazioni del corso di "Architettura degli Elaboratori I" corso B per l'a.a. 1994-95 (Corso di Laurea in Informatica);
- Corso sulle grammatiche per grafi e la programmazione concorrente con vincoli per il Dottorato di Ricerca in Informatica per il Dipartimento di Informatica di Pisa;
- corso in affidamento e esercitazioni del corso di "Architettura degli Elaboratori I - B" per l'a.a. 1995/96 (Corso di Laurea in Informatica);
- è stata relatrice e controrelatrice di numerose tesi di Laurea.
Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dalla Dott.ssa F. Rossi.
Approvato all'unanimità.
MARIA GRAZIA SCUTELLA'
A richiesta dell'interessata il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Maria Grazia Scutellà ricercatrice confermata presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1992/1996 presso il Corso di Laurea in Scienze dell'Informazione:
- esercitazioni dei corsi di "Ricerca Operativa e Gestione Aziendale" corsi A per gli anni accademici 1991-92, 1992-93 e 1993-94;
- ha tenuto seminari e cicli di lezioni integrativi per il corso di "Teoria e Metodi dell'Ottimizzazione" durante gli anni accademici 1993-94, 1994-95 e 1995/96;
cont. Del. n. 46/1 del 25.03.96
- affidamento del corso di "Programmazione Matematica - B" per il Corso di Laurea in Informatica nell'a.a. 1995/96;
- ha tenuto cicli di lezioni integrativi su "Problemi di Flusso su Ipergrafi" per alcuni corsi di Dottorato attivi presso l'Università di Pisa;
- è stata relatrice e controrelatrice di numerose tesi di Laurea;
- attualmente fa parte della commissione piani di studio
Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dalla Dott.ssa M.G. Scutellà.
Approvato all'unanimità.
GIANLUIGI FERRARI
A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Gianluigi Ferrari ricercatore confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1992/1996 presso il Corso di Laurea in Scienze dell'Informazione:
- nel corso di tale periodo ha svolto le esercitazioni per il corso di "Teoria e Applicazioni delle Macchine Calcolatrici - corsi A e B" durante l’anno accademico 1992/93 partecipando anche alla stesura di una raccolta di esercizi e delle note per il corso;
- ha tenuto le esercitazioni ed il corso integrativo per il corso di "Metodi per il Trattamento dell'Informazione - A", e un ciclo di lezioni ed esercitazioni per il corso di "Metodi per il Trattamento dell'Informazione - B" durante gli anni accademici 1993/94 e 1994/95;
- affidamento didattico aggiuntivo per il corso di "Programmazione II" del Diploma Univeristario in Informatica, durante l'a.a. 1995/96;
- è stato relatore e controrelatore di numerose tesi di Laurea;
Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. G. Ferrari.
Approvato all'unanimità.
ANDREA CORRADINI
A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Andrea Corradini ricercatore confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1992/1996 presso il Corso di Laurea in Scienze dell'Informazione:
- nel corso di tale periodo ha svolto le esercitazioni per il corso di "Teoria e Applicazioni delle Macchine Calcolatrici" durante l’anno accademico 1992/93 partecipando anche alle commissioni degli esami di profitto;
- ha svolto le esercitazioni per il corso di "Programmazione I" durante gli anni accademici 1993/94 e 1994/95 partecipando anche alle commissioni degli esami di profitto;
cont. Del. n. 46/2 del 25.03.96
- Corso sulle grammatiche per grafi e la programmazione concorrente con vincoli per il Dottorato di Ricerca in Informatica per il Dipartimento di Informatica di Pisa;
- ha svolto le esercitazioni per il corso di "Programmazione I - A/C" durante l'a.a. 1995/96 partecipando anche alle commissioni degli esami di profitto;
- è stato relatore e controrelatore di numerose tesi di Laurea;
- inoltre ha fatto parte della "Commissione pratiche studenti".
Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. A. Corradini.
Approvato all'unanimità.
LUCA GEMIGNANI
A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Luca Gemignani ricercatore confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1992/1996 presso il Corso di Laurea in Informatica:
- nel corso di tale periodo ha svolto le esercitazioni per il corso di "Calcolo Numerico" per il Corso di Diploma Universitario in Informatica.
Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. L. Gemignani.
Approvato all'unanimità.
FEDERICO MALUCELLI
A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Federico Malucelli ricercatore confermato presso il corso di Laurea in Ingegneria Elettronica dell'Università di Perugia, per le seguenti funzioni svolte nel periodo 1990/1994 presso il Corso di Laurea in Scienze dell'Informazione:
- nel corso di tale periodo ha svolto le esercitazioni per il corso di "Ricerca Operativa e Gestione Aziendale" dall'anno accademico 1990/91 all'anno accademico 1993/94 partecipando anche alla commissione d'esame di tale corso;
- ha tenuto seminari e corsi integrativi per il corso di "Teoria dei Modelli" dall'anno accademico 1989/90 all'anno accademico 1994/95 partecipando anche alla commissione d'esame di tale corso
- è stato relatore e controrelatore di numerose tesi di Laurea.
Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. F. Malucelli.
Approvato all'unanimità.
cont. Del. n. 46/3 del 25.03.96
CARLA MANNI
A richiesta dell'interessata il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Carla Manni ricercatrice confermato presso il corso di Laurea in Ingegneria dell'Università di Firenze, per le seguenti funzioni svolte nel periodo 1990/1994 presso il Corso di Laurea in Scienze dell'Informazione:
- nel corso di tale periodo ha svolto le esercitazioni per il corso di "Calcolo Numerico" dall'anno accademico 1990/91 all'anno accademico 1993/94 partecipando anche alla commissione d'esame di tale corso.
Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dalla Dott.ssa C. Manni.
Approvato all'unanimità.
ELISABETTA FORTUNA
A richiesta dell'interessata il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Elisabetta Fortuna ricercatrice confermata presso il Dipartimento di Matematica, per le funzioni svolte nei seguenti periodi presso il Corso di Laurea in Scienze dell'Informazione ed in Informatica:
- Corsi di esercitazioni di "Geometria" per il Corso di Laurea in Scienze dell'Informazione negli anni accademici 1978-79, 1982-83, 1983-84, 1984-85, 1985-86 e di "Matematica Discreta - B" per Corso di Laurea in Informatica negli anni accademici 1993-94 e 1994-95 facendo parte delle relative commissioni d'esame.
- Titolare per supplenza dei corsi di "Algebra - C" anno accademico 1991-92, "Geometria - A" anno accademico 1992-93 per il Corso di Laurea in Scienze dell'Informazione, di "Matematica Discreta - B" anno accademico 1993-94 per il Corso di Laurea in Informatica e di "Matematica Discreta - C" anno accademico 1995-96 per il Diploma Universitario in Informatica
Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dalla Dott.ssa E. Fortuna.
Approvato all'unanimità.
ROBERTO SCOPIGNO
A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Roberto Scopigno ricercatore presso il CNUCE per le seguenti attività svolte presso il Corso di Laurea in Scienze dell'Informazione nell'ambito della Convenzione Università di Pisa-CNR:
- Corso di "Informatica Grafica" integrativo di Elaborazioni di Immagini tenuto dal Prof. Giuseppe Attardi per l'a.a. 1994/95 per il corso di laurea in Scienze dell'Informazione.
Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. Roberto Scopigno.
Approvato all'unanimità.
cont. Del. n. 46/4 del 25.03.96
MASSIMO FERRAROTTI
A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Massimo Ferrarotti ricercatore confermato presso il Dipartimento di Matematica, per le funzioni svolte nei seguenti periodi presso il Corso di Laurea in Scienze dell'Informazione ed in Informatica:
- Corsi di esercitazioni di "Geometria" per il Corso di Laurea in Scienze dell'Informazione negli anni accademici 1981-82, 1986-87, 1987-88, 1988-89, 1989-90, 1990-91 e di "Matematica Discreta" per il Corso di Laurea in Informatica nell'anno accademico 1995-96 facendo parte delle relative commissioni d'esame.
- Titolare per supplenza del corso di "Matematica Discreta - B" anno accademico 1994-95, per il Corso di Laurea in Informatica.
Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. M. Ferrarotti
Approvato all'unanimità.
RITA GIULIANO
A richiesta dell'interessata il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Rita Giuliano ricercatrice confermata presso il Dipartimento di Matematica, per le funzioni svolte nei seguenti periodi presso il Corso di Laurea in Scienze dell'Informazione ed in Informatica:
- Corsi di esercitazioni di "Calcolo delle Probabilità e Statistica - A" per il Corso di Laurea in Scienze dell'Informazione negli anni accademici 1981-82, 1982-83, 1983-84, 1984-85, 1985-86 e 1986-87 e di "Calcolo delle Probabilità e Statistica - A e C" negli anni accademici 1987-88, 1988-89, 1990-91, 1991-92 e 1992-93 e di"Analisi Matematica 1- B" negli anni accademici 1993-94, 1994-95 e 1995-96 per il Corso di Laurea in Informatica facendo parte delle relative commissioni d'esame.
- Titolare per supplenza dei corsi di "Calcolo delle Probabilità e Statistica - B" anno accademico 1991-92, "Calcolo delle Probabilità e Statistica - C" anno accademico 1992-93 e 1993-94 e "Analisi Matematica II - C" anno accademico 1994-95 per il Corso di Laurea in Scienze dell'Informazione, di "Calcolo delle Probabilità - B" anno accademico 1995-96 per il Corso di Laurea in Informatica.
Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dalla Dott.ssa R. Giuliano.
Approvato all'unanimità.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 47
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 9
Argomento: Congedi e missioni
O G G E T T O
NULLA-OSTA CONGEDO PER ALTERNANZA
Carlo Montangero, professore ordinario di "Programmazione", ha richiesto il nulla-osta per un congedo per alternanza, per motivi di studio e ricerca, a norma dell'art. 17 del DPR 382/80, da usufruire nell'a.a.1996/97.
Il prof. Montangero intende svolgere attività di ricerca relativa al processo di sviluppo software presso la società Intecs Sistemi di Pisa e effettuando una serie di visite presso Università europee e in particolare presso il Dipartimento di Informatica dell'Università d Lisbona.
Il Consiglio delibera il nulla osta al congedo, in quanto si prevede di coprire il corso tenuto dal prof. Montangero con affidamento didattico sostitutivo.
Approvato all'unanimità.
NULLA-OSTA CONGEDO PER MOTIVI DI STUDIO
Ugo Montanari, professore ordinario di "Metodi Formali dell'Informatica", ha richiesto il nulla-osta per un congedo per motivi di studio , a norma dell'art. 10 legge 311 del 1958, da usufruire nell'a.a.1996/97.
Il prof. Montanari intende recarsi presso l'Istituto di Ricerca SRI International, Menlo Park, Laboratorio di Computer Science California (USA).
Il Consiglio delibera il nulla osta al congedo, in quanto si prevede di coprire il corso tenuto dal prof. Montanari con affidamento didattico sostitutivo.
Approvato all'unanimità.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 48
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 10
Argomento: Varie ed eventuali
O G G E T T O
Nessun argomento da discutere.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 49
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 11
Argomento: Discussione preliminare sul punto asteriscato
O G G E T T O
Il Prof. Luccio spiega che ha richiesto il cambiamento di titolarietà da "Algoritmi e Strutture Dati" a "Sistemi di Elaborazione dell'Informazione" in quanto convinto che il Consiglio, con le sue decisioni prese a maggioranza sui nuovi corsi fondamentali, abbia inteso affermare che "Algoritmi e Strutture Dati" non è un settore autonomo, ma soltanto il titolo di un corso.
Il Presidente, sicuro di interpretare anche il sentire dell'intero Consiglio, ribadisce che "Algoritmi e Strutture Dati" è un settore di importanza fondamentale per questo Corso di Laurea e invita il Prof. Luccio a rinunciare alla propria richiesta.
Il Prof. Luccio prende atto dell'atteggiamento unanimamente espresso dal Consiglio e accetta l'invito del Presidente ritirando la domanda di cambiamento di titolarietà.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 50
Anno Accademico 1995-1996 Seduta del 25.03.96
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 12
Argomento: Trasferimento di titolarietà
O G G E T T O
Nessun argomento da discutere.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente