Séance de cours
Calcul proposé
Description
Cette séance de cours couvre les fondamentaux de la logique formelle et de l'informatique théorique, y compris les bases du calcul de proposition, les procédures efficaces, et la théorie de la complexité. Les sujets abordés comprennent le calcul prédictif, la théorie de l'ensemble, les preuves, l'exhaustivité du NP et l'importance d'étudier le calcul proposé.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.