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 metadata

Cited literature [30 references]  Display  Hide  Download

https://cel.archives-ouvertes.fr/cel-00163821
Contributor : Roberto M. Amadio Connect in order to contact the contributor
Submitted on : Saturday, November 24, 2018 - 12:14:34 PM
Last modification on : Saturday, August 29, 2020 - 5:26:03 PM
Long-term archiving on: : 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

Les métriques sont temporairement indisponibles