Outils Logiques
Abstract
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.
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.
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|