Notes | X. Angelo Huang's Blog

Sintassi e RI strutturali

Strutture di dati elementari

Teoria assiomatica degli insiemi

Verita, Teorie, modelli, connotazione, denotazione

Alberi BST e AVL

Logica del Primo ordine

Gruppi Normali

Teorema di Lagrange

Consensus protocols

Filesystem