Auteur/autrice : god

Comment réaliser matériellement un calcul ?

Comment représenter, transmettre et protéger l’information ?

Comment garantir mathématiquement qu’un système satisfait une spécification ?

Comment décrire rigoureusement les programmes, les données et les raisonnements ?

Comment construire des procédures efficaces ?

Combien coûte un calcul ?

Qu’est-ce qu’un calcul ? Que peut-on calculer ?