2014
2014
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Computer Science
-
Percorso: Computer Science
| Informazioni generali | ||||
| Università | CAMERINO | Responsabile del Percorso | Andrea Polini | |
|---|---|---|---|---|
| Livello del Cdl | MAGISTRALE | andrea.polini@unicam.it | ||
| Scheda Unica Annuale (SUA) del Corso di Laurea: | Visualizza documento SUA caricato | E' un percorso interdisciplinare | No | |
| Commento | Curricula CSD (Complex System Design) c/o UNiCAM - NET (Sensor Networks) c/o UNICAM - TCS (Theoretical Computer Science) c/o UNICAM, AI (Artificial Intelligence) c/o RU - BIS (Business Information Systems) c/o FHNW - CSE (Complex System Engineering) c/o UnCa. Sedi: FHNW (University of Applied Sciences and Arts Northwestern - Svizzera) - RU (Reykjavík University - Islanda) - UNCa (Universidad Nacional de Catamarca - Argentina). | |||
| 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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| CHOICE in LOCAL COURSE GROUP (M) | 30 | 30 | ||||||||||||||||
| CHOICE in UNICAM COURSE GROUP (M) | 6 | 6 | ||||||||||||||||
| Complex System Design | 12 | 12 | ||||||||||||||||
| Distributed Calculus and Coordination | 12 | 3 | 3 | 3 | 3 | |||||||||||||
| Financial Management and Strategy | 6 | 6 | ||||||||||||||||
| Theory of Complexity | 6 | 6 | ||||||||||||||||
| Attività Extracurriculari | 12 | 12 | ||||||||||||||||
| Lingue Straniere | 6 | 6 | ||||||||||||||||
| Prova Finale | 30 | 30 | ||||||||||||||||
| Tirocinio | 0 | 0 | ||||||||||||||||
| TOTALE | 120 | 9 | 0 | 0 | 15 | 0 | 0 | 0 | 3 | 3 | 0 | 0 | 30 | 0 | 0 | 0 | 6 | 54 |
Riepilogo dell'insegnamento: CHOICE in LOCAL COURSE GROUP
| Nome | CHOICE in LOCAL COURSE GROUP | CFU | 30 |
|---|---|---|---|
| Ore di didattica frontale per CFU | N/A | Settore Scientifico Disciplinare | INF/01 ING-INF/05 |
| Commento | CSD può scegliere sia in UNICAM-CS Software sia in UNICAM - Information and Knowledge Management; NET può scegliere solo in UNICAM-CS Software; TCS può scegliere solo in UNICAM-CS Information and Knowledge Management; AI può scegliere solo dai corsi RU; BIS può scegliere solo dai corsi FHNW; CSE può scegliere solo dai corsi UnCa. | ||
30 cfu così ripartiti nelle aree:
- 30 CFU nell'area A_M - Una qualunque delle aree da A a M
Insegnamenti "a scelta" che possono essere selezionati
Riepilogo dell'insegnamento: CHOICE in UNICAM COURSE GROUP
| Nome | CHOICE in UNICAM COURSE GROUP | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | N/A | Settore Scientifico Disciplinare | --libero-- |
| Commento | CSD può scegliere sia in UNICAM-CS Software sia in UNICAM - Information and Knowledge Management; NET può scegliere solo in UNICAM-CS Software; TCS può scegliere solo in UNICAM-CS Information and Knowledge Management; AI può scegliere solo in UNICAM-CS Information and Knowledge Management; BIS può scegliere solo in UNICAM-CS Software; CSE può scegliere sia in UNICAM-CS Software sia in UNICAM - Information and Knowledge Management. | ||
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area NC - Crediti Non Classificabili a priori
Insegnamenti "a scelta" che possono essere selezionati
Riepilogo dell'insegnamento: Complex System Design
| Nome | Complex System Design | CFU | 12 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 7 | 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 auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Distributed Calculus and Coordination
| Nome | Distributed Calculus and Coordination | CFU | 12 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 7 | Settore Scientifico Disciplinare | INF/01 |
| Commento | Escluso dal curriculum BIS. | ||
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 auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Financial Management and Strategy
| Nome | Financial Management and Strategy | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 7 | 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: Theory of Complexity
| Nome | Theory of Complexity | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 7 | Settore Scientifico Disciplinare | INF/01 |
| Commento | A scelta per il curriculum BIS (Business Information Systems) | ||
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 auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Riepilogo dell'insegnamento: Courses at FHNW.
| Nome | Courses at FHNW. | CFU | 30 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 7 | Settore Scientifico Disciplinare | INF/01 ING-INF/05 |
| Commento | Escluso dai curricula CSD, NET, TCS, AI, e CSE. | ||
30 cfu così ripartiti nelle aree:
- 30 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.
Insegnamenti "macro" nell'ambito dei quali può essere scelto
Riepilogo dell'insegnamento: Courses at RU.
| Nome | Courses at RU. | CFU | 30 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 7 | Settore Scientifico Disciplinare | INF/01 |
| Commento | Escluso dai curricula CSD, NET, TCS, BIS e CSE. | ||
30 cfu così ripartiti nelle aree:
- 30 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.
Insegnamenti "macro" nell'ambito dei quali può essere scelto
Riepilogo dell'insegnamento: Courses at UNCa.
| Nome | Courses at UNCa. | CFU | 30 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 7 | Settore Scientifico Disciplinare | ING-INF/05 |
| Commento | Escluso dai curricula CSD, NET, TCS, AI e BIS. | ||
30 cfu così ripartiti nelle aree:
- 30 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.
Insegnamenti "macro" nell'ambito dei quali può essere scelto
Riepilogo dell'insegnamento: UNICAM - CS Information and Knowledge Management
| Nome | UNICAM - CS Information and Knowledge Management | CFU | 30 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 7 | Settore Scientifico Disciplinare | --libero-- |
| Commento | CFU cumulati tra corsi scelti in Laurea Triennale in Informatica -Percorso Modeling and Analysis - Indirizzo a Scelta | ||
30 cfu così ripartiti nelle aree:
- 30 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.
Insegnamenti "macro" nell'ambito dei quali può essere scelto
Riepilogo dell'insegnamento: UNICAM - CS Software
| Nome | UNICAM - CS Software | CFU | 30 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 7 | Settore Scientifico Disciplinare | --libero-- |
| Commento | CFU cumulati tra corsi scelti in Laurea Triennale in Informatica -Percorso Software Development - Indirizzo a Scelta | ||
30 cfu così ripartiti nelle aree:
- 30 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.
Insegnamenti "macro" nell'ambito dei quali può essere scelto
