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 [32 references]  Display  Hide  Download

https://cel.archives-ouvertes.fr/cel-00163821
Contributor : Roberto M. Amadio <>
Submitted on : Tuesday, November 5, 2019 - 9:45:55 AM
Last modification on : Thursday, November 14, 2019 - 1:38:14 AM

File

root.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cel-00163821, version 3

Collections

Citation

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

Share

Metrics

Record views

60

Files downloads

44