2015
2015
Sei collegato come utente non registrato
Il percorso ha la certificazione (STANDARD)
Corso di Laurea: Computer Science  -  Percorso: Computer Science
Informazioni generali
Università CAMERINO Responsabile del Percorso Andrea Polini
Livello del Cdl MAGISTRALE Email andrea.polini@unicam.it
Docenti che insegnano nel corso*: 5 Scheda Unica Annuale (SUA) del Corso di Laurea: Nessun documento SUA caricato
(*) 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   Afferisce al primo corso di laurea iscritto Si
Commento Curricula in Software Modeling and Verification (SMV) - Enterprise Software Systems (ESS) - Software and Systems for Industries (SSI). E' un percorso interdisciplinare No
Legenda delle Aree (versione standard)
A: Fondamenti G: Basi di dati A_M: Una qualunque delle aree da A a M
B: Algoritmi H: Computazione su rete altro INF: Crediti di INFORMATICA non classificati nelle aree
C: Programmazione I: Ingegneria del software INF: Crediti di INFORMATICA non classificabili a priori
D: Linguaggi L: Interazione, grafica e multimedialità altro: Crediti NON dell'INFORMATICA né della MATEMATICA
E: Architetture M: Rappresentazione della conoscenza NCP: Crediti Non Classificabili a priori
F: Sistemi operativi MAT: Crediti di MATEMATICA
Legenda delle Aree (versione beta)
AL: Algorithms and Complexity IS: Intelligent Systems SP: Social Issues and Professional Practice
AR: Architecture and Organization NC: Networking and Communication MAT: Crediti di MATEMATICA
DS: Discrete Structures OS: Operating Systems altro INF: Crediti di INFORMATICA non classificati nelle aree
GV: Graphics and Visualization PBD: Platform-Based Development INF: Crediti di INFORMATICA non classificabili a priori
HCI: Human Computer Interaction PD: Parallel and Distributed Computing altro: Crediti NON dell'INFORMATICA né della MATEMATICA
IAS: Information Assurance and Security PL: Programming Languages NCP: Crediti Non Classificabili a priori
IM: Information Management SE: Software Engineering
Insegnamenti e ripartizione CFU per area CFU A B C D E F G H I L M MAT A_M AL AR DS GV HCI IAS IM IS NC OS PBD PD PL SE SP MAT altro INF INF altro NCP
CHOICE I (M) 36                         36                                        
CHOICE II (M) 6                         6                                        
CHOICE III (M) 6                                                                 6
Complex System Design 12       12                                                          
Software Project Management 12                         12                                        
                                                                     
Attività Extracurriculari 12                                                                 12
Lingue Straniere 6                                                                 6
Prova Finale 30                                                                 30
Tirocinio 0                                                                 0
TOTALE 120 0 0 0 12 0 0 0 0 0 0 0 0 54 0 0 0 54
Riepilogo dell'insegnamento: CHOICE I
Nome CHOICE I CFU 36
Ore di didattica frontale per CFU N/A Settore Scientifico Disciplinare INF/01
Commento 36 CFU in Software Modeling and Verification (SMV) xor in Enterprise Software Systems (ESS) xor in Software and Systems for Industries (SSI)

36 cfu così ripartiti nelle aree:

  • 36 CFU nell'area A_M - Una qualunque delle aree da A a M
Riepilogo dell'insegnamento: CHOICE II
Nome CHOICE II CFU 6
Ore di didattica frontale per CFU N/A Settore Scientifico Disciplinare ING-INF/05 INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area A_M - Una qualunque delle aree da A a M
Riepilogo dell'insegnamento: CHOICE III
Nome CHOICE III CFU 6
Ore di didattica frontale per CFU N/A Settore Scientifico Disciplinare --libero--
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area NCP - Crediti Non Classificabili a priori
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 "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Riepilogo dell'insegnamento: Software Project Management
Nome Software Project Management CFU 12
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
   

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: Advanced Databases
Nome Advanced Databases CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum ESS.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
Riepilogo dell'insegnamento: Alignment of Business and IT
Nome Alignment of Business and IT CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum ESS.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
Riepilogo dell'insegnamento: Business Process Digitalization and Cloud Computing
Nome Business Process Digitalization and Cloud Computing CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum ESS.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
Riepilogo dell'insegnamento: Business Process Management and Flexibility
Nome Business Process Management and Flexibility CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum ESS; CHOICE II Curriculum SMV.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
  2. CHOICE II
Riepilogo dell'insegnamento: Cyber Physical Systems
Nome Cyber Physical Systems CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
Riepilogo dell'insegnamento: Distributed Calculus and Coordination I
Nome Distributed Calculus and Coordination I CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum SMV; CHOICE II Curriculum SSI

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area H - Computazione su rete
  • 3 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • 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 "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
  2. CHOICE II
