computazionale
Enciclopedia on line
Attributo di disciplina che utilizza nell’indagine teorica l’elaboratore elettronico come sistematico strumento di lavoro, per es. la meccanica c., la linguistica c.; si dice c. anche il procedimento che [...] e delle lingue: frequenza e quantità di informazione di ciascun elemento, restrizioni e regole di tipo morfologico e sintattico, traduzione automatica. Centri avanzati di linguistica c. sono attivi negli Stati Uniti e in Gran Bretagna, ma anche ...
Leggi Tutto
CATEGORIA:
LINGUISTICA GENERALE
–
TEMI GENERALI
–
CHIMICA FISICA
–
FISICA MATEMATICA
–
ANALISI MATEMATICA
–
MATEMATICA APPLICATA
Leonardo da Vinci
Enciclopedia on line
Pittore, architetto, scienziato (Vinci, Firenze, 15 aprile 1452 - castello di Cloux, od. Clos-Lucé presso Amboise, 2 maggio 1519). Ha personificato il genio rinascimentale che rivoluzionò sia le arti figurative [...] : l'ortografia approssimativa e incoerente, l'impronta vernacolare toscana con tracce di fonetica lombarda, l'andamento sintattico semplificato, che procede per coordinazioni successive, ma in cui il ripetuto uso di anacoluti testimonia di una ...
Leggi Tutto
Modelli, Teoria dei
Enciclopedia della Scienza e della Tecnica (2007)
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] che se T è model-completa e ha una sottostruttura prima che è anche modello, sarà completa. Robinson formula anche un criterio sintattico per la model-completezza, provando che T è model-completa se per ogni B esiste una B′ universale (o esistenziale ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Informatica teorica
Enciclopedia della Scienza e della Tecnica (2007)
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] i loro lavori sulla semantica operazionale del LISP e dell'Algol. In un approccio molto utilizzato, di tipo essenzialmente sintattico, il modello di calcolo astratto è costituito da tutte le espressioni (termini) costruibili con i simboli di funzione ...
Leggi Tutto