2010-11
2010-11
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Informatica  -  Percorso: Systems and networks
Informazioni generali
Università TRENTO Responsabile del Percorso Fabio Massacci
Livello del Cdl MAGISTRALE Email Fabio.Massacci@unitn.it
Docenti che insegnano nel corso*: 21 Afferisce al primo corso di laurea iscritto Si
(*) Questo è il numero di docenti appartenenti ai settori scientifico-disciplinari INF/01 o ING-INF/05 che svolgono il loro carico didattico istituzionale presso questo corso di laurea E' un percorso interdisciplinare No
Commento Lo studente è tenuto a scegliere 42CFU fra i corsi marcati con asterisco, soddisfacendo così il requisito dei 48CFU nelle aree A-M di INF/01.    
Legenda delle Aree
A: Fondamenti G: Basi di dati altro INF: Crediti di INFORMATICA non classificati nelle aree
B: Algoritmi H: Computazione su rete INF: Crediti di INFORMATICA non classificabili a priori
C: Programmazione I: Ingegneria del software MAT: Crediti di MATEMATICA
D: Linguaggi L: Interazione, grafica e multimedialità altro: Crediti NON dell'INFORMATICA nè della MATEMATICA
E: Architetture M: Rappresentazione della conoscenza NC: Crediti Non Classificabili a priori
F: Sistemi operativi A_M: Una qualunque delle aree da A a M
Insegnamenti e ripartizione CFU per area CFU A B C D E F G H I L M A_M altro INF INF MAT altro NC
*Advanced networking 6               6                  
*Computer Security 6           3     3                
*Distributed systems 6               6                  
*Machine learning 6                     6            
*Network security 6 3             3                  
*Nomadic communications 6               6                  
*Web architectures 6               6                  
*Web mining 6   3                 3            
Computability 6                             6    
Computational Complexity 6 6                                
Concurrency Theory 6 6                                
Crediti a libera scelta 24                                 24
Mathematical logic 6                             6    
                                     
