Università di Pisa Facoltà di Scienze Matematiche Fisiche e Naturali

Transcript

1 Facoltà di Scienze Matematiche Fisiche e Naturali Corso di Laurea Specialistica in Informatica (classe 23/S: Informatica) Corso di Laurea Specialistica in Tecnologie Informatiche (classe 23/S: Informatica) 1 di 5

2 Suggerimenti per gli iscritti alle Lauree Specialistiche in Informatica e Tecnologie Informatiche Con l anno accademico 2009/2010 inizia la disattivazione dei corsi di Laurea Specialistica in Informatica e Tecnologie Informatiche e sono contestualmente attivati i primi anni di nuove lauree magistrali. E impegno del Consiglio aggregato dei corsi di Studio in Informatica, garantire agli studenti che restano iscritti ai Corsi di Laurea Specialistica la possibilità di seguire insegnamenti e sostenere i relativi esami senza eccessivi disagi. Resta ferma, in ogni caso, la possibilità, garantita dal Regolamento Didattico di Ateneo di poter sostenere esami per i tre anni successivi all anno in cui si è frequentato il relativo insegnamento. Insegnamenti Fondamentali Gli esami dei seguenti insegnamenti fondamentali della Laurea Specialistica in Informatica sono sostenibili come indicato nella seguente tabella. Insegnamento CFU Calcolabilità e complessità 9 ATTIVO Compilatori 6 Principi dei Linguaggi di programmazione: tecniche di compilazione (I modulo) Costruzione di interfacce 9 ATTIVO Linguaggi 6 Principi dei Linguaggi di programmazione: tecniche di compilazione (II modulo) Sistemi Intelligenti I 6 Rivolgersi alla Prof.ssa Maria Simi Tecniche di specifica e dimostrazione 6 Modelli di calcolo Laurea Magistrale in Informatica (concordare il programma con il docente) Ottimizzazione combinatoria 6 ATTIVO e reti Matematica computazionale 6 ATTIVO Modelli della Fisica 6 ATTIVO 2 di 5

3 Gli esami dei seguenti insegnamenti fondamentali della Laurea Specialistica in Tecnologie Informatiche sono sostenibili come indicato nella seguente tabella. Insegnamento CFU Architetture Parallele e Distribuite 9 Sistemi ad alte prestazioni e piattaforme abilitanti e Networking Costruzione di interfacce 9 ATTIVO Linguaggi e calcolabilità 6 Rivolgersi al Prof. Egon Börger (*) Laboratorio orientato alle ATTIVO Applicazioni Programmazione Avanzata 6 Programmazione Avanzata Sistemi Intelligenti I 6 Rivolgersi alla Professoressa Maria Simi Ottimizzazione combinatoria 6 ATTIVO e reti Matematica computazionale 6 ATTIVO Modelli della Fisica 6 ATTIVO (*) coloro che non hanno ancora seguito le lezioni Linguaggi e Calcolabilità, possano seguire l insegnamento di Calcolabilità e complessità (AA025) sostenendo il relativo esame. Resta intesa la possibilità di sostenere, in adempienza al Regolamento Didattico d Ateneo, l esame di Linguaggi e Calcolabilità con le modalità pubblicate dal prof. Boerger. 3 di 5

4 Insegnamenti Complementari 1) Restano attivi i seguenti insegnamenti complementari delle lauree specialistiche: Bioinformatica Economia dei sistemi industriali Elaborazione del linguaggio naturale Fondamenti dei linguaggi di programmazione: automi Fondamenti di grafica tridimensionale Informatica per enti pubblici Laboratorio di progettazione software Laboratorio di sistemi informativi economico-aziendali Matematica Computazionale: Laboratorio Metodi e strumenti per la verifica Organizzazione della Produzione e dei sistemi logistici Percezione robotica Progettazione di interfacce e valutazione dell'usabilità Realtà Virtuale Reti mobili: reti ad Hoc e di Sensori Reti Neurali 1 Reti Neurali 2 Semantica e teoria dei tipi Sistemi Intelligenti II Tecniche di Data Mining Tecnologia di convergenza su IP Teoria dei segnali Web Mining ed analisi delle reti sociali 2) Gli esami dei seguenti insegnamenti complementari sono sostenibili frequentando i corrispondenti insegnamenti della classe L-31. Codice Insegnamento Insegnamento corrispondente AA489 Algoritmi per internet e web: crittografia Crittografia AA023 Basi di dati: laboratorio Laboratorio di basi di dati AA052 Complementi di gestione di rete Gestione di Rete AA051 Laboratorio di applicazioni internet Laboratorio di applicazioni internet AA043 Logistica Logistica AA547 Peer to Peer Sistemi Peer to Peer AA042 Simulazione Simulazione AA048 Sistemi Informativi Territoriali Sistemi Informativi Territoriali AA041 Teoria dell'informazione Teoria dell'informazione 4 di 5

5 3) Gli esami dei seguenti insegnamenti complementari sono sostenibili frequentando i corrispondenti insegnamenti delle nuove lauree magistrali. Codice Insegnamento Insegnamento corrispondente AA250 Basi di dati di supporto alle decisioni Sistemi informatici direzionali I modulo-basi di dati di supporto alle decisioni per l Economia e AA022 AA565 AA286 AA353 AA277 AA239 AA021 Basi di dati strutture e algoritmi Reti Mobili Cellulari: reti di terza generazione Sicurezza nelle reti Informatiche 1 Sistemi Informativi Aziendali Applicazioni Parallele e Distribuite Algoritmi per Information Retrieval Introduzione all audio digitale Basi di Dati II: I modulo-basi di dati strutture e algoritmi per l Economia e Reti Mobili Cellulari. Sicurezza delle reti: I modulo-analisi dei rischi informatici Sistemi informatici direzionali II modulo-metodi decisionali guidati dai dati per l Economia e Rivolgersi alla Prof.ssa Linda Pagli Rivolgersi ai docenti di Algoritmica II Rivolgersi al Prof. Francesco Romani Altri esami possono essere sostenuti purché inseriti in un piano di studio approvato dal Consiglio aggregato dei corsi di studio in Informatica. 5 di 5