 |
 |
 |
|
|
|
| HAL : cel-00163821, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Ecole d'ingénieur (2007) 86 pages |
|
|
|
|
| Outils Logiques pour l'Informatique |
|
|
| Roberto M. Amadio 1 |
|
|
| (18/07/2007) |
|
|
|
| Ces notes sont une introduction à la logique mathématique et aux techniques de déduction automatique dans le cadre du calcul propositionnel classique avec des applications à la résolution de problèmes combinatoires et à la modélisation et analyse de systèmes informatiques. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| cel-00163821, version 1 | |
| http://cel.archives-ouvertes.fr/cel-00163821 | |
| oai:cel.archives-ouvertes.fr:cel-00163821 | |
| Contributeur : Roberto Amadio | |
| Soumis le : Mercredi 18 Juillet 2007, 15:55:11 | |
| Dernière modification le : Vendredi 19 Juin 2009, 10:53:50 | |
