2012
2012
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Computer Science
-
Percorso: Complex System Design
| Informazioni generali | ||||
| Università | CAMERINO | Responsabile del Percorso | Emanuela Merelli | |
|---|---|---|---|---|
| Livello del Cdl | MAGISTRALE | emanuela.merelli@unicam.it | ||
| Docenti che insegnano nel corso*: | 5 | 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 | ||||
| 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 Topics in Business Information Systems | 6 | 6 | ||||||||||||||||
| Advanced Topics in Computer Science | 6 | 6 | ||||||||||||||||
| Complex System Design | 12 | 12 | ||||||||||||||||
| Complex System Performance Evaluation | 12 | 12 | ||||||||||||||||
| Distributed Calculus and Coordination | 12 | 3 | 3 | 3 | 3 | |||||||||||||
| Financial Management and Strategy | 6 | 6 | ||||||||||||||||
| Service Oriented Architecture | 12 | 12 | ||||||||||||||||
| Theory of Complexity | 6 | 6 | ||||||||||||||||
| Attività Extracurriculari | 6 | 6 | ||||||||||||||||
| Lingue Straniere | 6 | 6 | ||||||||||||||||
| Prova Finale | 30 | 30 | ||||||||||||||||
| Tirocinio | 6 | 6 | ||||||||||||||||
| TOTALE | 120 | 9 | 0 | 0 | 15 | 0 | 0 | 0 | 3 | 3 | 0 | 0 | 36 | 0 | 0 | 0 | 6 | 48 |
Riepilogo dell'insegnamento: Advanced Topics in Business Information Systems
| Nome | Advanced Topics in Business Information Systems | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area A_M - Una qualunque delle aree da A a M
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Advanced Topics in Computer Science
| Nome | Advanced Topics in Computer Science | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area A_M - Una qualunque delle aree da A a M
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Complex System Design
| Nome | Complex System Design | CFU | 12 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
12 cfu così ripartiti nelle aree:
- 12 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
- D - Linguaggi
- *
LF - Linguaggi Formali
Introduction to Formal Methods. - *
LF - Linguaggi Formali
Introduction to Process Algebras. - *
LF - Linguaggi Formali
Milner's Calculus of Communicating Systems (CCS) : syntax. - *
LF - Linguaggi Formali
Milner's Calculus of Communicating Systems (CCS) : operational semantics. - *
LF - Linguaggi Formali
Observational equivalences: strong bisimulation. - *
LF - Linguaggi Formali
Observational equivalences: weak bisimulation. - *
LF - Linguaggi Formali
Observation congruence and its decidability. - *
LF - Linguaggi Formali
Temporal variants of CCS. - *
LF - Linguaggi Formali
Locality-based variants of CCS. - *
LF - Linguaggi Formali
Process Algebra for Faster Asynchronous Systems (PAFAS). -
TAV - Tecniche di Analisi e Verifica
Application in the context of areas such as operating systems, communication protocols, semantics of concurrent and object-oriented programming languages. -
TAV - Tecniche di Analisi e Verifica
Application in the context of areas such as operating systems, communication protocols, semantics of concurrent and object-oriented programming languages.
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Complex System Performance Evaluation
| Nome | Complex System Performance Evaluation | CFU | 12 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | ING-INF/05 |
12 cfu così ripartiti nelle aree:
- 12 CFU nell'area A_M - Una qualunque delle aree da A a M
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Distributed Calculus and Coordination
| Nome | Distributed Calculus and Coordination | CFU | 12 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
12 cfu così ripartiti nelle aree:
- 3 CFU nell'area A - Fondamenti
- 3 CFU nell'area D - Linguaggi
- 3 CFU nell'area H - Computazione su rete
- 3 CFU nell'area I - Ingegneria del software
Sillabo dell'insegnamento
- A - Fondamenti
- *
ALF - Automi e Linguaggi Formali
Coordination Languages. - *
ALF - Automi e Linguaggi Formali
Hybrid Automata. - *
ALF - Automi e Linguaggi Formali
Automata. - D - Linguaggi
- *
LF - Linguaggi Formali
KLAIM languages. - *
LF - Linguaggi Formali
KLAIM languages. - *
LF - Linguaggi Formali
KLAIM languages. - H - Computazione su rete
- *
FCD - Fondamenti del Calcolo Distribuito
Models for distributed and coordination calculus. - *
FCD - Fondamenti del Calcolo Distribuito
Models for distributed and coordination calculus. - *
FCD - Fondamenti del Calcolo Distribuito
Models for distributed and coordination calculus. - I - Ingegneria del software
- *
ASW - Architetture Software
Multi-agent systems: Reactive, Proactive and Intelligent. - *
ASW - Architetture Software
Multi-agent systems: Reactive, Proactive and Intelligent. - *
ASW - Architetture Software
Software architectures and Middlewares for modelling and simulation of multi-agent systems (HERMES V2).
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Financial Management and Strategy
| Nome | Financial Management and Strategy | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | SECS-P/nn |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area altro - Crediti NON dell'INFORMATICA nè della MATEMATICA
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Service Oriented Architecture
| Nome | Service Oriented Architecture | CFU | 12 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | ING-INF/05 |
12 cfu così ripartiti nelle aree:
- 12 CFU nell'area A_M - Una qualunque delle aree da A a M
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Theory of Complexity
| Nome | Theory of Complexity | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
- A - Fondamenti
- *
CAL - Calcolabilita'
Recall of Basic Computability Theory. The cost of computing. How to measure it: time, space, energy, other parameters. Complexity of a computation. Feasible problems. -
COM - Complessita'
Time: the class P, the thesis od Edmond-Cook-Karp, the class NP, the question P=NP, NP-complete problems, SAT, the Cook-Levin Theorem. NP-intermediate problems. The polynomial hierarchy. -
COM - Complessita'
Space: the classes L, NL, PSPACE. NL-complete problems and PSPACE-complete problems, QSAT. The Savitch Theorem. Oracles and the Baker-Gill-Solovay theorem. -
COM - Complessita'
Probabilistic procedures. The classes BPP, RP and ZPP. ZPP as the class of problems solvable in average polynomial time. -
COM - Complessita'
Interactive procedures. Arthur and Merlin. AM and MA. The class IP. Shamir's Theorem. The complexity zoo. -
COM - Complessita'
Complexity and circuits. Logical gates. The problem of unique satisfiability.
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
