CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThese lecture notes are intended to introduce the reader to the basic notions of computability theory, decidability, and complexity. More information on these subjects can be found in classical books such as [Cut80,Dav58,Her69,HoU79,Rog67]. The results reported in these notes are taken from those books and in various parts we closely follow their style of presentation. The reader is encouraged to look at those books for improving his/her knowledge on these topics. Some parts of the chapter on complexity are taken from the lecture notes of a beautiful course given by Prof. Leslie Valiant at Edinburgh University, Scotland, in 1979. It was, indeed, a very stimulating and enjoyable course. For the notions of Predicate Calculus we have used in this book the reader may refer to [Men87]. I would like to thank Dr. Maurizio Proietti at IASI-CNR (Roma, Italy), my colleagues, and my students at the University of Roma Tor Vergata and, in particular, Michele Martone. They have been for me a source of continuous inspiration and enthusiasm. Finally, I would like to thank Dr. Gioacchino Onorati and Lorenzo Costantini of the Aracne Publishing Company for their helpful cooperation.
PETTOROSSI, A. (2009). Elements of computability, decidability, and complexity (Third edition). Roma : Aracne Editrice.
| Autori: | |
| Autori: | PETTOROSSI, A |
| Titolo: | Elements of computability, decidability, and complexity (Third edition) |
| Data di pubblicazione: | 2009 |
| Settore Scientifico Disciplinare: | Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni |
| Lingua: | English |
| Rilevanza: | Rilevanza internazionale |
| Tipo: | Monografia |
| Tipologia: | Monografia |
| Citazione: | PETTOROSSI, A. (2009). Elements of computability, decidability, and complexity (Third edition). Roma : Aracne Editrice. |
| Appare nelle tipologie: | 04 - Monografia |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| ComputabilityDecidabilityComplexity.pdf | N/A | EmbargoOpen Access Visualizza/Apri |
Copyright © 2021