Privacy Policy

Privacy Policy

Ultimo aggiornamento: 24 luglio 2026

La presente informativa descrive come vengono trattati i dati dei visitatori del blog Appunti di informatica (advancedprogrammingnotes.blogspot.com), di seguito «il Sito».

Titolare del trattamento

Per qualsiasi richiesta relativa ai tuoi dati puoi scrivere a: gaetano.lazzo@gmail.com.

Dati raccolti

Il Sito non richiede registrazione e non raccoglie direttamente dati personali. Alcuni dati di navigazione (indirizzo IP, tipo di browser, pagine visitate, data e ora) vengono trattati automaticamente dai servizi di terze parti elencati di seguito per finalità tecniche, statistiche e pubblicitarie.

Cookie

Il Sito utilizza cookie tecnici necessari al funzionamento della piattaforma Blogger (Google) e cookie di terze parti a fini statistici e pubblicitari. I cookie sono piccoli file di testo memorizzati sul tuo dispositivo. Puoi disabilitarli in qualsiasi momento dalle impostazioni del browser; la disabilitazione di alcuni cookie potrebbe limitare alcune funzionalità del Sito.

Google AdSense e cookie pubblicitari

Il Sito utilizza Google AdSense, un servizio di pubblicità fornito da Google LLC. Google e i suoi partner utilizzano cookie per erogare annunci basati sulle visite precedenti a questo e ad altri siti.

  • Google, in quanto fornitore terzo, utilizza cookie (incluso il cookie DART) per pubblicare annunci in base alla navigazione dell’utente.
  • Gli utenti possono disattivare la pubblicità personalizzata visitando la pagina Impostazioni annunci di Google.
  • Maggiori informazioni sulle modalità con cui Google utilizza i dati sono disponibili nella pagina Norme sulla privacy dei siti partner di Google.

Statistiche

Il Sito può utilizzare gli strumenti statistici integrati in Blogger e, eventualmente, Google Analytics, per raccogliere dati aggregati e anonimi sull’utilizzo delle pagine.

Diritti dell’utente

Ai sensi del Regolamento (UE) 2016/679 (GDPR) hai diritto di accedere, rettificare o cancellare i tuoi dati, di limitarne od opporti al trattamento e di richiederne la portabilità. Per esercitare questi diritti scrivi a gaetano.lazzo@gmail.com.

Link a siti esterni

Il Sito può contenere link a siti di terze parti. Il titolare non è responsabile delle pratiche di privacy o dei contenuti di tali siti.

Modifiche

Questa informativa può essere aggiornata in qualsiasi momento. Le modifiche saranno pubblicate su questa pagina con la relativa data di aggiornamento.

Commenti

Posta un commento

Post popolari in questo blog

Algebra lineare (2): matrici, determinanti, autovalori e SVD

Immagine
Algebra lineare — serie in tre parti Spazi vettoriali, basi e applicazioni lineari Matrici, determinanti, autovalori e SVD (questo articolo) Calcolo differenziale con le matrici Nella prima parte di questa serie abbiamo costruito gli spazi vettoriali e le applicazioni lineari, e abbiamo visto che una matrice non è altro che un'applicazione lineare scritta rispetto a due basi fissate. Qui prendiamo quell'oggetto e lo studiamo per conto suo: come si moltiplica, come si inverte, come si decompone. Il filo conduttore dell'articolo è che quasi ogni formula matriciale si può leggere in più modi, e che scegliere la lettura giusta rende un risultato ovvio invece che oscuro. Il prodotto fra matrici, per dire, ammette quattro interpretazioni diverse che danno lo stesso numero ma raccontano cose diverse. Il punto d'arrivo sono la diagonalizzazione e la decomposizione ai valori singolari, cioè gli strumenti con cui si guarda dentro una matrice per capire cosa fa dav...
Read more »

I teoremi di incompletezza di Gödel

Immagine
Kurt Gödel Introduzione In questa nota saranno descritti i due teoremi di incompletezza di Gödel. Innanzitutto introduciamo alcuni concetti di base, senza dei quali sarebbe impossibile enunciare e spiegare i due teoremi. Logica matematica La logica matematica è la scienza che si occupa di studiare il modo di codificare i calcoli e le dimostrazioni effettuate nell'ambito di una logica formale. Ma cos'è una logica formale ? È un insieme di: un alfabeto utilizzato; una grammatica che specifica quali sequenze costituiscono "formule" del sistema; un insieme di "assiomi", ossia, intuitivamente, formule che nel sistema si assumono vere; un insieme di regole di inferenza, ognuna delle quali associa a \(N\) formule del sistema (premesse) una nuova formula (conseguenza). In un sistema formale si definisce l'insieme dei teoremi come l'insieme degli assiomi unito a tutte le formule che si possono ottenere dall'applicazione delle rego...
Read more »

Algebra lineare (1): spazi vettoriali, basi e applicazioni lineari

Immagine
Algebra lineare — serie in tre parti Spazi vettoriali, basi e applicazioni lineari (questo articolo) Matrici, determinanti, autovalori e SVD Calcolo differenziale con le matrici Questo è il primo di tre articoli in cui raccolgo gli appunti di algebra lineare che ho scritto mentre lavoravo a un progetto di reti neurali. L'obiettivo non è sostituire un libro di testo, ma mettere in fila i risultati che servono davvero quando si passa dalla teoria al codice: perché una matrice simmetrica sia un oggetto speciale, perché la SVD si possa calcolare, perché il gradiente di una forma quadratica valga proprio \(2Ax\). Si parte dalle fondamenta. In questa prima parte non compare quasi nessuna matrice: parliamo di spazi vettoriali, di basi, di applicazioni lineari e di prodotti scalari. Sembra la parte più astratta, ed è vero, ma è anche quella che spiega perché tutto il resto funziona. Le matrici, che sono l'argomento della seconda parte, non sono altro che il modo di scriv...
Read more »