decidibile
decidìbile [Der. di decidere: → decisione] [FAF] [ALG] Di una teoria formalizzata per la quale esista un procedimento effettivo (cioè realizzabile in un numero finito di passi ben determinati) [...] per accertare se una qualsiasi formula del suo linguaggio è o no un teorema di essa. ...
Leggi Tutto
semantica
semàntica [Der. del fr. sémantique, termine introdotto, dal gr. semantikós (da semaíno "significare"), nel 1897 dal linguista M.-J.-A. Bréal per indicare quel ramo della linguistica che s'occupa [...] , ma guardando al loro significato] [ALG] [FAF] Nella logica matematica, in contrapp. a sintassi, che studia i linguaggi formali (intese come pure sequenze di simboli), l'elaborazione con la quale si attribuisce un'interpretazione, e quindi un ...
Leggi Tutto
L’atto e l’effetto del muoversi, cioè dello spostarsi di un corpo da una posizione o configurazione a un’altra; si contrappone a quiete ed è sinonimo di movimento, a cui in genere è preferito nel linguaggio [...] tecnico e scientifico, dove assume accezioni proprie e specifiche.
Astronomia
Si chiama m. ognuno degli spostamenti effettivi o apparenti degli astri.
Il m. apparente della sfera celeste (o del Sole, ...
Leggi Tutto
Con il termine f. gli antichi designavano la riflessione filosofica sui fenomeni della natura, e quindi il suo ambito era strettamente connesso al concetto di natura cui di volta in volta ci si riferiva. [...] convenzionale e fini prevalentemente didattici. A base della f. è generalmente il metodo sperimentale, associato al linguaggio, alla elaborazione e, assai spesso, alla previsione matematica. A base del metodo sperimentale sta la possibilità ...
Leggi Tutto
alfabeto
alfabèto [Der. del lat. alphabetum, dal gr. alfábetos, comp. dei nomi delle due prime lettere] [ALG] [FAF] [INF] Un insieme finito di segni, con il quale sia possibile sviluppare un certo sistema [...] di simboli o, come si dice usualmente, un linguaggio: v. logica: III 483 c. ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Galilei e la geometria del moto accelerato
Enrico Giusti
Galilei e la geometria del moto accelerato
Tra l'impressionante numero di testi scientifici, [...] ottiene sommando tutte le circonferenze, cioè tutti i gradi di velocità oppure, se si vuole, tutte le velocità istantanee. Il linguaggio di Cavalieri è qui molto crudo e diretto: parla esplicitamente di somma di tutti i gradi di velocità, un termine ...
Leggi Tutto
algoritmizzazione
algoritmizzazióne [Der. di algoritmizzare "tradurre in algoritmi"] [FAF] [INF] Processo di traduzione in algoritmi di un fenomeno naturale o artificiale, a scopo conoscitivo o normativo. [...] L'interesse maggiore di queste rappresentazioni si ha in discipline nuove, prive di un linguaggio formale proprio, che adottano gli algoritmi come strumento di ricerca e di conoscenza, come nel caso della psicologia cognitiva, della linguistica ...
Leggi Tutto
identificatore
identificatóre [agg. (f. -trice) e s.m. Der. di identificazione] [LSF] Di procedimento o, concret., dispositivo per effettuare un'identificazione. ◆ [ELT] [INF] Simb. alfanumerico con [...] variabile o una routine di un programma per un calcolatore elettronico; completata che sia la traduzione dal linguaggio di programmazione al linguaggio di macchina, il traduttore stesso provvede in genere a stampare una tabella contenente tutti gli i ...
Leggi Tutto
Fisica
Nella meccanica dei fluidi, lunghezza d’i. è la distanza fra la sezione di ingresso di un fluido in un condotto e la sezione in cui il moto non risente più delle perturbazioni che nascono nella [...] sezione di ingresso.
Tecnica
Nel linguaggio militare, tiro di i., quello intenzionalmente diretto a infilare feritoie di strutture difensive ovvero aperture di gallerie o di ricoveri.
Negli impianti di funivia, angolo d’i. di un pilone è l’angolo ...
Leggi Tutto
. Fisica. - Con questo nome potrebbero essere indicate tutte le macchine elettriche destinate alla accelerazione di ioni; nel linguaggio tecnico però si suole con esso alludere alla limitata categoria [...] degli acceleratori lineari di ioni.
Nella sua forma più semplice, un acceleratore lineare di ioni è costituito da una serie di elettrodi cavi a forma di cilindri, allineati entro un recipiente in cui viene ...
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...
elaborazione del linguaggio naturale (sigla NLP, Npl) loc. s.le f. Ramo dell'informatica e, in particolare, dell'intelligenza artificiale, che studia come programmare i computer perché analizzino e comprendano i dati del linguaggio naturale...