Riepilogo dell'insegnamento: Distributed Calculus and Coordination II
Nome Distributed Calculus and Coordination II CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum SMV

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area A - Fondamenti
  • 3 CFU nell'area D - Linguaggi

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.

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
Riepilogo dell'insegnamento: Distributed Systems
Nome Distributed Systems CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum SSI; CHOICE II Curricula SMV and ESS

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
  2. CHOICE II
Riepilogo dell'insegnamento: Domain Specific Formal Languages
Nome Domain Specific Formal Languages CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum SMV.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
Riepilogo dell'insegnamento: Embedded Systems I
Nome Embedded Systems I CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
Riepilogo dell'insegnamento: Embedded Systems II
Nome Embedded Systems II CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
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
Commento CHOICE III Curricula SMV and ESS and SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE III
Riepilogo dell'insegnamento: Formal Languages and Compilers
Nome Formal Languages and Compilers CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE II Curricula SMV and ESS and SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE II
Riepilogo dell'insegnamento: Formal Modeling of Software Intensive Systems
Nome Formal Modeling of Software Intensive Systems CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum SMV; CHOICE II Curricula ESS and SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
  2. CHOICE II
Riepilogo dell'insegnamento: Internetworking Ubiquitous Systems
Nome Internetworking Ubiquitous Systems CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum SSI; CHOICE II Curriculum SMV.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
  2. CHOICE II
Riepilogo dell'insegnamento: IT Security
Nome IT Security CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum SSI; CHOICE II Curricula SMV and ESS.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
  2. CHOICE II
Riepilogo dell'insegnamento: Knowledge Engineering and Business Intelligence
Nome Knowledge Engineering and Business Intelligence CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum ESS; CHOICE II Curriculum SMV.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
  2. CHOICE II
Riepilogo dell'insegnamento: Knowledge Management and Competence Development
Nome Knowledge Management and Competence Development CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE II Curriculum ESS.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE II
Riepilogo dell'insegnamento: Mining Data and Processes
Nome Mining Data and Processes CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum ESS.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
Riepilogo dell'insegnamento: Model Checking I
Nome Model Checking I CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum SMV; CHOICE II Curricula ESS and SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
  2. CHOICE II
Riepilogo dell'insegnamento: Model Checking II
Nome Model Checking II CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE I Curriculum SMV.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE I
Riepilogo dell'insegnamento: Networking Discovery CISCO (III-IV)
Nome Networking Discovery CISCO (III-IV) CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE II Curriculum SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE II
Riepilogo dell'insegnamento: Networking Fundamentals CISCO (I-II)
Nome Networking Fundamentals CISCO (I-II) CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE III Curricula SMV and ESS and SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE III
Riepilogo dell'insegnamento: Neural Networks.
Nome Neural Networks. CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE III Curricula SMV and ESS and SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE III
Riepilogo dell'insegnamento: Queuing Networks: Modeling.
Nome Queuing Networks: Modeling. CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare ING-INF/05
Commento CHOICE III Curricula SMV and ESS and SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE III
Riepilogo dell'insegnamento: Queuing Networks: Simulation
Nome Queuing Networks: Simulation CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare ING-INF/05
Commento CHOICE II Curricula SMV and ESS and SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE II
Riepilogo dell'insegnamento: Software Engineering II - Software Testing
Nome Software Engineering II - Software Testing CFU 6
Ore di didattica frontale per CFU 7 Settore Scientifico Disciplinare INF/01
Commento CHOICE III Curricula SMV and ESS and SSI.

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.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE III
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 CHOICE III Curricula SMV and ESS and SSI.

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area A - Fondamenti

Sillabo dell'insegnamento

  • A - Fondamenti
    • COM - Complessità
      Time: the class P, the thesis od Edmond-Cook-Karp, the class NP, the question P=NP, NP-complete problems, SAT, the Cook-Levin
    • COM - Complessità
      Interactive procedures. Arthur and Merlin. AM and MA. The class IP. Shamir's Theorem. The complexity zoo.
    • COM - Complessità
      Complexity and circuits. Logical gates. The problem of unique satisfiability.
    • COM - Complessità
      Probabilistic procedures. The classes BPP, RP and ZPP. ZPP as the class of problems solvable in average polynomial time.
    • COM - Complessità
      Space: the classes L, NL, PSPACE. NL-complete problems and PSPACE-complete problems, QSAT. The Savitch Theorem. Oracles and the Baker-Gill-Solovay theorem.
    • * CAL - Calcolabilità
      Recall of Basic Computability Theory. The cost of computing. How to measure it: time, space, energy, other parameters. Complexity of a computation. Feasible problems

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. CHOICE III
Sistema di certificazione della qualità dei contenuti delle lauree in Informatica
Credits
Valid XHTML 1.0 Strict Valid CSS