[l-gl41c.txt da l-gl41.htm]

UN PROGRAMMA ...

INTRODUZIONE

Il pacchetto software ELEMENTI DI EUCLIDE è costituito da una serie di programmi 
che permettono una lettura selettiva del testo e da diversi files che contengono 
il testo stesso.
I programmi sono gestiti da menu ad albero dai quali si possono selezionare le 
diverse funzioni di elaborazione.
La struttura dei menu è schematizzata a pagina 2.
I files di dati contengono gli enunciati:

- Definizioni                    (codificate con DExxx)
- Nozioni comuni 				 NCxxx		
- Postulati 					 POxxx
- Proposizioni 					 PRxxx
- Lemmi 				         Lexxx
- Corollari					 COxxx

Questi enunciati sono registrati su "schede" che riportano inoltre i riferimenti 
essenziali di identificazione.
Pertanto, ogni scheda contiene: 
una numerazione progressiva, 
una codificazione di tipo (PR001,DE011l, ...), 
il numero di libro cui si riferisce 
e l'enunciato.

Oltre ai files degli enunciati sono stati costruiti dei files indice strutturati 
ad indice analitico. Essi contengono tutte le informazioni necessarie per iden-
tificare, ricercare, visualizzare e stampare gli enunciati che contengono un 
termine stabilito scelto di volta in volta dall'utente.
Questo INDICE viene gestito separatamente dalle schede che contengono gli enun-
ciati attraverso un suo Menu dedicato.

La struttura dei programmi è stata progettata in modo da trattare le schede come 
informazioni di sola lettura, mentre i files indice sono modificabili dall'utente.