This site uses only proprietary and third party technical cookies. By continuing to browse the site you are agreeing to our use of cookies. I agree I want to find out more

Browse the Department site:

Browse the Teaching site:

Course Details for A.Y. 2011/2012

The information on this page refer to the academic year 2011/2012. Therefore, several links are not available and data may be incomplete. To read the current information on the course, if it is still available, go to the university course catalogue . To read information relating other academic years, use the list at the bottom of this page.

A. Year:

2011/2012

Name:

Teoria della Calcolabilità e Complessità / Introduction to Computability and Complexity

Type:

Course

Basic information

Code:

F0150

Sector:

INF/01

Credits:

: 6 CFU (b)

Term:

1° semestre

Degree(s):

Laurea Base in Informatica 3° anno curriculum Generale Obbligatorio

Language:

Italian

Teacher(s):

Filippo Mignosi

Propaedeutics:

Algoritmi e Strutture Dati con Laboratorio

Course Content

The Theory of computability. Countability, models of computation and Church's thesis, Turing machine, nondeterministic computation. Counters machine.
Calculable and non-calculable functions and languages, recursive and recursively enumerable sets. Languages and problems, acceptability and decidability of languages. Diagonalization techniques, reductions, universal language, Rice's theorem.
Elements of the theory of complexity : static and dynamic measures, time and space complexity classes, the classes P and NP. The conjecture P = NP? NP-completeness. Polynomial reductions. Theorems concerning NP-completeness.
Statement of the Cook's theorem. CSAT, 3SAT and other NP-complete problems. Class PS and NPS, Savitch's theorem. Elements of modular arithmetic and cryptography.

Course page updates

This course page is available (with possible updates) also for the following academic years:

To read the current information on this course, if it is still available, go to the university course catalogue .

Course information last updated on: 09 aprile 2011, 08:46

About Us

The DISIM represents an internationally recognized pole for teaching and research in Information Engineering, advanced Informatics, and pure and applied Mathematics.

Quick Links

Get in Touch with Us

Via Vetoio, Coppito, 67100 L'Aquila

disim

sad

strutture.univaq

+39 0862 433002

+39 0862 433180 (fax)