logo SBA

ETD

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

Tesi etd-03132012-112458

Link copiato negli appunti
Tipo di tesi
Tesi di laurea specialistica
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
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 (Inglese)
Riassunto (Italiano)
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.
Contatta l’autore