Attività Extracurriculari 0                                 0
Lingue Straniere 0                                 0
Prova Finale 18                                 18
Tirocinio 6                                 6
TOTALE 120 15 3 0 0 0 3 0 27 3 0 9 0 0 0 12 0 48
Riepilogo dell'insegnamento: *Advanced networking
Nome *Advanced networking CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
Commento Topics of modern packet-based telecommunication networks

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • * PT - Protocolli
      RIP, RIP-2 e i protocolli distance-vector; OSPF e i protocolli link state
    • * PT - Protocolli
      BGP e i protocolli policy-based; Instradamento globale e topologia di Internet
    • GRC - Gestione di Reti di Calcolatori
      Carico di una rete e stabilita`; Ammissione delle chiamate;
    • GRC - Gestione di Reti di Calcolatori
      Controllo reattivo della congestione e TCP; Metodi per stabilizzare TCP: mito e realta`; Multicast
    • * PT - Protocolli
      Servizi voce/video su reti a pacchetto; Il trasporto: RTP/RTCP; Lo standard H.323
    • * PT - Protocolli
      Lo standard SIP; Skype e gli approcci P2P; Servizi di IP-TV

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: *Computer Security
Nome *Computer Security CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
Commento Problems, design methodologies, algorithms, and solutions for computer security at software and system levels.

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area F - Sistemi operativi
  • 3 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • F - Sistemi operativi
    • * GSP - Gestione e Sincronizzazione dei Processi
      Run-time monitors, in-line monitors, staistic analysis
    • GCA - Gestione e Controllo degli Accessi
      Authentication and Access Control
    • V - Varie
      Introduction/DAC, MAC/Multilevel, Integrity, Biba, Clark Wilson, Chinese Wall, RBAC, UNIX, Windows 2K
  • I - Ingegneria del software
    • EPG - Aspetti Etici, Professionali e Giuridici
      Computer Security, ISO Sec. Services and Mechanisms
    • * AR - Analisi dei Requisiti
      Security Requirements/UML Sec, Secure Tropos, Risk assessment, Privacy Policies
    • EPG - Aspetti Etici, Professionali e Giuridici
      Validity of digital certificates,Security Policies and Law 675 on privacy and security

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: *Distributed systems
Nome *Distributed systems CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • * FCD - Fondamenti del Calcolo Distribuito
      Introduction and motivation, Inherent distribution, Distribution as an artifact, Basic abstractions
    • * FCD - Fondamenti del Calcolo Distribuito
      Processes, Communication, Time and timing assumptions, Specifications: liveness and safety, Time and Global States
    • * FCD - Fondamenti del Calcolo Distribuito
      Logical time and logical clocks, Global states, Distributed debugging, Synchronizing physical clocks, Broadcast
    • * FCD - Fondamenti del Calcolo Distribuito
      Best effort, Reliable (Uniform, Regular), Causual, Randomized, Consensus
    • * FCD - Fondamenti del Calcolo Distribuito
      Impossibility of Consensus, Randomized consensus, Failure detectors, Total order broadcast
    • * FCD - Fondamenti del Calcolo Distribuito
      Distributed transactions, Atomic commit, Transaction recovery, Recent developments, Peer-to-Peer Systems

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: *Machine learning
Nome *Machine learning CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

  • M - Rappresentazione della conoscenza
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Introduction to machine learning: designing a machine learning system, learning settings and tasks, decision trees, k-nearest-neighbour estimation.
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Bayesian decision theory, maximum likelihood and Bayesian parameter estimation.
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Neural networks: perceptron, multilayer neural networks.
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Clustering: k-means, hierarchical clustering.
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Kernel Machines: kernels, reproducing kernel Hilbert spaces, representer theorem, support vector machines for classification, regression and ranking, kernel construction, kernels for structured data.
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Statistical Learning Theory: PAC learning, consistency, VC dimension, generalization and models comparison. Applications to text categorization and bioinformatics.

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: *Network security
Nome *Network security CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
Commento General introduction to problems, design methodologies, algorithms, and solutions for network security

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area A - Fondamenti
  • 3 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • A - Fondamenti
    • TIC - Teoria dell'Informazione e Codici
      Security and Privacy, Availability, Autentication, Authorization, Accounting, Access Control, General Introduction (secret keys, public keys, digital signatures)
    • TIC - Teoria dell'Informazione e Codici
      One-Time-Pad, Stream Ciphers (RC4, GSM - A5/1) Block ciphers (DES, RC5, AES), Asymmetric Algorithms (Diffie-Hellman, RSA)
    • TIC - Teoria dell'Informazione e Codici
      Hash functions (SHA-1, MD-5) Digital Watermarking (DVD)
  • H - Computazione su rete
    • * SR - Sicurezza delle Reti
      Authentication (NS-PK/AS, Kerberos, GSM), Key-agreement (Diffie-Hellman, Internet Key Exchange), Secure Web Connections (TLS/SSL), Secure Mobile Connections (WTLS), Electronic Payments (SET - Visa Mastercard, Cybercash), Secure Protocols for Mobility(Secure Mobile IP, Dynamic DNS)
    • * SR - Sicurezza delle Reti
      Passive attacks: network scanning (TCP/SYN,UDP)
    • * SR - Sicurezza delle Reti
      Active attacks: IP spoofing, hijacking, cookie, cross-site scripting, Denial of service: ping of death, smurf, land, DDoS e rootkits.

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: *Nomadic communications
Nome *Nomadic communications CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
Commento Complete and thorough overview of wireless networks

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • * ARTC - Architettura delle Reti di Calcolatori
      Introduction: Wireless Networks Characteristics; general requirements of MAC protocols; MAC protocols: Aloha, CSMA.
    • * ARTC - Architettura delle Reti di Calcolatori
      WLAN: 802.11 standard; 802.11b MAC/PHY; 802.11g, 802.11a.
    • * PT - Protocolli
      802.11e and QoS support; 802.11n: high throughput; other extensions.
    • * ARTC - Architettura delle Reti di Calcolatori
      Ad-Hoc Networks and PAN Networks: Bluetooth, Zigbee.
    • * ARTC - Architettura delle Reti di Calcolatori
      Sensor networks, Vehicular Networks.
    • * PT - Protocolli
      Routing in non-stationary networks

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: *Web architectures
Nome *Web architectures CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      Web-based distributed systems architectures: problems and solutions. The HTTP protocol.
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      DHTML: the ingredients (HTML, Javascript, DOM).
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      Introduction to the XML world (including XSL).
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      Java technologies for the dynamic web: Servlets, Java Server Pages, JDBC, JNDI, Java RMI, Enterprise Java Beans 2.1 and 3.0.
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      Application servers. Obiect-relational mapping. Overview of other emerging technologies.
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      Basic elements of transactions.

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: *Web mining
Nome *Web mining CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
Commento Data mining techniques in a loosely structured context such as the one provided by the web

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area B - Algoritmi
  • 3 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

  • B - Algoritmi
    • TAA - Tecniche Algoritmiche Avanzate
      Design and implementation of a large-scale web crawler, document indexing
    • * ASC - Algoritmi su Strutture Combinatorie
      Graph representation of social networks and their analysis; PageRank, Hits
    • TAA - Tecniche Algoritmiche Avanzate
      Programming in the MapReduce framework
  • M - Rappresentazione della conoscenza
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Unsupervised learning: hyerarchical clustering, k-means, SOMs
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Supervised learning techniques
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Semi-supervised learning

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: Computability
Nome Computability CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare MAT/01
Commento Introduce students to computability theory

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/01 - Logica Matematica
      Programming languages and their computational power: Lambda calculus, "for" and "while" languages.
    • MAT/01 - Logica Matematica
      Enumeration of programs, Universal programs
    • MAT/01 - Logica Matematica
      Logical characterization of recursive functions: primitive and general recursion.
    • MAT/01 - Logica Matematica
      Problem classes: decidable, undecidable, semi-decidable; Church's Thesis
    • MAT/01 - Logica Matematica
      Classical results: padding lemma, s-m-n theorem, Kleene's normal form, fixed point theorem, Rice's theorem, Rice-Shapiro theorem
    • MAT/01 - Logica Matematica
      m-reductions

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: Computational Complexity
Nome Computational Complexity CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
Commento Study of the intrinsic complexity of computational tasks

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area A - Fondamenti

