UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 38

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

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 2o 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