Auteur/autrice : god

Comment formaliser l’acquisition automatique de connaissances et la prise de décision ?

Comment raisonner sur plusieurs calculs simultanés ?

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 ?