Computer e creatività per l'architettura - Intelligenza artificiale e sistemi formali