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.
2004
logica topologia formale metodi di ricerca
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