Notes | X. Angelo Huang's Blog

Introduzione algoritmi

Livello OS

Porte Logiche

Rappresentazione delle informazioni

Relazioni di Ricorrenza

Semantica intuizionista

Sintassi e RI strutturali

Strutture di dati elementari

Teoria assiomatica degli insiemi

Verita, Teorie, modelli, connotazione, denotazione