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

logo del sistema bibliotecario dell'ateneo di padova

Valentini, Silvio (1977) L'uso del calcolo dei predicati per la scrittura di algoritmi. [Laurea vecchio ordinamento]

Per questo documento il full-text online non è disponibile.

Abstract

Sono presentate alcune esperienza di programmazione ed alcune considerazioni teoriche che si sono fatte con un interprete per un linguaggio di programmazione basato sul calcolo dei predicati del primo ordine.

Item Type:Laurea vecchio ordinamento
Corsi di Laurea vecchio ordinamento:Facoltà di Scienze MM. FF. NN. > CL Matematica
Uncontrolled Keywords:calcolo dei predicati
Subjects:Area 01 - Scienze matematiche e informatiche > MAT/01 Logica matematica
Area 01 - Scienze matematiche e informatiche > INF/01 Informatica
Codice ID:10089
Relatore:Sambin, Giovanni
Data della tesi:1977
Biblioteca:Polo di Scienze > Biblioteca del Seminario Matematico
Collocazione:TESI.60
Tipo di fruizione per il documento:solo consultazione
Tesi sperimentale (Si) o compilativa (No)?:No

Solo per lo Staff dell Archivio: Modifica questo record