Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova

Andreatta, Denis (2004) Una applicazione della topologia formale ai metodi di ricerca. [Laurea vecchio ordinamento]

Full text disponibile come:

[img]
Preview
PDF
565Kb

Abstract

Lo scopo principale della topologia formale è quello di sviluppare topologia in un contesto costruttivo dove con costruttivo intendiamo un contesto basato sulla logica predicativa e intutizionista. In questa tesi mostreremo che questo permette di utilizzare la topologia formale come strumento per l’implementazione di un metodo di ricerca di oggetti in un insieme.

Item Type:Laurea vecchio ordinamento
Corsi di Laurea vecchio ordinamento:Facoltà di Scienze MM. FF. NN. > DU Matematica
Additional Information:Corso di Laurea in Matematica
Uncontrolled Keywords:logica topologia formale metodi di ricerca
Subjects:Area 01 - Scienze matematiche e informatiche > MAT/01 Logica matematica
Codice ID:346
Relatore:Valentini, Silvio
Data della tesi:2004
Biblioteca:Polo di Scienze > Biblioteca del Seminario Matematico
Tipo di fruizione per il documento:on-line per i full-text
Tesi sperimentale (Si) o compilativa (No)?:No

Bibliografia

I riferimenti della bibliografia possono essere cercati con Cerca la citazione di AIRE, copiando il titolo dell'articolo (o del libro) e la rivista (se presente) nei campi appositi di "Cerca la Citazione di AIRE".
Le url contenute in alcuni riferimenti sono raggiungibili cliccando sul link alla fine della citazione (Vai!) e tramite Google (Ricerca con Google). Il risultato dipende dalla formattazione della citazione e non da noi.

G. Sambin, Some points in formal topology, Theoretical Computer Science 305 (2003), no. 1-3, 347-408. Cerca con Google

T. Coquand, G. Sambin, J. Smith, S. Valentini Inductively generated formal topology, Ann. Pure Applicated Logic 124 (2003), no. 1-3, 71-106. Cerca con Google

S. Valentini, On the formal points of the formal topology of the binary tree, Archive for Mathematical Logic. Cerca con Google

S. Valentini, The problem of the formalization of constructive topology, Archive for Mathematical Logic 44 (2005), 115-129. Cerca con Google

S. Berardi, S. Valentini, Between formal topology and game theory, (2004), comunicazione personale. Cerca con Google

T. Coquand Introduction to inductive definitions, (1996), non pubblicato (vedi http:\\www.math.chalmers.se\ coquand). Vai! Cerca con Google

G. Sambin con S. Gebellato, P. Martin-Löf, V. Capretta The basic picture, (2004), in pubblicazione. Cerca con Google

S. Valentini, Every inductively generated formal topology is spatial, classically, (2005), comunicazione personale. Cerca con Google

[GT] R. Engelking, General topology, Polish Scientific Publisher, Warszawa (1977). Cerca con Google

Y. Björnsson, T. Marsland, Multi-cut -pruning in game-tree search, Theoretical Computer Science 252, no. 1-2, 177-196. Cerca con Google

S. Valentini, Formal topology and search engine, (2003), comunicazione personale. Cerca con Google

Solo per lo Staff dell Archivio: Modifica questo record