algoritmo
algoritmo [Der. del lat. mediev. algorithmus o algorismus, dal nome d'origine al-Huwa-rizmī- del matematico arabo Muhammad ibn Mu-sa, del 9° sec.] [ALG] [INF] Qualunque schema o procedimento [...] → Markov, Andrej AndreevicŠ Senior. ◆ [ALG] [FAF] A. ricorsivo: → ricorsivo. ◆ [INF] Teoria degli a.: è una delle basi teoriche dell'informatica, che ha trovato una sistemazione nell'ambito della logica solo nel 20° sec.: v. algoritmi, teoria degli. ...
Leggi Tutto
Modello
Silvano Petrarca
Il termine modello è diffusamente utilizzato per indicare un ampio insieme di costruzioni formali ottenute mediante schematizzazioni di processi, comportamenti, situazioni ecc., [...] dovrebbe passare a nuove ipotesi ottenute per mezzo dell'intuizione. Questo modo di vedere la scienza è stato criticato dai logici a causa della sua chiusura, caratteristica che lo mette sotto accusa di incompletezza per il teorema di K. Gödel.
Con ...
Leggi Tutto
programmazione
programmazióne [Der. di programmare "preparare un programma"] [LSF] (a) La formulazione di un programma. (b) Con signif. particolare nelle locuz. p. lineare e non lineare (v. oltre). ◆ [...] (v. oltre), non sulla sequenza di singole istruzioni, ma sull'identificazione di funzioni da assolvere; (d) p. logica: basata sull'uso di espressioni logiche (v. linguaggi di programmazione: III 428 e); (e) p. procedurale, o imperativa, in cui la p ...
Leggi Tutto
FLUIDICA
Alessandro De Carli
. La f. è una particolare tecnologia secondo cui sono realizzati componenti pneumatici privi di parti meccaniche in movimento, per elaborare informazioni aventi come supporto [...] caratteristiche o su materiale ceramico.
Nella fig. 2B è mostrato il profilo di un componente modulare che realizza la funzione logica NOR in cui l'elemento attivo è costituito da un amplificatore a effetto parete. E stata usata la stessa simbologia ...
Leggi Tutto
notazione
notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] non connesse a una precisa regola di scomposizione dei numeri. ◆ [STF] [ALG] [FAF] Nella teoria degli insiemi e nella logica matematica vi fu la tendenza (G. Peano) a introdurre una particolare n., includente pressoché tutte le proposizioni e le ...
Leggi Tutto
formula
fórmula [Lat. formula, dim. di forma nel signif. di "aspetto esteriore, rappresentazione"] [LSF] Complesso di simboli (numeri, lettere, ecc.) e di segni convenzionali indicanti relazioni, operazioni, [...] f. di struttura✄(i tratti semplici e doppi indicano legami, rispettiv., semplici e doppi). ◆ [FAF] F. chiusa, falsa, valida, vera: v. logica: III 484 d, 485 a. ◆ [OTT] F. dei costruttori di lenti: altro nome della f. delle lenti sottili, o di Gauss ...
Leggi Tutto
Livello massimo, al di sopra o al di sotto del quale si verifica un fenomeno.
Fisica
Angolo limite
In ottica, nel passaggio di un raggio da un mezzo a un altro con indice di rifrazione assoluto inferiore [...] Fu poi ripresa e utilizzata sistematicamente da I. Newton e G. Leibniz, ideatori del calcolo infinitesimale, e successivamente sistemata in forma logica precisa nel 19° sec. da B. Bolzano, L.-A. Cauchy e K.T.W. Weierstrass. In seguito la nozione di l ...
Leggi Tutto
variabile
variàbile [agg. e s.f. Der. del lat. variabilis, da variare "variare"] [ANM] Di una quantità che può assumere valori in un certo insieme numerico, o, più in generale, di un simb. che rappresenta [...] VI 175 a. ◆ [ASF] V. veloci: v. Sistema Solare: V 279 f. ◆ [FAF] V. vincolata: quella sottoposta a un quantificatore: v. logica: III 484 d. ◆ [PRB] Componenti di una v. casuale: v. probabilità classica: IV 584 f. ◆ [PRB] Convergenza di v. casuali: v ...
Leggi Tutto
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] ) al cosiddetto Entscheidungsproblem posto da D. Hilbert nel 1928: esiste una procedura meccanica capace di stabilire se una proposizione logica del primo ordine è sempre vera? Il l. calcolo è un formalismo in grado di descrivere in maniera rigorosa ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] esattamente due atomi di idrogeno e uno di ossigeno per realizzare una molecola d'acqua. Tale idea consente di rivisitare la logica e la teoria della dimostrazione da un punto di vista completamente nuovo.
Il premio Wolf a Peter D. Lax. I contributi ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...