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 sono sostenibili come indicato nella seguente tabella. Calcolabilità e complessità 9 Calcolabilità e Complessità (Laurea Informatica) Compilatori Principi dei Linguaggi di programmazione: tecniche di compilazione (Modulo I) Costruzione di interfacce 9 Interazione Uomo Macchina (Laurea Informatica) Linguaggi Principi dei Linguaggi di programmazione: paradigmi di programmazione (Modulo II) Sistemi Intelligenti I Introduzione all Intelligenza Artificiale: rappresentazione della conoscenza e ragionamento automatico (Modulo I) Modelli di calcolo Tecniche di specifica e 9 CFU dimostrazione Ottimizzazione combinatoria e reti Matematica computazionale Modelli della Fisica Metodi di Ottimizzazione delle Reti e Networking, 9 CFU Metodi Numerici e Ottimizzazione: metodi numerici (Modulo I) Modelli della Fisica 2 di 5

3 Gli esami dei seguenti insegnamenti fondamentali della Laurea Specialistica in Tecnologie Informatiche sono sostenibili come indicato nella seguente tabella. Architetture Parallele e Distribuite Costruzione di interfacce 9 Linguaggi e calcolabilità Laboratorio orientato alle Applicazioni 9 12 Programmazione Avanzata 12 Sistemi Intelligenti I Ottimizzazione combinatoria e reti Matematica computazionale Modelli della Fisica Sistemi ad alte prestazioni e piattaforme abilitanti e Networking CFU, con colloquio integrativo da 3 CFU da concordare con il docente. Interazione Uomo Macchina Elementi di Calcolabilità e Complessità Laboratorio di Interactive and Distributed Computing ( CFU) Laboratorio di progettazione di Software Distribuito ( CFU) e Networking Programmazione Avanzata 9 CFU con colloquio integrativo da 3 CFU da concordare con il docente Introduzione all Intelligenza Artificiale: rappresentazione della conoscenza e ragionamento automatico (Modulo I) Metodi di Ottimizzazione delle Reti e Networking, 9 CFU Metodi Numerici e Ottimizzazione: metodi numerici (Modulo I) Modelli della Fisica 3 di 5

4 Insegnamenti Complementari I seguenti insegnamenti complementari delle Laurea Specialistica in Informatica e della Laurea Specialistica in Tecnologie sono sostenibili come indicato nella seguente tabella. Algoritmi per information retrieval Information Retrieval Algoritmi per internet e web: Crittografia crittografia Applicazioni Parallele e Distribuite Algoritmi Paralleli e Distribuiti e Networking Basi di Dati: Laboratorio Laboratorio di Basi di Dati Sistemi informatici direzionali, Modulo I: Basi di dati di supporto alle Basi di dati di supporto alle decisioni decisioni per l Economia e Basi di dati strutture e algoritmi Basi di Dati II, Modulo I: Basi di dati strutture e algoritmi Bioinformatica Algoritmi per la bionformatica Complementi di Gestione di Rete Gestione di Rete Economia dei Sistemi Industriali 9 Economia Aziendale Fondamenti di Grafica Fondamenti di Grafica 3D Tridimensionale Elaborazione del Linguaggio Elaborazione del Linguaggio Naturale Naturale Fondamenti dei linguaggi di Metodi per la verifica del software programmazione: automi Informatica e Didattica Informatica e Didattica Ingegneria del software: verifica e Verifica e validazione del software validazione Introduzione Audio Digitale 3 Introduzione Audio Digitale ( cfu) Umanistica Laboratorio di Applicazioni Laboratorio di Applicazioni Internet Internet Laboratorio di gestione di progetti software Laboratorio di sistemi informativi economico-aziendali Logistica 5 Laboratorio di gestione di progetti software ( cfu) per l Economia e Analisi delle prestazioni aziendali (Modulo I: Laboratorio di Business Intelligence) per l Economia e Logistica 4 di 5

5 Matematica Computazionale: Laboratorio Metodi e strumenti per la verifica Modellizzazione ed analisi di sistemi complessi Peer to Peer Percezione robotica Progettazione di interfacce e valutazione della usabilità Rappresentazione della conoscenza Realtà Virtuale Reti Mobili Cellulari: reti di terza generazione Reti Mobili: Reti ad Hoc e di Sensori Reti Neurali I Reti Neurali II Semantica e Teoria dei Tipi Sicurezza nelle reti Informatiche 1 Simulazione Sistemi Informativi Aziendali Sistemi Informativi Territoriali Sistemi Intelligenti II Tecniche di Data Mining Teoria dell informazione Teoria dei Segnali Web Mining e Analisi delle Reti Sociali Laboratorio di Matematica Computazionale Metodi per la verifica del software Tecniche di progettazione: Design patterns Sistemi Peer to Peer Robotica Progettazione di interfacce e valutazione della usabilità Umanistica Sistemi Basati sulla Conoscenza Ambienti Virtuali Reti Mobili Cellulari. Reti Mobili: Reti ad Hoc e di Sensori Appendimento automatico: Fondamenti Appendimento automatico: reti neurali e metodi avanzati Semantica e Teoria dei Tipi Sicurezza delle reti. Modulo I: Analisi dei rischi informatici Simulazione Sistemi informatici direzionali. Modulo II: Metodi decisionali guidati dai dati per l Economia e Sistemi Informativi Territoriali Sistemi Basati sulla Conoscenza Data Mining: Fondamenti Teoria dell Informazione Elaborazioni di Segnali e Immagini Web Mining e Analisi delle Reti Sociali per l Economia e 5 di 5