Risultati della ricerca
Vai alla navigazione
Vai alla ricerca
Corrispondenze nel titolo delle pagine
- ...formula ben formata|formule ben formate]] che si intende includere tra gli assiomi di una teoria [[logica proposizionale|proposizionale]] o [[teoria del primo Un esempio semplice è lo schema di assiomi: ...985 byte (145 parole) - 18:44, 13 lug 2022
- ...zzate spesso nella geometria piana sono gli [[assiomi di Hilbert]] e gli [[assiomi di Tarski]]. ...2 KB (317 parole) - 04:36, 31 mar 2024
- ...che intercorrono tra [[Dipendenza funzionale|dipendenze funzionali]]. Gli assiomi di Armstrong sono di ''Riflessività'', ''Aumento'' e ''Transitività''. In t Oltre agli Assiomi di Armstrong esistono altre [[Regola di inferenza|regole di inferenza]] add ...4 KB (650 parole) - 10:10, 23 apr 2024
- ...'' <math>P(E)</math>, è definita in modo da soddisfare questi assiomi. Gli assiomi sono descritti di seguito. Questi assiomi possono essere riassunti come segue: Sia (Ω, ''F'', ''P'') uno [[ ...6 KB (842 parole) - 22:09, 8 giu 2024
- In [[fisica]], gli '''assiomi di Wightman''', noti anche come '''assiomi di Gårding–Wightman''',<ref>{{Cita web|url=http://www.encyclopediaofmath.or ...]] è quello di realizzare [[Esistenza di Yang-Mills e del gap di massa|gli assiomi di Wightman nel caso dei campi di Yang-Mills]]. ...5 KB (704 parole) - 19:36, 8 ago 2022
- ...nte l'insieme dei [[numeri naturali]]. Un modo informale di descrivere gli assiomi può essere il seguente: ...eri naturali voluto. Oltre a questi assiomi, Peano sottintende anche gli [[assiomi logici]] che gli permettono di operare con la [[logica]] simbolica. ...9 KB (1 322 parole) - 13:41, 5 mar 2025
- ...ia è svolto dal ''simbolo di relazione binaria'' <math>E</math> allora gli assiomi per l'uguaglianza per <math>E</math> sono i seguenti: ...hema di assiomi|schemi di assiomi]] che includono una quantità infinita di assiomi. (U2) esprime il fatto che se due [[termine (logica matematica)|termini]] d ...3 KB (386 parole) - 22:49, 8 nov 2017
- Gli '''assiomi di Huzita-Hatori''' sono gli assiomi su cui si basa la [[matematica]] degli [[origami]]. I primi sei assiomi sono stati formulati dal [[lista matematici|matematico]] [[Italia|italo]]-[ ...8 KB (1 308 parole) - 23:51, 3 lug 2023
- ...insiemi]], lo '''schema di assiomi di rimpiazzamento''' è uno [[schema di assiomi]] della [[teoria degli insiemi di Zermelo-Fraenkel]]. ...rdine|linguaggio formale]] degli assiomi di Zermelo-Fraenkel, lo schema di assiomi si scrive: ...8 KB (1 119 parole) - 19:18, 2 ott 2023
- ...te gli '''assiomi di chiusura di Kuratowski''' sono un gruppo di [[assioma|assiomi]] che possono essere utilizzati per definire una [[struttura topologica]] s Un gruppo simile di assiomi può essere utilizzato per definire una struttura topologica sfruttando escl ...6 KB (910 parole) - 19:49, 10 mar 2021
- ...ificazione''', o '''schema di assiomi di separazione''', è uno [[schema di assiomi]] della [[teoria degli insiemi di Zermelo-Fraenkel]]. È anche detto '''schema di assiomi di comprensione''', benché il termine sia usato anche per la comprensione ' ...7 KB (1 077 parole) - 13:45, 26 mar 2023
Corrispondenze nel testo delle pagine
- ...formula ben formata|formule ben formate]] che si intende includere tra gli assiomi di una teoria [[logica proposizionale|proposizionale]] o [[teoria del primo Un esempio semplice è lo schema di assiomi: ...985 byte (145 parole) - 18:44, 13 lug 2022
- Gli '''assiomi logici''' sono un insieme (infinito) di [[assioma|assiomi]] di una [[teoria del primo ordine]] che formalizzano tutte le deduzioni lo ...esto tipo di formalizzazione. Uno di questi è dato dal seguente insieme di assiomi: ...3 KB (458 parole) - 15:20, 12 mar 2025
- ...ia è svolto dal ''simbolo di relazione binaria'' <math>E</math> allora gli assiomi per l'uguaglianza per <math>E</math> sono i seguenti: ...hema di assiomi|schemi di assiomi]] che includono una quantità infinita di assiomi. (U2) esprime il fatto che se due [[termine (logica matematica)|termini]] d ...3 KB (386 parole) - 22:49, 8 nov 2017
- ...nsieme di deduzioni che possono essere ricavate a partire da un insieme di assiomi. ...amite le regole di inferenza disponibili, sono conseguenza dell'insieme di assiomi considerato. ...655 byte (86 parole) - 02:42, 27 dic 2015
- ...a [[teoria degli insiemi]], l''''assioma dell'insieme vuoto''' è uno degli assiomi della [[teoria degli insiemi di Zermelo-Fraenkel]]. Nel [[linguaggio formale]] degli assiomi di Zermelo-Fraenkel, l'assioma si scrive: ...2 KB (239 parole) - 23:59, 11 set 2014
- ...<math>=</math> (che si legge "uguale"), che verifichi i seguenti [[assioma|assiomi]]: ...orall x,y, \ x=y \rightarrow (P(x) \leftrightarrow P(y))</math> (schema di assiomi), ...3 KB (379 parole) - 16:27, 18 gen 2023
- ...insiemi]], l''''assioma dell'unione''' è uno degli [[assioma (matematica)|assiomi]] della [[teoria degli insiemi di Zermelo-Fraenkel]]. Nel [[linguaggio formale]] degli assiomi di Zermelo-Fraenkel, l'assioma si scrive: ...2 KB (290 parole) - 10:48, 20 giu 2019
- ...che intercorrono tra [[Dipendenza funzionale|dipendenze funzionali]]. Gli assiomi di Armstrong sono di ''Riflessività'', ''Aumento'' e ''Transitività''. In t Oltre agli Assiomi di Armstrong esistono altre [[Regola di inferenza|regole di inferenza]] add ...4 KB (650 parole) - 10:10, 23 apr 2024
- ...], l''''assioma dell'insieme potenza''' è uno degli [[assioma (matematica)|assiomi]] della [[teoria degli insiemi di Zermelo-Fraenkel]]. Nel [[linguaggio formale]] degli assiomi di Zermelo-Fraenkel, l'assioma si scrive: ...2 KB (252 parole) - 19:11, 11 dic 2023
- ...el matematico tedesco [[Moritz Pasch]], è uno degli [[assioma (matematica)|assiomi]] che [[David Hilbert|Hilbert]] aggiunse ai postulati di [[Euclide]] per re L'enunciato dell'assioma, che fa parte della famiglia degli [[assiomi di ordinamento]], è il seguente: ...3 KB (486 parole) - 18:16, 17 gen 2023
- ...29-730}}</ref> che ha come [[assiomi propri]] una versione ridotta degli [[assiomi di Peano]] in cui è assente il [[principio di induzione]] e c'è l'aggiunta ...dagli [[assiomi logici]], gli [[assiomi per l'uguaglianza]] e i seguenti [[assiomi propri]]: ...5 KB (708 parole) - 09:03, 11 mag 2023
- ...ificazione''', o '''schema di assiomi di separazione''', è uno [[schema di assiomi]] della [[teoria degli insiemi di Zermelo-Fraenkel]]. È anche detto '''schema di assiomi di comprensione''', benché il termine sia usato anche per la comprensione ' ...7 KB (1 077 parole) - 13:45, 26 mar 2023
- ...\neg</math> . Queste operazioni soddisfano i seguenti [[Algebra universale|assiomi]]: ...propose una nuova serie di assiomi per le algebre booleane, composta dagli assiomi (1) e (2) introdotti precedentemente, più: ...3 KB (458 parole) - 20:23, 28 gen 2024
- ...zzate spesso nella geometria piana sono gli [[assiomi di Hilbert]] e gli [[assiomi di Tarski]]. ...2 KB (317 parole) - 04:36, 31 mar 2024
- ...nsiemi]], l''''assioma dell'infinito''' è uno degli [[assioma (matematica)|assiomi]] della [[teoria degli insiemi di Zermelo-Fraenkel]]. Nel [[linguaggio formale]] degli assiomi di Zermelo-Fraenkel, l'assioma si scrive: ...3 KB (477 parole) - 06:42, 29 mag 2024
- ...insiemi]] l''''assioma della coppia''' è uno degli [[assioma (matematica)|assiomi]] della [[teoria degli insiemi di Zermelo-Fraenkel]]. Nel [[linguaggio formale]] degli assiomi di Zermelo-Frankel, l'assioma si scrive: ...4 KB (659 parole) - 22:18, 20 ott 2023
- ...insiemi]], lo '''schema di assiomi di rimpiazzamento''' è uno [[schema di assiomi]] della [[teoria degli insiemi di Zermelo-Fraenkel]]. ...rdine|linguaggio formale]] degli assiomi di Zermelo-Fraenkel, lo schema di assiomi si scrive: ...8 KB (1 119 parole) - 19:18, 2 ott 2023
- ...ria del primo ordine]] che ha come [[assiomi propri]] una versione degli [[assiomi di Peano]] espressi nel [[linguaggio del primo ordine]]. ...dagli [[assiomi logici]], gli [[assiomi per l'uguaglianza]] e i seguenti [[assiomi propri]]: ...9 KB (1 315 parole) - 12:56, 19 ott 2022
- :è dimostrabile essendo una istanza degli [[assiomi per l'uguaglianza]], se invece ''n''≠''0'' allora la formula ...li assiomi propri dell'[[Aritmetica di Robinson]]), l'assioma (L5) degli [[assiomi logici]] ed il [[modus ponens]]. Dunque per ''U'' è verificata la definizio ...6 KB (933 parole) - 12:57, 19 ott 2022
- ...'' <math>P(E)</math>, è definita in modo da soddisfare questi assiomi. Gli assiomi sono descritti di seguito. Questi assiomi possono essere riassunti come segue: Sia (Ω, ''F'', ''P'') uno [[ ...6 KB (842 parole) - 22:09, 8 giu 2024