Skip to Main content Skip to Navigation
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.
Document type :
Lectures
Complete list of metadatas

Cited literature [30 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 : Thursday, March 26, 2020 - 9:26:25 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

Citation

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

Share

Metrics

Record views

796

Files downloads

1442