UE Architectures logicielles et matérielles

* Comprendre un raisonnement, en particulier, être capable  de déterminer si un raisonnement logique est correct ou non.
* Raisonner, c'est-à-dire, construire un raisonnement correct utilisant les outils de la logique propositionnelle et du premier ordre.
* Modéliser et formaliser un problème.
* Ecrire une preuve rigoureuse.

* Preuves par récurrence.
* Logique propositionelle : syntaxe, sens des formules, algèbre de Boole, résolution, algorithme DPLL, déduction naturelle.
* Logique du premier ordre : syntaxe, sens des formules, théorème de Herbrand, Skolémisation, résolutino au premier ordre, déduction naturelle.

 Informatique théorique : logique et démonstration automatique ,  Michel Lévy, Pascal Lafourcade, Stéphane Devismes. Eclipse.