Theory of Computation

UNIVERSITÀ DELLA SVIZZERA ITALIANA
A Mendrisio (Svizzera)

Chiedi il prezzo

Informazioni importanti

Tipologia Corso
Inizio Mendrisio (Svizzera)
Inizio lezioni Flessible
  • Corso
  • Mendrisio (Svizzera)
  • Inizio lezioni:
    Flessible
Descrizione

Descrizione The class introduces the fundamental mathematical properties of computer hardware, software, and certain applications thereof. It explores what can and cannot be solved on a computer, how quickly, with how much memory, and on which type of computational model. The class is divided into two major parts: computability theory and complexity theory. Computability theory deals primarily with the question of whether a problem is solvable at all on a computer. Complexity theory considers how efficiently the problem can be solved. Two major aspects are considered: time complexity and space complexity, which respectively address a problem of how many steps does it take to perform a computation, and how much memory is required to perform that computation. The subjects have strong connections with engineering practice. Practical exercises will involve experimentation with various tools.

Informazioni importanti
Sedi

Dove e quando

Inizio Luogo
Flessible
Mendrisio
Tessin, Svizzera
Visualizza mappa
Inizio Flessible
Luogo
Mendrisio
Tessin, Svizzera
Visualizza mappa

Cosa impari in questo corso?

Computer
Gestione informatica
Informatica

Programma

Descrizione

The class introduces the fundamental mathematical properties of computer hardware, software, and certain applications thereof. It explores what can and cannot be solved on a computer, how quickly, with how much memory, and on which type of computational model. The class is divided into two major parts: computability theory and complexity theory. Computability theory deals primarily with the question of whether a problem is solvable at all on a computer. Complexity theory considers how efficiently the problem can be solved. Two major aspects are considered: time complexity and space complexity, which respectively address a problem of how many steps does it take to perform a computation, and how much memory is required to perform that computation. The subjects have strong connections with engineering practice. Practical exercises will involve experimentation with various tools.

REFERENCES

  • Introduction to the Theory of Computation; Michael Sipser, 2006, second edition (Required)

Successi del Centro