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.
Document type :
Lectures
Liste complète des métadonnées

Cited literature [10 references]  Display  Hide  Download

https://cel.archives-ouvertes.fr/cel-00163821
Contributor : Roberto M. Amadio <>
Submitted on : Saturday, November 24, 2018 - 12:14:34 PM
Last modification on : Friday, January 4, 2019 - 5:33:38 PM
Document(s) archivé(s) le : Monday, February 25, 2019 - 12:40:34 PM

File

root.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cel-00163821, version 2

Collections

Citation

Roberto M. Amadio. Outils Logiques. École d'ingénieur. 2018, Université Paris 7, France. 2018, pp.55. ⟨cel-00163821v2⟩

Share

Metrics

Record views

397

Files downloads

621