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
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
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
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
sintattico
sintàttico agg. [dal gr. συντακτικός, der. di σύνταξις «sintassi»] (pl. m. -ci). – 1. Di sintassi, che riguarda la sintassi: problemi, studî, procedimenti s.; usi s.; accento s. (o di frase), l’accrescimento del tono di voce su...
sintattica
sintàttica s. f. [dall’ingl. syntactics, che è dall’agg. syntactic «sintattico»]. – Nella filosofia del linguaggio di Ch. Morris (1901-1979), quella branca della semiotica che studia i rapporti formali dei segni fra loro, ossia...