Programma statica e teoria strutture