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 2010/2011 sono stati disattivati gli insegnamenti dei corsi di Laurea Specialistica in Informatica e Tecnologie Informatiche. 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. Insegnamenti Fondamentali Gli esami dei seguenti insegnamenti fondamentali della Laurea Specialistica in Informatica classe 23/s sono sostenibili come indicato nella seguente tabella. Insegnamento classe 23/s CFU Insegnamento classe LM-18 o L-31(*) CFU AA025 - Calcolabilità e 28AA - Calcolabilità e Complessità complessità AA02 - Compilatori Principi dei Linguaggi di programmazione: tecniche di compilazione (Modulo I) AA027 - Costruzione di 251AA - Interazione Uomo Macchina interfacce AA02 - Linguaggi Principi dei Linguaggi di programmazione: paradigmi di programmazione (Modulo II) AA035 - Sistemi Intelligenti I 252AA - Introduzione all Intelligenza Artificiale: 375AA - Modelli di calcolo AA031 - Tecniche di specifica e dimostrazione AA413 - Ottimizzazione combinatoria e reti AA03 - Matematica computazionale BB002 - Modelli della Fisica 22AA - Metodi di Ottimizzazione delle Reti Metodi Numerici e Ottimizzazione: metodi numerici (Modulo I) 151BB - Modelli della Fisica Tabella 1 2 di 5

3 Gli esami dei seguenti insegnamenti fondamentali della Laurea Specialistica in Tecnologie Informatiche classe 23/s, sono sostenibili come indicato nella seguente tabella. Insegnamento classe 23/s CFU Insegnamento classe LM-18 o L-31 (*) CFU NUOVO High Performance Computing AA024 - Architetture Parallele e Distribuite AA027 - Costruzione di 251AA - Interazione Uomo Macchina interfacce AA030 - Linguaggi e 24AA - Elementi di Calcolabilità e Complessità calcolabilità AA274 - Laboratorio orientato alle Applicazioni Programmazione Avanzata AA035 - Sistemi Intelligenti I AA413 - Ottimizzazione combinatoria e reti AA03 - Matematica computazionale BB002 - Modelli della Fisica 20AA Ingegneria dei servizi software CFU con colloquio integrativo da 3 CFU da concordare con il docente 301AA - Programmazione Avanzata CFU con colloquio integrativo da 3 CFU da concordare con il docente 252AA - Introduzione all Intelligenza Artificiale 22AA - Metodi di Ottimizzazione delle Reti Metodi Numerici e Ottimizzazione: metodi numerici (Modulo I) 151BB - Modelli della Fisica Tabella 2 Insegnamenti Complementari I seguenti insegnamenti complementari delle Laurea Specialistica in Informatica classe23/s e della Laurea Specialistica in Tecnologie classe 23/s, sono sostenibili come indicato nella seguente tabella. Insegnamento classe 23/s CFU Insegnamento classe LM-18 o L-31 (*) CFU AA23 - Algoritmi per 28AA - Information Retrieval information retrieval AA48 - Algoritmi per internet e 245AA - Crittografia web: crittografia 3 di 5

4 AA277 - Applicazioni Parallele e Distribuite AA023 - Basi di Dati: Laboratorio AA250 - Basi di dati di supporto alle decisioni AA022 - Basi di dati strutture e algoritmi AA252 - Bioinformatica AA052 - Complementi di Gestione di Rete PP32 - Economia dei Sistemi Industriali AA545 - Fondamenti di Grafica Tridimensionale AA255 - Elaborazione del Linguaggio Naturale AA1 - Fondamenti dei linguaggi di programmazione: automi AA25 - Informatica e Didattica AA20 - Ingegneria del software: verifica e validazione AA021 - Introduzione Audio Digitale AA051 - Laboratorio di Applicazioni Internet AA57 - Laboratorio di gestione di progetti software AA - Algoritmi Paralleli e Distribuiti 254AA - Laboratorio di Basi di Dati l Azienda-Business Informatics 322AA - Basi di dati di supporto alle decisioni 411AA - Basi di dati strutture e algoritmi l Azienda-Business Informatics 315AA - Algoritmi per la bioinformatica 248AA - Gestione di Reti 3PP - Economia Aziendale 342AA - Fondamenti di Grafica 3D 337AA - Elaborazione del Linguaggio Naturale 373AA - Metodi per la verifica del software 344AA - Informatica e Didattica 23AA - Verifica e validazione del software 471AA - Audio Digitale Laurea Magistrale in Informatica Umanistica 253AA - Laboratorio di Applicazioni Internet 423AA - Laboratorio di gestione di progetti software l Azienda-Business Informatics ZY11 - Laboratorio di sistemi informativi economicoaziendali 353AA - Laboratorio di Business Intelligence AA043 - Logistica AA040 - Matematica Computazionale: Laboratorio AA244 - Modellizzazione ed analisi di sistemi complessi AA547 - Peer to Peer 255AA - Logistica 33AA - Laboratorio di Matematica Computazionale 403AA - Tecniche di progettazione: Design patterns 21AA - Sistemi Peer to Peer 4 di 5

5 AA283 - Percezione robotica AA25 - Progettazione di interfacce e valutazione della usabilità MM50 - Rappresentazione della conoscenza AA284 - Realtà Virtuale AA55 - Reti Mobili Cellulari: reti di terza generazione AA5 - Reti Mobili: Reti ad Hoc e di Sensori AA245 - Reti Neurali I AA285 - Reti Neurali II AA2 - Semantica e Teoria dei Tipi AA28 - Sicurezza nelle reti Informatiche 1 AA042 - Simulazione AA353 - Sistemi Informativi Aziendali AA048 - Sistemi Informativi Territoriali AA270 - Tecniche di Data Mining AA041 - Teoria dell informazione AA275 - Teoria dei Segnali AA30 - Web Mining e Analisi delle Reti Sociali 5 387AA - Robotica 47AA - Progettazione di interfacce e valutazione della usabilità Laurea Magistrale in Informatica Umanistica 33AA - Sistemi Basati sulla Conoscenza 317AA - Ambienti Virtuali 384AA - Reti Mobili Cellulari l Azienda-Business Informatics 38AA - Reti Mobili: Reti ad Hoc e di Sensori 320AA - Apprendimento automatico: Fondamenti 321AA - Apprendimento automatico: reti neurali e metodi avanzati 388AA - Semantica e Teoria dei Tipi 303AA - Sicurezza delle reti 25AA - Simulazione 42AA - Sistemi informatici direzionali-modulo II: Metodi decisionali guidati dai dati l Azienda-Business Informatics 20AA - Sistemi Informativi Territoriali 335AA - Data Mining: Fondamenti Teoria dell Informazione 340AA - Elaborazioni di Segnali e Immagini 427AA - Web Mining e Analisi delle Reti Sociali l Azienda-Business Informatics Tabella 3 5 di 5