Sillabo dell'insegnamento

  • A - Fondamenti
    • COM - Complessita'
      Introduction and Preliminaries; Computational Tasks; Uniform Models (Turing machines, Time and space complexity, Oracle machines]; Complexity Classes.
    • COM - Complessita'
      P, NP and NP-Completeness; The search version - finding versus checking; The decision version - proving versus verifying; Polynomial-time Reductions; NP-Completeness.
    • COM - Complessita'
      Space Complexity: Time versus Space, Logarithmic Space, PSPACE and Games.
    • COM - Complessita'
      Randomness and Counting: Probabilistic Polynomial-Time, Two-sided error and One-sided error.
    • COM - Complessita'
      The Bright Side of Hardness: One-Way Functions, Pseudorandom Generators, Computational Indistinguishability.
    • COM - Complessita'
      Probabilistic Proof Systems: Interactive Proof Systems, The Power of Interactive Proofs, Zero-Knowledge Proof Systems.

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: Concurrency Theory
Nome Concurrency Theory CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
Commento Models and techniques for the description and analysis of the behaviour of concurrent systems

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area A - Fondamenti

Sillabo dell'insegnamento

  • A - Fondamenti
    • * ALF - Automi e Linguaggi Formali
      Petri Nets
    • SLP - Semantica dei Linguaggi di Programmazione
      Calculus of Communicating Systems (CCS)
    • SLP - Semantica dei Linguaggi di Programmazione
      Operational semantics
    • SLP - Semantica dei Linguaggi di Programmazione
      Bisimulation semantics
    • L - Logica
      Basics of domain theory
    • L - Logica
      Modal and temporal logics

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Riepilogo dell'insegnamento: Crediti a libera scelta
Nome Crediti a libera scelta CFU 24
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare --libero--
   

24 cfu così ripartiti nelle aree:

  • 24 CFU nell'area NC - Crediti Non Classificabili a priori

Sillabo dell'insegnamento

    Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Riepilogo dell'insegnamento: Mathematical logic
Nome Mathematical logic CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare MAT/01
Commento Basics on propositional logic, first order logic and modal logic, and their usage in knowledge representation and reasoning

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/01 - Logica Matematica
      Introduction: Data and Knowledge Representation, Languages for Representation
    • MAT/01 - Logica Matematica
      Modeling the World
    • MAT/01 - Logica Matematica
      Propositional Logic: Syntax and semantics, Reasoning, Exercises
    • MAT/01 - Logica Matematica
      The logic of classes: Syntax and semantics, TBox, ABox, Exercises and Applications
    • MAT/01 - Logica Matematica
      First Order Logic: Syntax and semantics, Reasoning, Exercises, Querying DB
    • MAT/01 - Logica Matematica
      Modal Logic

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali

Sistema di certificazione della qualità dei contenuti delle lauree in Informatica nelle facoltà di Scienze MM.FF.NN.
Credits
Valid XHTML 1.0 Strict Valid CSS