Risultati della ricerca
Vai alla navigazione
Vai alla ricerca
Corrispondenze nel titolo delle pagine
- ...rsioni mantengono il design centrale della logica costruttiva, utilizzando tipi dipendenti. ...re un numero specifico che è sia primo che maggiore di 1000. La teoria dei tipi intuizionista ha raggiunto quest'obiettivo interiorizzando l'[[interpretazi ...34 KB (5 205 parole) - 12:43, 19 mar 2025
Corrispondenze nel testo delle pagine
- In [[logica matematica]], una teoria formale si dice '''coerente''' (o '''non contraddittoria''', talvolta anche * '''coerenza sintattica''' se nella teoria non si possono dimostrare contemporaneamente una [[formula ben formata]] e ...2 KB (232 parole) - 23:21, 12 lug 2024
- Nella [[teoria quantistica dei campi]], un campo scalare è un [[campo bosonico]], associato a particelle d == Altri tipi di campi == ...3 KB (429 parole) - 00:35, 10 feb 2023
- ...n abeliana costruita sul modello della [[elettrodinamica quantistica]] (la teoria dell'interazione elettromagnetica). ...oli (si dice che si è in regime non perturbativo), è necessario utilizzare dei '''modelli efficaci''' in grado di tenere conto di alcuni aspetti della QCD ...2 KB (323 parole) - 13:45, 25 giu 2021
- {{Organizzare|manca una legenda o spiegazione del significato dei singoli termini scritti nelle funzioni|scienza|ottobre 2015}} ==Tipi di frangimento== ...3 KB (469 parole) - 01:24, 13 gen 2025
- ...siomi logici''' sono un insieme (infinito) di [[assioma|assiomi]] di una [[teoria del primo ordine]] che formalizzano tutte le deduzioni logiche che solitame Notare che si tratta di [[schema di assiomi|schemi di assiomi]], ciascuno dei quali ha infinite diverse istanze. ...3 KB (458 parole) - 15:20, 12 mar 2025
- ...ne '''gruppo moltiplicativo''' si riferisce, a seconda del contesto ad uno dei seguenti concetti: ...ath>-esime, e assume un [[prodotto fibrato]] appropriato nel senso della [[teoria degli schemi]] di questo, con il morfismo <math>e</math> che funziona come ...3 KB (404 parole) - 11:04, 10 giu 2024
- {{S|teoria dei numeri}} ...10.svg|thumb|Rappresentazione ottenuta attraverso i [[regoli Cuisenaire]] dei fattori che compongono il numero 10]] ...3 KB (375 parole) - 11:03, 29 ott 2024
- ...tecnica per trovare soluzioni a problemi in cui devono essere soddisfatti dei vincoli. Questa tecnica enumera tutte le possibili soluzioni e scarta quell Il ''backtracking'' ha una [[Teoria della complessità algoritmica|complessità]] esponenziale, quindi è poco eff ...4 KB (492 parole) - 18:33, 8 feb 2024
- Nella [[Teoria della probabilità|teoria delle probabilità]] una '''filtrazione,''' o base stocastica''',''' su uno == Tipi di filtrazione == ...5 KB (815 parole) - 09:57, 17 mar 2022
- ...in [[algebra]], l'aggettivo '''nilpotente''' serve per caratterizzare vari tipi di entità. ...Antonio Machì|titolo=Gruppi: Una introduzione a idee e metodi della Teoria dei Gruppi|anno=2010|isbn=88-470-0622-8|editore=Springer}} ...2 KB (313 parole) - 17:16, 29 nov 2022
- ...uleggia in metallo, utilizzata per facilitare l'operazione di sollevamento dei maiali dopo l'uccisione]] == Tipi di carrucole == ...3 KB (448 parole) - 19:27, 9 feb 2025
- ...bilmente costruibili: fondamentali tra questi sono i morfismi tra [[teoria dei grafi|grafi]], applicazioni che mantengono le relazioni di adiacenza. Colle ...e per la [[geometria]]. Lo studio generale dei morfismi si colloca nella [[teoria delle categorie]]. ...5 KB (825 parole) - 15:04, 12 ott 2024
- Pur avendo a che fare più con la [[teoria degli insiemi]] che con la [[frattali|geometria frattale]]<ref name="picg"> ==Tipi== ...4 KB (543 parole) - 17:07, 6 ago 2023
- {{teoria delle stringhe}} ...è una struttura subatomica ipotetica, principale oggetto di studio della [[teoria delle stringhe]]. ...7 KB (883 parole) - 05:48, 15 apr 2024
- ...à sono vero e falso, e ogni proposizione assume necessariamente almeno uno dei due valori e nessun altro (un valore e uno solo), per denotare i quali si u ...gebra booleana]] a due stati. Alternativamente, si possono adoperare altri tipi di [[Algebra|algebre]] come insiemi di valori di verità in logiche non clas ...2 KB (204 parole) - 07:17, 9 gen 2025
- ...il nome dalle omonime proprietà dei [[funtore (matematica)|funtori]] in [[teoria delle categorie]]. ...≤ T</code>.<ref><code> T' ≤ T </code> denota la [[relazione d'ordine]] sui tipi (<code>T'</code> è sottotipo di <code>T</code>).</ref> Un operatore è detto ...7 KB (968 parole) - 22:28, 29 mag 2024
- La '''teoria degli insiemi''' è una [[teoria]] [[matematica]] posta ai [[fondamenti della matematica]] stessa, collocand ...insiemi di Zermelo-Fraenkel|sistema assiomatico di Zermelo-Fraenkel]] e [[Teoria degli insiemi di Von Neumann-Bernays-Gödel|sistema assiomatico di Von Neuma ...5 KB (631 parole) - 19:38, 21 giu 2024
- ...matematica]], '''la teoria di Kummer''' fornisce una descrizione di alcuni tipi di [[estensione di campi|estensioni di campi]] corrispondenti all'aggiunta La teoria è stata inizialmente sviluppata da [[Ernst Kummer]] verso la metà del dicia ...6 KB (951 parole) - 12:41, 13 dic 2024
- {{F|teoria dei grafi|novembre 2014}} {{S|teoria dei grafi}} ...3 KB (438 parole) - 20:12, 11 gen 2025
- ..., le strategie e gli equilibri ottimi, e la comparazione dei risultati. La teoria delle aste è egualmente usata come uno strumento per informare la progettaz ==Tipi di Asta== ...9 KB (1 374 parole) - 15:08, 14 lug 2021