177 resultados para Logica simbolica e matematica


Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Il teorema della funzione implicita, valido nel caso di varietà differenziabili, non risulta vero se si prendono in analisi varietà algebriche affini con la topologia di Zariski. Dopo aver introdotto le nozioni di morfismo piatto e di morfismo non ramificato, si arriva ai morfismi étale, definiti proprio come quei morfismi che sono piatti e non ramificati; nella seconda parte si considerano i morfismi di varietà non singolari dimostrando che la classe dei morfismi étale coincide esattamente con quei morfismi che inducono isomorfismi sugli spazi tangenti. Si approfondisce poi la nozione di morfismo étale da un punto di vista algebrico e infine la nozione di intorno étale di un punto, che si basa su quella di morfismo étale.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La tesi, divisa in tre parti presenta nella prima parte il sistema crittografico NTRU e il suo funzionamento, nella seconda introduce i reticoli e l'algoritmo di riduzione reticolare LLL, nella terza alcuni possibili attacchi a NTRU.