proposizione

Dizionario delle Scienze Fisiche (1996)

proposizione proposizióne [Der. del lat. propositio -onis, dal part. pass. propositus di proponere "mettere avanti", comp. di pro- e ponere "porre"] [ALG] [FAF] Nella logica matematica, enunciazione [...] e viceversa (ciò è noto anche come legge delle p. inverse). ◆ [ALG] [FAF] Algebra, o calcolo, delle p., o calcolo degli enunciati: il calcolo algebrico logico nel quale, senza indagare sulla struttura delle singole p. semplici, si esamina come queste ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

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

TAGS: OPERAZIONI DI PROIEZIONE E SEZIONE – TEORIA QUANTISTICA DEI CAMPI – TEORIA DELLE SUPERSTRINGHE – POSTULATO DELLE PARALLELE – METODO DELL’ASSONOMETRIA

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

CATEGORIA: FILOSOFIA DEL DIRITTO – LOGICA – ELETTRONICA

TAGS: PRINCIPIO DEL TERZO ESCLUSO – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI – CALCOLO DIFFERENZIALE

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

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA

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

CATEGORIA: BIOGRAFIE – STORIA DELL ASTRONOMIA – STORIA DELLA MATEMATICA

TAGS: TRIGONOMETRIA SFERICA – CALCOLO LETTERALE – ADRIANO ROMANO – MATEMATICA – ENRICO III

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

TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM

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

TAGS: LINGUAGGIO DI PROGRAMMAZIONE – LINEARMENTE INDIPENDENTI – TRASFORMATA DI FOURIER – TRASFORMATA DI LAPLACE – PROGRAMMAZIONE LINEARE

numero

Enciclopedia on line

Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] reale maggiore o uguale a 2 e, a secondo membro, il prodotto infinito è calcolato per tutti i valori primi di p. La [1] riassume, in realtà, un corpo F=Q(α), l’insieme di tutti gli interi algebrici di F costituisce un anello indicato con OF. Per es., ... Leggi Tutto

CATEGORIA: CRITICA RETORICA E STILISTICA – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA – ALGEBRA – ARITMETICA – CONTABILITA – DOTTRINE TEORIE E CONCETTI – DOTTRINE TEORIE CONCETTI

TAGS: FUNZIONI DI VARIABILE COMPLESSA – SISTEMI DI EQUAZIONI, LINEARI – FUNZIONI DI VARIABILE REALE – RELAZIONE DI EQUIVALENZA – FUNZIONE ZETA DI RIEMANN

numerico, calcolo

Enciclopedia on line

Parte dell’analisi matematica che si occupa della ricerca di algoritmi per la risoluzione numerica di problemi quali l’approssimazione di funzioni e l’integrazione di equazioni differenziali ordinarie [...] grafico). Storicamente la maggior parte dei metodi n. concerneva l’interpolazione, la risoluzione di equazioni algebriche e trascendenti, il calcolo di integrali definiti e la risoluzione di equazioni differenziali ordinarie con l’uso delle semplici ... Leggi Tutto

CATEGORIA: ANALISI MATEMATICA

TAGS: EQUAZIONI ALLE DERIVATE PARZIALI – SISTEMI DI EQUAZIONI LINEARI – METODO AGLI ELEMENTI FINITI – POLINOMIO CARATTERISTICO – EQUAZIONE DIFFERENZIALE

matrice

Enciclopedia on line

Anatomia Ammasso di cellule epiteliali alla cui attività si deve la formazione di un tessuto. M. dell’unghia L’ammasso di cellule dello strato onicogeno che si osserva in corrispondenza della radice dell’unghia [...] che consentono di determinare rapidamente gli autovalori e gli autovettori (➔ numerico, calcolo). Equazione caratteristica di una matrice Per una m. A quadrata di ordine n, è l’equazione algebrica di grado n in x, ottenuta uguagliando a zero il ... Leggi Tutto

CATEGORIA: ANTROPOLOGIA FISICA – BIOINGEGNERIA – BIOLOGIA MOLECOLARE – CITOLOGIA – ANATOMIA MORFOLOGIA CITOLOGIA – FISICA MATEMATICA – FISICA NUCLEARE – ANALISI MATEMATICA – ANATOMIA – INDUSTRIA GRAFICA – MECCANICA APPLICATA – STRUMENTI E TECNOLOGIA APPLICATA

TAGS: EQUAZIONE DIFFERENZIALE OMOGENEA – EQUAZIONI DIFFERENZIALI LINEARI – SISTEMI DI EQUAZIONI LINEARI – POLINOMIO CARATTERISTICO – TABELLE A DOPPIA ENTRATA