Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] necessari (i cosiddetti futuri contingenti). La parte finaledel De interpretatione è dedicata poi all’esame la convenzione è capovolta: invertendo il tipo di l., le porte logiche elementari e fondamentali si trasformano nelle loro duali (AND in ...
Leggi Tutto
Anatomia
N. del seno (o n. seno-atriale) Formazione anatomica situata nell’atrio destro del cuore, in corrispondenza dello sbocco della vena cava superiore, importante nella regolazione del ritmo cardiaco.
Astronomia
Per [...] . Un metodo alternativo porta a un’elegante formulazione del polinomio di Jones in termini di una somma sugli stati del diagramma. In tale probabilità per un processo con stato iniziale ‹a| e finale |b›. La notazione di Dirac pone in risalto il ...
Leggi Tutto
Qualsiasi cosa (segno, gesto, oggetto, animale, persona), la cui percezione susciti un’idea diversa dal suo immediato aspetto sensibile. L’originaria funzione pratica, prevalente ma non esclusiva, è sostituita [...] de Fourcroy e L.-B. Guyton de Morveau (➔ nomenclatura) portò anche a una radicale trasformazione della simbologia chimica che fu promossa cielo, dove siede alla destra del Padre, l’attesa del giudizio finale. A questa formulazione trinitaria seguono ...
Leggi Tutto
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] che minimizza la funzione:
Q(β) = (Y−Xβ)′(Y−Xβ)
Tale metodo porta a stimare β con
β̂=(X′X)−1X′Y
Il teorema di Gauss-Markov con la determinazione di quella finale per il tramite della formula di Bayes. La teoria base del modello lineare da un punto ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] quali sottoobiettivi sono necessari per raggiungere l'obiettivo finale; esso si discosta quindi dagli usuali linguaggi imperativi (SPS) del CERN di Ginevra raggiunge 400 GeV. Tale risultato è conseguito il 17 giugno. Il SPS si porta così tra ...
Leggi Tutto
Il Rinascimento. L'astronomia
J.V. Field
L'astronomia
Gli storici dell'arte e delle discipline umanistiche si sentirebbero forse a proprio agio definendo 'Rinascimento' il periodo che va dal 1400 al [...] fedele alle proporzioni mostrate nella figura del manoscritto finale autografo di Copernico e l'illustrazione (1573), per poi intraprendere un viaggio per l'Europa che lo portò fino a Cassel, dove ebbe l'occasione di incontrare il langravio, e ...
Leggi Tutto
Algebra
Irving Kaplansky
sommario: 1. Introduzione. 2. Gruppi in generale. 3. Gruppi semplici finiti. 4. Gruppi infiniti. 5. Gruppi liberi. 6. Gruppi abeliani infiniti. 7. Anelli in generale. 8. Corpi. [...] così artificiale, diventa del tutto naturale.
Il punto di vista delle trasformazioni lineari ha portato, attorno al insieme di morfismi ciascuno dei quali ha un oggetto iniziale A, uno finale B, ed è rappresentato mediante una freccia A B tra l'uno ...
Leggi Tutto
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] transizione verso l'uso del linguaggio artificiale e il lavoro lasciato incompiuto da lui fu portato a termine subito dopo with the collaboration of Shiva G. Bajpai [et al.], final map drafts by the American Geographical Society of New York, Chicago ...
Leggi Tutto
Popolazione
Alfred Sauvy
di Alfred Sauvy
Popolazione
sommario: 1. Concetti generali. 2. Misurazione dei fenomeni demografici. a) Censimenti e statistiche correnti. b) Migrazioni internazionali e interne. [...] quando il posto di frontiera è un porto marittimo. In linea generale, l'immigrazione è si calcola la discendenza finale di una determinata generazione che la si può considerare come un buon test del sottosviluppo. Così l'Italia ha visto le regioni ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] per mezzo del modus ponens).
Infine consideriamo come teorema ogni proposizione che compaia come proposizione finale in una F(k)=fk(k). Ma, per costruzione, F(k)=fk(k)+1. Il che porta alla fk(k)=fk(k)+1, cioè a una contraddizione che mostra che F(x ...
Leggi Tutto
finale
agg. e s. m. e f. [dal lat. tardo finalis, der. del sost. finis «fine2» e «fine3»]. – 1. agg. a. Della fine, che viene alla fine, cioè al termine di qualche cosa, quindi ultimo, conclusivo: pezzo, scena f.; esito f.; prova, esame f.;...
porta1
pòrta1 s. f. [lat. pŏrta, affine a pŏrtus -us «porto3»] (pl. -e; pop. ant. le pòrti). – 1. a. Vano aperto in un muro o altra struttura per crearvi un passaggio costituito da un elemento orizzontale (soglia) posto a livello del pavimento,...