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.
Una applicazione della topologia formale ai metodi di ricerca
Andreatta, Denis
2004/2005
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Tesi.pdf
accesso aperto
Dimensione
565.34 kB
Formato
Adobe PDF
|
565.34 kB | Adobe PDF | Visualizza/Apri |
The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.12608/12489