logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-03132012-112458


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
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