Lo scopo di un motore di ricerca e` quello di trovare tutti i "documenti" che possano essere di un qualche interesse in conformita` a qualche criterio di ricerca. In genere nella ricerca di tali documenti si puo` seguire un approccio di carattere "positivo" che consiste nel cercare tutti i documenti che soddisfano il criterio di ricerca oppure un approccio di carattere "negativo" che consiste nell'escludere tutti i documenti che non soddisfano tale criterio di ricerca. Una teoria matematica che permette di esprimere entrambi tali approcci in un unico ambito e` la topologia, che noi consideremo come una sorta di teoria degli insiemi in cui gli elementi di un insieme non possono essere distinti in modo chiaro ma solamente tramite l'uso delle proprieta` che essi soddisfano. Tuttavia per poter usare la topologia in modo effettivo nella costruzione di un motore di ricerca e` necessario che essa sia sviluppata all'interno di una teoria matematica che garantisca che essa e` direttamente implementabile su un calcolatore: questo e` il motivo primario dell'esistenza della topologia formale. Lo scopo del seminario e` di illustrare alcuni semplici esempi di utilizzo della topologia nella ricerca di documenti e di introdurre le idee che stanno alla base della topologia formale e che suggeriscono che essa si possa immediatamente utilizzare nella costruzione di un motore di ricerca. elle proprieta` che essi soddisfano. Tuttavia per poter usare la topologia in modo effettivo nella costruzione di un motore di ricerca e` necessario che essa sia sviluppata all'interno di una teoria matematica che garantisca che essa e` direttamente implementabile su un calcolatore: questo e` il motivo primario dell'esistenza della topologia formale. Lo scopo del seminario e` di illustrare alcuni semplici esempi di utilizzo della topologia nella ricerca di documenti e di introdurre le idee che stanno alla base della topologia formale e che suggeriscono che essa si possa immediatamente utilizzare nella costruzione di un motore di ricerca.