Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] In questa forma il principio (noto anche con il nome principio di i. forte) non può appartenere a una teoriadelprimoordine in cui non si può esprimere il concetto «per ogni proprietà», non essendo quantificabili le variabili predicative. In queste ...
Leggi Tutto
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] polacco J. Łoš che collega questa tecnica algebrica alla costruzione di modelli di una teoriadelprimoordine v. logica matematica in questa App. "Uno dei più importanti concetti relativi ad a. universali " (G. Grätzer) è quello di "a. libere". Si ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] americana Julia Robinson dimostra che la teoriadelprimoordinedel campo razionale è indecidibile; non esiste, cioè, un algoritmo che, data una formula della logica delprimoordine nel linguaggio della teoria dei campi, stabilisca in un tempo ...
Leggi Tutto
Matematica
Definizioni
Si chiama e. un’uguaglianza tra due espressioni contenenti una o più variabili ovvero una o più funzioni o anche enti di natura più generale ( incognite dell’e.); se essa è soddisfatta, [...] Cauchy , il problema di determinare la soluzione del sistema di e. delprimoordine
[9]
con le condizioni iniziali
[10]
Per certe funzioni note: per es., f(x+Δx)−f(x)=2Δx. La teoria di tale tipo di e. ha molti punti di contatto con quella delle ...
Leggi Tutto
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 [...] linguaggi, quelli enunciativi e quelli equazionali, oltre i quali stanno i linguaggi delprimoordine e di ordine superiore.
Abstract di approfondimento da Modelli, Teoria dei di Silvio Bozzi (Enciclopedia della Scienza e della Tecnica)
Malgrado le ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] si può ricondurre a un s. di nk equazioni delprimoordine.
S. in cui le incognite compaiono al primo grado; se le equazioni sono differenziali, compaiono al primo grado anche le derivate. La teoria per la risoluzione dei s. di equazioni lineari ...
Leggi Tutto
Biologia
In biologia cellulare, r. endoplasmatico (o endoplasmico), sistema di cavità delimitate da membrane, presente nel citoplasma di tutte le cellule. È costituito da una membrana formata da un unico [...] di quella di ordine zero (fig. 2B), che prendono il nome di onde delprimoordine; analogamente, si parla di onde del secondo ordine per k=±2, intersezione: segue da ciò il principio di dualità della teoria dei r., secondo il quale in ogni teorema T ...
Leggi Tutto
VARIAZIONI, CALCOLO DELLE.
Leonida Tonelli
- È quel ramo dell'analisi matematica che studia i problemi di massimo e minimo (v. massimi e minimi) relativi a quantità variabili, che si presentano sotto [...] metodo che poggia essenzialmente sui legami esistenti fra il calcolo delle variazioni e la teoria delle equazioni alle derivate parziali delprimoordine.
Il più semplice problema in forma ordinaria.
I. Generalità. - Supporremo, per semplicità, che ...
Leggi Tutto
(v. equazioni, XIV, p. 132; App. III, I, p. 564; IV, I, p. 714)
Ogni anno migliaia di pubblicazioni compaiono nella letteratura scientifica e ci si dovrà quindi limitare a delineare alcune linee essenziali, [...] stati ottenuti diversi risultati importanti per questo tipo di equazioni. Il primo è un'estensione della teoria per le equazioni delprimoordine; anche per le equazioni del secondo ordine è possibile definire una classe di soluzioni di viscosità e P ...
Leggi Tutto
L'a. n. è una branca della matematica che si occupa di individuare, analizzare e implementare algoritmi per la risoluzione approssimata di problemi matematici in genere, che possono scaturire da pure speculazioni, [...] sofisticate confluisce nei vasti capitoli della teoria dell'approssimazione e dell'analisi funzionale. complessità troviamo i sistemi di equazioni differenziali ordinarie, di cui un esempio delprimoordine con due incognite y e z è dato da:
y'(t) ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
miṡura s. f. [lat. mensūra, der. di mensus part. pass. di metiri «misurare»]. – 1. a. Il valore numerico attribuito a una grandezza, ottenuto ed espresso come rapporto tra la grandezza data e un’altra della stessa specie assunta come unità (unità...