Cerca in:
algebra della logica
Enciclopedia della Matematica (2013)
algebra della logica
algebra della logica espressione con cui si indica l’applicazione alla logica dell’usuale calcolo algebrico, assumendo come elementi del calcolo non numeri, ma simboli che rappresentano [...] operatori logici. L’idea di poter estendere i calcoli dai numeri a qualsiasi tipo di simboli risale a G.W. Leibniz, ma la prima vera algebra della logica fu costruita da G. Boole (→ Boole, algebra di) ed ebbe il suo compimento nell’opera sistematica ...
Leggi Tutto
Argus
Enciclopedia Dantesca (1970)
Argus
Lucia Onder
. In Fiore VIII 1 mastro Argus, il mitico Argo, figlio di Arestore e di Argea, eponimo e costruttore della nave degli Argonauti (che fece la nave, / in che Giason andò per lo tosone), [...] è confuso con il matematico arabo del IX sec. Muhammed ibn Mūsà, detto al Khuwārizmō, a cui si attribuisce l'invenzione del calcolo algebrico e delle nove cifre ( fece a conto regole e ragione / e le diece figure, com'on save, vv. 3-4); vedi ad es. ...
Leggi Tutto
geometria sintetica
Enciclopedia della Matematica (2013)
geometria sintetica
geometria sintetica metodo di studio della geometria che si avvale di strumenti grafici ideali e argomentazioni di natura logica. Strumenti fondamentali della geometria sintetica [...] operando una opportuna costruzione e assumendo come premesse dell’argomentazione gli assiomi e tutte le proposizioni precedentemente ricavate. Si contrappone alla → geometria analitica che si basa essenzialmente su procedure di calcolo algebrico. ...
Leggi Tutto
geometria
Enciclopedia on line
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] delle curve, delle superfici e delle varietà a più dimensioni e ha dato poi origine al calcolo differenziale assoluto e al calcolo tensoriale; la g. algebrica (iniziata, per le curve, da Riemann e fiorita poi specialmente in Italia con G. Veronese, L ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] dell’Ottocento, con i lavori di George Boole sull’analisi algebrica della sillogistica tradizionale (1847) e la costruzione da parte di teoria, che costituisce sotto il duplice aspetto di calcolo logico e di teoria deduttiva l’oggetto fondamentale d’ ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] elaborò, in linguaggio simbolico e con metodo che può sostanzialmente dirsi assiomatico formale, un calcolo astratto delle classi costruendo anche quella particolare algebra nota come algebra di Boole; si interessò altresì della possibilità di un ...
Leggi Tutto
Euler, Leonhard
Enciclopedia on line
{{{1}}}
Matematico, fisico e filosofo naturale (Basilea 1707 - Pietroburgo 1783). Sono poche le aree della matematica e della fisica contemporanee a cui E. non dette un importante contributo. La sua energia [...] transizione della centralità delle intuizioni matematiche dal linguaggio geometrico a quello algebrico. In E. l'unificazione della geometria algebrica con il calcolo integrale e differenziale divenne il fondamento della matematica; la sua convinzione ...
Leggi Tutto
Viète, François
Enciclopedia on line
Matematico, astronomo e uomo politico (Fontenay-le-Comte 1540 - Parigi 1603). Studiò legge a Poitiers, fu avvocato (fino al 1567), poi consigliere al parlamento di Bretagna (1573-82), quindi maître des [...] 'olandese Adriano Romano. Si dichiarò, a ragione, creatore della logistica speciosa, cioè del calcolo letterale o algebrico (in contrapposto alla logistica numerosa, o calcolo numerico); a lui forse è dovuta la cosiddetta formula di Moivre (v. Moivre ...
Leggi Tutto
modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] alla funzione di un’interpretazione alternativa.
Nel campo algebrico si può considerare invece m. di una struttura , che hanno avuto un particolare sviluppo con la diffusione delle calcolatrici analogiche. Va comunque sin d’ora osservato che i m. ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
rete
Enciclopedia on line
Insieme di linee, reali o ideali, che si intrecciano formando incroci e nodi e dando luogo a una struttura complessa. Più in particolare, infrastruttura tecnica per la distribuzione di un segnale (tipicamente [...] per tre punti. R. omaloidica Sistema lineare di ∞2 curve algebriche piane razionali di ordine n, i cui punti base assorbono n2− sequenza di decisioni ed eventi di cui si può calcolare la probabilità di verificarsi e la convenienza attesa; risalendo ...
Leggi Tutto
CATEGORIA:
BIOINGEGNERIA
–
ECOLOGIA
–
GEOMETRIA
–
ANATOMIA
–
ORGANIZZAZIONI ISTITUZIONI E SALUTE PUBBLICA
–
ECOLOGIA ANIMALE E ZOOGEOGRAFIA
–
ISTITUZIONI
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
–
ELABORATORI
–
EDILIZIA
–
STRUMENTI E TECNOLOGIA APPLICATA
–
TECNOLOGIA RADIOFONICA E TELEVISIVA
–
TELEFONIA
–
TELEMATICA