 |
 |
 |
Lectures
Outils Logiques
Résumé : 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.
https://cel.archives-ouvertes.fr/cel-00163821
Contributor : Roberto M. Amadio Connect in order to contact the contributor
Submitted on : Monday, January 3, 2022 - 2:54:45 PM
Last modification on : Sunday, January 16, 2022 - 3:28:58 AM
Contributor : Roberto M. Amadio Connect in order to contact the contributor
Submitted on : Monday, January 3, 2022 - 2:54:45 PM
Last modification on : Sunday, January 16, 2022 - 3:28:58 AM
File
root.pdf
Files produced by the author(s)