Asse di un segmento
In geometria euclidea l'asse di un segmento o asse di un lato è la retta perpendicolare al segmento che passa per il suo punto medio.
- Assioma proprio
- Gli assiomi propri di una teoria sono gli assiomi che specificano fatti relativi agli oggetti della teoria che non sono deducibili dalla logica pura e semplice ma che sono invece legati alla particolare natura di quegli oggetti
- Mappa standard
- La mappa standard è un particolare sistema dinamico discreto definito sul toro dipendente da un parametro in cui si possono osservare transizioni da un sistema "ordinato" e integrabile ad un sistema caotico
- Assiomi per l'uguaglianza
- Gli assiomi per l'uguaglianza sono un insieme di assiomi che possono far parte di una teoria del primo ordine allo scopo di formalizzare tutte le normali deduzioni che in matematica si fanno con la relazione di uguaglianza. Se il ruolo di "uguaglianza
- Decidibilità
- Il concetto di decidibilità si trova in logica matematica e in teoria della computabilità con accezioni differenti
- Chiusura universale
- In logica matematica e più in particolare in una teoria del primo ordine si chiama chiusura universale di una formula ben formata in cui sono variabili libere, la
- Rappresentabilità
- Nella logica matematica il concetto di rappresentabilità di una funzione o di un predicato è relativo alle teorie formali dell'aritmetica, ovvero alle teorie del primo ordine che hanno come linguaggio il linguaggio dell'aritmetica del primo ordine e che
- Assioma logico
- Gli assiomi logici sono un insieme (infinito) di assiomi di una teoria del primo ordine che formalizzano tutte le deduzioni logiche che solitamente si fanno nelle dimostrazioni matematiche. Ci sono diversi modi di ottenere questo tipo di formalizzazione
- Invariante topologico
- Un invariante topologico è una proprietà di uno spazio topologico che vale per tutti gli spazi topologici omeomorfi ad esso
- Ipersuperficie
- La nozione di ipersuperficie generalizza quella di iperpiano e di superficie. Si chiama ipersuperficie una qualunque varietà differenziabile o varietà algebrica di dimensione immersa in uno spazio di dimensione
- Vacanze sulla neve (film 1966)
- Vacanze sulla neve è un film del 1966 diretto da Filippo Walter Ratti. La pellicola vede la partecipazione del gruppo musicale dei Nomadi