Tesi etd-03132012-112458 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea specialistica
Autore
BONACINA, ILARIO
URN
etd-03132012-112458
Titolo
Misure di Complessita' delle dimostrazioni per la Risoluzione e il Calcolo dei Polinomi
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
MATEMATICA
Relatori
relatore Prof. Galesi, Nicola
controrelatore Prof. Berarducci, Alessandro
controrelatore Prof. Berarducci, Alessandro
Parole chiave
- polynomial calculus
- proof complexity
- resolution
- space in PCR
Data inizio appello
02/04/2012
Consultabilità
Non consultabile
Data di rilascio
02/04/2052
Riassunto
In questo lavoro di tesi vengono presentati dei risultati relativi alla Risoluzione e al Calcolo dei Polinomi. In particolare verranno presentati i giochi di Ehrenfreucht-Fraissè come quadro teorico in cui inquadrare le stime conosciute per il width e lo spazio in Risoluzione. Per quanto riguarda il Calcolo dei Polinomi invece verranno presentati dei risultati riguardo il grado e lo spazio.
File
| Nome file | Dimensione |
|---|---|
La tesi non è consultabile. |
|