DE MAURO, Tullio
Federico Albano Leoni
Nacque a Torre Annunziata (Napoli) il 31 marzo 1932, da Oscar, chimico e farmacista, originario di Foggia, e da Clementina Rispoli, napoletana, di formazione [...] e rappresenta, mostrando come da un lato le lingue naturali presentino alcuni tratti comuni con i linguaggiformali, per esempio della matematica (sinonimia, ricorsività, articolatezza), ma dall’altro, grazie alla loro creatività, cioè alla ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] della correttezza e affidabilità ‒ le teorie matematiche si possono vedere come sistemi deduttivi definiti in opportuni linguaggiformali aventi un carattere puramente combinatorio, specificabile in termini di insiemi di assiomi e di regole di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] insiemi di successioni che le soddisfano), tuttavia dalle considerazioni di Tarski ben traspare il progetto generale: trasformare il discorso sui linguaggiformali, sulle strutture di cui questi parlano e sui rapporti attraverso cui appunto quei ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Cinquanta del Novecento furono proposti due approcci allo studio matematico [...] , 1957) propone una gerarchia di grammatiche, oggi chiamata gerarchia di Chomsky, per classificare la complessità dei linguaggiformali.
Un linguaggioformale è un insieme di stringhe di simboli di lunghezza finita costruiti sulla base di un dato ...
Leggi Tutto
automa
automa dispositivo in grado di effettuare una particolare azione in risposta a stimoli esterni. I computer sono esempi di automi complessi che, a partire da dati e programmi, eseguono i comandi. [...] deterministici sono maggiormente descrittivi, ma molti problemi che li riguardano non sono decidibili. Si costruisce così una gerarchia di complessità dei vari automi, analoga alla gerarchia di ampiezza dei linguaggiformali (→ Turing, macchina di). ...
Leggi Tutto
grammatica
grammatica in informatica teorica, termine che designa una struttura formale per un linguaggio L in grado di generare tutte e sole le stringhe del linguaggio. Per questo si parla di grammatica [...] stringhe che gli appartengono. Così, la maggiore applicazione delle grammatiche generative si è avuta nella costruzione di linguaggiformali e nell’automazione di quella fase della programmazione in cui l’automa deve stabilire se una data istruzione ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] come detto sopra, è quella parte della logica matematica che studia le relazioni tra insiemi di espressioni di un linguaggioformale (teorie formalizzate) e insiemi di strutture in cui quelle espressioni sono valide. Nella presente esposizione ci si ...
Leggi Tutto
SOFTWARE
Carlo Ghezzi
Ester Capuzzo
Ingegneria del software. - Nel contesto di questa voce, il termine software verrà usato in un'accezione ampia, che comprende sia il prodotto, cioè l'insieme dei [...] che il sistema realizzato sia comunque alla fine accettabile per il committente. Una delle maggiori speranze riposte nei linguaggiformali di specifica che si stanno oggi sperimentando è che con essi si possa arrivare a una convalida a fondo ...
Leggi Tutto
Nautica
Andrea Vallicelli
Il termine nautica indica la pratica e l'arte della navigazione, in particolare quella da diporto, ossia la navigazione per scopi ricreativi o sportivi e l'insieme dei prodotti, [...] vele, e programmi semplificati di previsione della velocità VPP (Velocity Prediction Program).
Sul terreno dell'innovazione dei linguaggiformali il design gioca un ruolo chiave specialmente nel settore dei motor-yacht in cui si registrano spesso ...
Leggi Tutto
ASIA SUD-ORIENTALE, Arte della (v. vol. II, p. 104, s.v. Birmania·, vol. II, p. 281, s.v. Cambogia; vol. IV, p. 150, s.v. Indocina, Arte della·, vol. IV, p. 157, s.v. Indonesiana, Arte)
M. Spagnoli
vol. [...] estetici desunti dal grandioso patrimonio di precettistica e di esperienze artistiche dell'India, riuscirono a creare nuovi linguaggiformali, adeguati alle diverse esigenze e condizioni d'ambiente.
Tali espressioni non si pongono mai in contrasto ...
Leggi Tutto
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...
formale1
formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...